Агентство DARPA превратило процесс тестирования свободного ПО в игру

DARPA, агентство передовых оборонных исследовательских проектов при Министерстве обороны США, разработало серию игр для проверки свободного и открытого ПО.

Данные игры работают под покровительством программы Crowd Sourced Formal Verification. Основная идея заключается в том, чтобы обеспечить простую проверку для ПО, которую обычно проводят технические эксперты. «Как правило, не хватает самих экспертов или их свободного времени, чтобы доказать безопасность и надёжность того или иного программного обеспечения. Соответственно, мы пересмотрели то, что эксперты обычно делают, и создали несколько десятков тысяч игровых уровней в интернете для того, чтобы пользователи играли для нас», — комментирует Мэтью Бэрри (Matthew Barry), главный исследователь в компании Kestrel Technology, которая совместно с DARPA разрабатывала игры.

Например, одна из игр — Circuit Bot. Её цель — отправка миссий на астероиды. В ходе игры нужно собрать в правильном порядке команду из роботов с разными назначениями, а за выполнение заданий назначаются очки. Результаты также влияют на проверку свободного ПО (впрочем, не уточняется, как именно они влияют). Всего на сайте Verigames доступно пять игр, а свободное ПО, проверяемое игроками, в конечном счёте может быть непосредственно использовано в самой DARPA и правительственных организациях.

Постоянная ссылка к новости: http://www.nixp.ru/news/12544.html. Никита Лялин по материалам theregister.co.uk.