OpenNet

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

1714
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
Материал размещён правообладателем в открытом доступе
  • В новости упоминаются
Страны
Компании
Проекты
Хотите оставить комментарий? Зарегистрируйтесь и/или Войдите и общайтесь!
ПОДПИСКА НА НОВОСТИ
Ежедневная рассылка новостей ВПК на электронный почтовый ящик
  • Разделы новостей
  • Обсуждаемое
    Обновить
  • 05.04 11:43
  • 8328
Без кнута и пряника. Россия лишила Америку привычных рычагов влияния
  • 05.04 10:32
  • 4
SCMP: Эксперты предполагают, что секретный китайский истребитель J-36 не предназначен для ведения воздушного боя
  • 05.04 05:34
  • 0
Ответ на "«Останется мировым лидером»: в британском парламенте спросили о боевых возможностях танка Challenger 3 в сравнении с Т-14 «Армата»"
  • 05.04 05:32
  • 1469
Корпорация "Иркут" до конца 2018 года поставит ВКС РФ более 30 истребителей Су-30СМ
  • 05.04 04:42
  • 1
ТАСС: Фидан на переговорах в Париже поддержал дипломатические усилия по Украине
  • 04.04 03:12
  • 1
О возможном военном конфликте Европы и России.
  • 04.04 02:40
  • 1
Лыткаринский завод" создал микроскоп с улучшенной оптической схемой
  • 04.04 02:32
  • 1
США планируют создание первого «космического авианосца»
  • 04.04 02:04
  • 1
Каллас связывает прекращение конфликта и гарантии безопасности для Украины с военным усилением Киева
  • 03.04 20:40
  • 0
О тонких гранях мира.
  • 03.04 18:45
  • 0
О гонке вооружений в космосе, и позиции сторон.
  • 03.04 15:13
  • 1
США и их сателлиты отклонили проект резолюции РФ в ООН о запрете гонки вооружений в космосе
  • 03.04 15:06
  • 1
США предупредили Европу о негативных последствиях отказа от их оружия
  • 03.04 11:09
  • 14
Тегеран подготовил ракеты для потенциального ответа США - СМИ
  • 03.04 06:05
  • 0
Ответ на "ВКС России получили новые истребители Су-35, но в дальнейшем рост экспорта может сократить внутренние закупки (Military Watch Magazine, США)"