В DARPA разработали игры, которые помогают специалистам находить уязвимости в строках кода

Просматривать миллионы строк кода в поисках ошибки или уязвимости — сложный и неблагодарный труд. Но агентство по перспективным исследовательским проектам США (DARPA) решило привлечь к делу волонтёров, специально для которых весь процесс превратили в игру.

Игры DARPA

Новая краудсорсинговая инициатива DARPA Formal Verification предполагает использование труда добровольцев для обнаружения уязвимостей в коде ПО. Для этого агентство создало пять онлайновых игр и одну для iPad.

Вот как они работают: игры сделаны таким образом, что когда пользователь разгадывает загадку для того, чтобы перейти на следующий уровень, они, по-настоящему, генерируют аннотации к программному коду и выводят математические доказательства, которые могут доказать наличие или отсутствие ошибки в ПО, написанном на C или Java.

DARPA финансировала разработку этих игр. Если подвести итог, главное в них — разрешить действительно сложные математические проблемы в лёгкой игровой форме. Результаты, полученные с помощью них, помогут исследователям агентства обнаружить уязвимости в строчках кода, которым нужно пристальное внимание.





!

Если для Вас конкретно эта новость оказалась важной или интересной - пожалуйста, поделитесь ею в своей любимой социальной сети с помощью кнопок, расположенных под этим текстом. Это поможет нам в будущем делать более качественную подборку материалов, исходя из Ваших потребностей\интересов.




Коды для вставки в блог\форум

blog comments powered by Disqus


Вспомним другие новости из этого раздела?


Игры

←+Ctrl+→

Интересные новости
PlayStation 5 будет быстрее PS4 Pro в 10 разPlayStation 5 будет быстрее PS4 Pro в 10 раз
Сделка Sony с Microsoft шокировала команду PlayStationСделка Sony с Microsoft шокировала команду PlayStation
Консоль Sony PlayStation 5 для разработчиков получила 32 ГБ ОЗУ GDDR6 и SSD на 2 ТБКонсоль Sony PlayStation 5 для разработчиков получила 32 ГБ ОЗУ GDDR6 и SSD на 2 ТБ
Panic анонсировала мобильную консоль Playdate с черно-белым экраномPanic анонсировала мобильную консоль Playdate с черно-белым экраном
Блок рекламы


Похожие новости

Google Stadia сможет запускать игры в 4K и 60 fps при скорости интернета 35 Мбит/сGoogle Stadia сможет запускать игры в 4K и 60 fps при скорости интернета 35 Мбит/с
Как эволюционировали видеоигры NHL: видеоКак эволюционировали видеоигры NHL: видео
Как эволюционировали видеоигры о Человеке-пауке: видеоКак эволюционировали видеоигры о Человеке-пауке: видео
Как эволюционировали игры Borderlands: видеоКак эволюционировали игры Borderlands: видео
Apple представила сервис Arcade с подпиской на игрыApple представила сервис Arcade с подпиской на игры
Доказано: мощные компьютеры помогают победить в Apex Legends, Fortnite и PUBGДоказано: мощные компьютеры помогают победить в Apex Legends, Fortnite и PUBG
18-летний парень убил себя из-за отказа родителей купить ему смартфон для игры в PUBG18-летний парень убил себя из-за отказа родителей купить ему смартфон для игры в PUBG
Как эволюционировали игры Fallout: видеоКак эволюционировали игры Fallout: видео
PlayStation 5 будет поддерживать игры с консолей предыдущих поколенийPlayStation 5 будет поддерживать игры с консолей предыдущих поколений
Google позволит запускать AAA-игры прямо в ChromeGoogle позволит запускать AAA-игры прямо в Chrome
Последние новости

Подгружаем последние новости