Войти
OpenNet

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

1754
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
Материал размещён правообладателем в открытом доступе
  • В новости упоминаются
Страны
Компании
Проекты
Хотите оставить комментарий? Зарегистрируйтесь и/или Войдите и общайтесь!
ПОДПИСКА НА НОВОСТИ
Ежедневная рассылка новостей ВПК на электронный почтовый ящик
  • Разделы новостей
  • Обсуждаемое
    Обновить
  • 25.08 07:54
  • 1
SpaceX запустила беспилотный космоплан X-37B
  • 25.08 05:42
  • 10226
Без кнута и пряника. Россия лишила Америку привычных рычагов влияния
  • 25.08 05:31
  • 1514
Корпорация "Иркут" до конца 2018 года поставит ВКС РФ более 30 истребителей Су-30СМ
  • 24.08 19:02
  • 0
Комментарий к "Army Recognition: Польша становится ведущей «танковой» державой в Европе"
  • 24.08 18:40
  • 129
Путин и отношения с Азербайджаном: фокус на Южном Кавказе (Al Mayadeen, Ливан)
  • 24.08 11:38
  • 43
МС-21 готовится к первому полету
  • 24.08 11:33
  • 1
Китайский аналог американского Osprey взлетел
  • 24.08 11:29
  • 22
КНДР ратифицировала договор о стратегическом партнерстве с Россией - ЦТАК
  • 24.08 11:25
  • 1
"Просто фантастика": Владимир Путин рассказал о новейшем супероружии России
  • 24.08 10:57
  • 1
Алиханов: в РФ создадут линейку авиадвигателей семейства П-35
  • 24.08 02:14
  • 1
Ядерный вектор «Полонеза»
  • 23.08 21:44
  • 0
Ответ на "Россия требует участия в качестве гаранта послевоенной безопасности Украины (The New York Times, США)"
  • 23.08 19:58
  • 0
В поддержку Hazzard'а - в кои веки. :)
  • 23.08 18:57
  • 1
О разных аспектах ВОВ, и ее обсуждения здесь.
  • 23.08 12:25
  • 34
ChatGPT-4 и нейросети (ИИ) спешат на помощь ГШ ВС РФ и Российской армии