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