The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Агентство DARPA экспериментирует с созданием игр для верификации надёжности открытого ПО

10.06.2014 11:30

Агентство по перспективным оборонным научно-исследовательским разработкам США (DARPA) проводит эксперименты с созданием online-игр, позволяющих привлечь обычных пользователей для верификации надёжности и безопасности открытого ПО. Экспертов для проведения аудита качества кода не хватает, поэтому DARPA рассматривает варианты привлечения к проверке кода обычных пользователей, косвенно используя игровой процесс для организации верификации.

В настоящее время уже подготовлено пять игр (CircuitBot, Flow Jam, Ghost Map, StormBound, Xylem), которые мало отличаются по игровому процессу от типичных логических игр и головоломок. Как правило, задачей игрока является поиск оптимального пути, разбор запутанных комбинаций и организация взаимодействия между игровыми объектами. При этом, проходя множество игровых уровней пользователи невольно участвуют в процессе формальной верификации, подтверждающей надёжность работы тех или иных участков кода, взаимодействие с которыми вовлечено в игровую логику.

Игровые приложения, в которых изначально отражены математические модели исследуемых приложений, транслируют действия пользователя в программные аннотации и генерируют математические доказательства, позволяющие убедиться в отсутствии различных классов дефектов в коде на языках Си и Java. Программа формальной верификации (CSFV, Crowd Sourced Formal Verification) нацелена на подтверждение безопасности серии открытых проектов, используемых в военных и государственных учреждениях, а также в критичных к надёжности областях коммерческого сектора.

