0 |
Агентство перспективных исследований министерства обороны США (Defense Advanced Research Projects Agency, DARPA) разработало игры, с помощью которых намерено проверить, можно ли использовать бесплатные онлайновые игры для выявления недостатков программного кода. Как подчеркивается в заявлении агентства, действительно сложные математические проблемы можно представить в виде интересных увлекательных игр, в которые люди будут с удовольствием играть онлайн. Привлечение множества игроков поможет разгрузить аналитиков в сфере безопасности и сделать доступной формальную верификацию.
Программа Crowd Sourced Formal Verification (CSFV) сейчас предлагает пять игр через портал Verigames.com. Это специально разработанные пазлы, созданные с помощью TopCoder (сообщество около 600 тыс разработчиков, программистов и математиков), в которых закодированы математические модели. Их решение дает математически строгое доказательство того, что в коде нет ошибок и уязвимостей. Пока CSFV занимается только приложениями, написанными на языках C и Java, и обещает сообщать, какие компании ответственны за создание и поддержку кода, содержащего ошибки.
Это не первый проект, имеющий целью привлечь сообщество к разрешению разного рода проблем. В середине 1999 г. Университет Калифорнии в Беркли (США) инициировал проект SETI@home для анализа потока данных радиотелескопов на домашних ПК волонтеров. Сейчас краудсорсинг применяется более чем в 80 проектах, от исследования климата до поиска новых звезд и тестирования медпрепаратов. Проект CSFV впервые использует сообщество для проверки кода, который в большинстве случаев недоступен широкой публике. По оценке DARPA, на каждую тысячу строк кода приходится от 1 до 5 недочетов или уязвимостей, который могут представлять риски целостности или доступности, что опасно для правительственных структур, и в особенности военной сферы.
Несмотря на безобидный характер игр DARPA, доступ к ним получат только пользователи старше 18 лет — таковы регуляторные нормы, касающиеся привлечения волонтеров к исследовательским программам агентства.
Ready, set, buy! Посібник для початківців - як придбати Copilot для Microsoft 365
0 |