Войти
OpenNet

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

1747
0
+1
CircuitBot
Компьютерная игра CircuitBot.
Источник изображения: www.verigames.com

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


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


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


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


Права на данный материал принадлежат OpenNet
Материал размещён правообладателем в открытом доступе
  • В новости упоминаются
Страны
Компании
Проекты
Хотите оставить комментарий? Зарегистрируйтесь и/или Войдите и общайтесь!
ПОДПИСКА НА НОВОСТИ
Ежедневная рассылка новостей ВПК на электронный почтовый ящик
  • Разделы новостей
  • Обсуждаемое
    Обновить
  • 04.08 15:57
  • 9838
Без кнута и пряника. Россия лишила Америку привычных рычагов влияния
  • 04.08 03:03
  • 1
Турки обещают не пускать американские АПЛ в Чёрное море на фоне сделанных Трампом заявлений
  • 04.08 02:53
  • 1
Эксперт Степанов рассказал, что России даст размещение "Орешников" за рубежом
  • 04.08 02:37
  • 1
Перевооружение бундесвера: истребители Eurofighter, танки и миллиарды инвестиций для сильнейшей армии Европы (Berliner Zeitung, Германия)
  • 04.08 02:11
  • 1
Орбан: мир на Украине наступит, когда Запад поймет, что она не может быть в НАТО
  • 03.08 21:12
  • 1
ВМС Перу приняли на вооружение второй ДВКД класса "Макассар"
  • 03.08 18:27
  • 5
Всемирное Смутное время: хочет ли в действительности Европа воевать - Мнения ТАСС
  • 03.08 18:25
  • 487
Израиль усиливает меры безопасности в связи с опасениями ударов со стороны Ирана
  • 03.08 17:40
  • 323
Космонавтика Илона Маска
  • 03.08 14:57
  • 3
США теперь открыто стремятся окружить Россию через так называемый Зангезурский коридор (infoBRICS, Китай)
  • 03.08 14:33
  • 34
Путин и отношения с Азербайджаном: фокус на Южном Кавказе (Al Mayadeen, Ливан)
  • 03.08 14:31
  • 35
Российский завод начал в три смены выпускать трехтонные супербомбы. На что они способны?
  • 03.08 14:31
  • 112
В США оценили российские Су-34 с УМПК
  • 03.08 14:28
  • 19
Российские разведывательно-ударные мультикоптеры предложат на экспорт
  • 03.08 14:23
  • 80
Россия использует пропаганду как средство войны против Запада - британский генерал