Проходящие верификацию открытые проекты не называются явно, но в опубликованном несколько лет назад документе о проведении конкурса на разработку технологии формальной верификации упоминались ядро Linux, BIND и Hadoop. Заявлено, что все выявляемые в процессе верификации ошибки оперативно сообщаются основным разработчикам проектов.

  1. Главная ссылка к новости (http://defensetech.org/2014/06...)
  2. OpenNews: Агентство DARPA представило каталог своих открытых проектов
  3. OpenNews: Агентство DARPA выделило 3 млн долларов на развитие средств обработки больших массивов данных на языке Python
  4. OpenNews: Проект DARPA по созданию на базе LLVM фреймворка для тестирования приложений на уязвимости
  5. OpenNews: DARPA отказалось от своих планов по финансовому содействию OpenBSD
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/39969-test
Ключевые слова: test, debug, darpa
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (47) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Рудвульф (?), 11:47, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +29 +/
    Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут.
     
     
  • 2.10, Аноним (-), 12:49, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +9 +/
    > а у нас даже линукс в госструктурах освоить нормально не могут

    К сожалению, у нас в госструктурах предпочитают осваивать нечто более осязаемое, чем наборы байтиков.

     
     
  • 3.14, eganru (?), 13:42, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    while(!Сталин){
    Госструктуры_РФ = откаты&омлетчицы;
    }
     
     
  • 4.19, жабабыдлокодер (ok), 14:21, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Будто бы при Джугашвили взяток не было... Щас!
     
     
  • 5.21, анонимут (?), 14:50, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Конечно была. Теневая экономика укрепилась в 1930-40 года. И репрессии не помогли. Дело в самой системе.

    В том же Китае за это расстреливают, но на место одного ресстрелянного приходят новые. Кто сможет выводит деньги в офшоры.

     
     
  • 6.23, Аноним (-), 15:01, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +2 +/
    может предъявите пруфы, господин Экономист?
     
     
  • 7.57, chinarulezzz (ok), 03:07, 11/06/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    не, ну сам подумай: если расстреливают нескольких, и такое происходит довольно долго, то взяточники новые появляются! Ну, или банально всех, или почти всех, или единиц подставляют. И такое практикуется, возможно в этом огороженном коммунистическом китае.

    P.S. А так, я к тому что без разницы скольких в процентах подставляют - новые то появляются)) А если предположить что всех до единого подставляют - это возможно, да, китай же все таки.

     
  • 4.26, Антоним (?), 15:27, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Сталин и придумал как обойти «ленинский минимум» — он просто брал деньги из бюджета и платил в конвертах своим.
     
     
  • 5.65, Аноним (-), 00:08, 18/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    А ты был "своим" или конверты у изголовья держал?
     
  • 2.13, онаним (?), 13:34, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Я думаю, что у нас тоже занимаются. В ИТ, как нигде, кадры решают. Привлечение общественности не обязательно гарантирует невообразимые результаты. Хотя, верно, есть чему поучиться. У нас почему-то принято тянуть с запада всякие гадости и тыкать в извращенцев, а ведь есть много примеров, достойных.
     
     
  • 3.53, Buy (ok), 22:58, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого класса. А не принимать пачками запретительные законы и пытаться ограничить свободу интернет пользователей в том числе.
     
     
  • 4.58, Michael Shigorin (ok), 12:04, 11/06/2014 [^] [^^] [^^^] [ответить]  
  • +4 +/
    > Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого
    > класса. А не принимать пачками запретительные законы и пытаться ограничить свободу
    > интернет пользователей в том числе.

    А, так вот чего про internet fast lane столько вою стоит, а один знакомый квалифицированный сваливший постит в плюсик pirozhki и вздыхает про ломающийся nissan...

    Некоторые предпочитают жить своим умом, а не чужой картинкой, впрочем.

     
  • 2.17, rob pike (?), 14:04, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    >The website design was overseen by the Centers for Medicare and Medicaid Services and built by a number of federal contractors, most prominently CGI Group, which received a contract valued at $292 million through 2013. Estimates that the overall cost for building the website had reached over $500 million by October 2013
    >stress tests done by contractors 1 day before the launch date revealed that the site became too slow with only 1,100 simultaneous users,

    http://en.wikipedia.org/wiki/HealthCare.gov

     
     
  • 3.56, Аноним (-), 01:10, 11/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Ты еще не видел наши сайты, где зачастую встречается что-нибудь попроще. Tипа directory index-а + дир с бэкапами баз. С данными по всей клиентуре, etc. Так что медленный сайт - оно конечно да, но у нас и побрутальнее бывает.
     
  • 2.20, Аноним (-), 14:38, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    А какая вам разница между "ними" и "нами"? Если занимаются, то не важно где, а кто не может (а это полпланеты включая "ваших", эскимосов, негров в африке и ещё много необразованных жителей других стран) - так они этим прогрессу никак не мешают.
     
     
  • 3.22, rob pike (?), 14:51, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Тест Тьюринга не пройден.
    Над алгоритмом нужно еще поработать.
     
  • 3.40, Crazy Alex (ok), 19:19, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Совершенно верно. Но у некоторых местечковое мышление затмевает все доводы рассудка. Никак не поймут, что шарик - он маленький, на нём сотрудничать надо, а не противников искать.
     
  • 2.32, odity (?), 16:24, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    В гос.структуре работаю. Тут заказы,заказы,заказы.....Даже если и скажут перейти на линукт, то разработчиков не хватит чтоб все ПО переписать. у нас только 50-70 ПО стоит и не маленькие.
     
     
  • 3.59, Иван (??), 14:21, 11/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    А зачем все сразу? Можно и потихоньку. Другое дело, что при таких окладах проще делать адовы костыли и жить на одной ошибке по 15 лет (как в известном анекдоте).
     
  • 2.48, 123 (??), 21:42, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    > Печально видеть что у них этим занимаются, а у нас даже линукс  в госструктурах освоить нормально не могут.

    Да не переживайте вы так, у нас попильшиков госбабла тоже полным-полно. Да и заодно расскажите нам про триумфальное шествие линуха в их госструктурах.


     
  • 2.55, tessel (?), 00:09, 11/06/2014 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Дружок, не могут освоить только в твоих розовых либерастических фантазиях. У всех нормальных людей уже стоит Linux Astra.
     

  • 1.12, Rodegast (??), 13:33, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Печально видеть что этим занимается DARPA.
     
     
  • 2.28, клоун (?), 15:41, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Печально видеть что этим занимается DARPA.

    Вы ожидали Альт или РосНано?

     
  • 2.41, Crazy Alex (ok), 19:20, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
     
     
  • 3.45, Rodegast (??), 20:15, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Армия пиндосии пытается привлечь кучу народа для работы неизвестно над чем. Чего же тут радостного?
     
     
  • 4.51, Аноним (-), 22:52, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Радостно что не наша армия или гбня.
     
  • 2.42, Crazy Alex (ok), 19:21, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
     
     
  • 3.50, Michael Shigorin (ok), 21:46, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +4 +/
    > Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что
    > на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.

    А на пушечное мясо сейчас мода людей вроде Вас пускать после предварительной промывки мозгов.  Только не надо "это про дураков, а я умный" -- почти все знакомые киевские айтишники, включая некоторых умнее нас с Вами, полезли на баррикады "за идею" без проверки происхождения и целеполагания этой "идеи", аки бибизяны, либо сдались под хоровое "белое -- это чёрное".

    TFM:
    http://www.scribd.com/doc/53686930/TC-18-01-Special-Forces-Unconventional-War
    http://11517.kamradu.ru/wp-content/uploads/2013/12/1801RU.pdf (неофициальный, не сверял)

     
     
  • 4.63, Тот_самый_айтишник (?), 15:49, 13/06/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > ...Только не надо "это про дураков, а я
    > умный" -- почти все знакомые киевские айтишники...

    Так может умные все же они, а дурак кто-то другой, а? Из-за вашей оголтелой политоты на техническом ресурсе и постоянных вытираний комментариев несогласных стало решительно невозможно его читать. Пора уже переименовывать в "Личный сайт Михаила Шигорина"


     
  • 2.49, 123 (??), 21:43, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    > Печально видеть что этим занимается DARPA.

    Чего плохого в попиле денег аметиканского налогоплательщика? Или вы нездешний?

     

  • 1.15, rob pike (?), 13:44, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    >А ноги, футбол - двадцать два бугая один мяч перекатывают! А вы выдайте каждому ну это... каток! Так они, 22 бугая, 22 бугая, да на полтора часа.... да на полтора часа и на 22 бугая... два пишем, семь на ум пошло........... они все поле заасфальтируют!

    https://www.youtube.com/watch?v=WVMolYlx-h8

     
     
  • 2.18, rob pike (?), 14:16, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    >An even more exciting possibility, though, is that we could have a system that allows non-experts to take a stab at proving essentially any mathematical theorem simply by recognizing patterns and applying a few relatively simple rules

    http://intelligence.org/2014/05/29/aaron-tomb/

     

  • 1.16, linux must _RIP__ (?), 13:57, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    И так и так пытаются заставить работать на военные силы США - не хотят.. так может хоть играми?
     
  • 1.24, Аноним (-), 15:05, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    мда, тут и сказать нечего
    Людей используют как хотят.
     
     
  • 2.60, Иван (??), 14:24, 11/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    > мда, тут и сказать нечего
    > Людей используют как хотят.

    А вы не используйтесь :)
    Кто мешает включить разум и делать что-то свое и за плату? А не играться в чужое. Имхо.

     

  • 1.25, Дмитрий (??), 15:14, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Замысел похож на проект FoldIt. Только там белки расшифровывают.
     
  • 1.31, Аноним (31), 16:04, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Зачем агентству DARPA для перебора вариантов возможных комбинаций прохождения кода, задействовать самый медленный интерфейс монитор-пользователь-клавиатура(мышь), вместо того, чтобы задействовать мощности компьютера своих центров для этой же операции? Мощности серверов, для создания игровых серверов, всё равно будут задействованы. Было бы намного практичнее и быстрее.
    Может тут другие цели преследуются?
    Мне кажется более вероятным завлечение новых пользователей. А уж для каких целей, известно только им и богу.
     
     
  • 2.35, Anonymus (?), 17:47, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    да чтоб меньше народу работало, чего тут непонятно
    а то как все станут умными да работящими, бомбу придумают ядрёную ну или ещё чего полезного нам и вредного им
     
  • 2.43, Аноним (-), 19:23, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    хааароший вопрос. только немного запоздалый.
     

  • 1.36, unscrubber (?), 18:19, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    прям так и напрашиваются аналогии с х\ф Mercury Rising
     
  • 1.38, Аноним (-), 18:37, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Вот так и окажется, что играешь в игрушки, а на самом деле управляешь беспилотником или "аватаром". И стреляешь на самом деле не в злых террористов в "контрстрайке", а в мирных жителей в Сирии.
     
     
  • 2.47, asavah (ok), 21:05, 10/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Игра Эндера навеяла?
     
  • 2.61, Иван (??), 14:25, 11/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    > Вот так и окажется, что играешь в игрушки, а на самом деле
    > управляешь беспилотником или "аватаром". И стреляешь на самом деле не в
    > злых террористов в "контрстрайке", а в мирных жителей в Сирии.

    Так не играй. Ваш К.О.

     

  • 1.54, lucentcode (ok), 23:29, 10/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Правильной дорогой идут товарищи. Чем безопасней будет код широко используемых приложений, тем лучше.
     
     
  • 2.62, Аноним (-), 12:58, 12/06/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Где гарантия, что это будет код широко используемых приложений?
     

  • 1.64, Аноним (-), 17:34, 13/06/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Дарю DARPA развитие идеи: вывешиваешь интерфейс к боевому роботу как игру, даешь двуногому некую миссию. А дальше двуногий будет из кожи вон лезть чтобы миссию выполнить. Сообщать двуногому о том что все действия маппятся в действия робота в реальном мире а обстановка берется с разведовательных датчиков - совершенно не обязательно...
     
     
  • 2.66, гтгыув_гыук_тфьу (?), 11:02, 03/08/2014 [^] [^^] [^^^] [ответить]  
  • +/
    если игра на уровне анонимности... а может и не анонимности... типа как 80 неусеров... или там статус в клубе по интересам... а если еще и чуть доплачивать... из черепов светильники давно ли были... пример государства 404 показывает... что можно проще... кстати их же и можно... относительно содержимого подсознания большей части цивилизации у меня нет никаких иллюзий. голливудско-обезьянье оно. притягательность стрелялок основана именно на том что подсознание считает все это настоящим. а раз так - зачем и кого стесняться? если еще и в тренде политики. освободи в себе... и тогда хотя бы увидишь
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру