[spoiler]По крайней мере, такие планы анонсировало военное агентство передовых исследований США DARPA, которому Пентагон готов выделить 32 млн. долл. на создание забавных по дизайну и увлекательных по игровому процессу программок, которые на самом деле будут выполнять функции тестирования программных кодов боевых систем.
Сегодня гарантированное верифицирование больших объемов исходных текстов обходится заказчикам слишком дорого, поэтому военные задумали выпуск интуитивно понятных рядовому компьютерному пользователю программ, которые будут доступны на ПК и ноутбуках, смартфонах, плашнетах и консолях, и обеспечат увлекательный игровой процесс. Но при этом они выстраиваются в рамках единой системы формирования и генерации графических "загадок", которые на самом деле представляют собой закамуфлированные образы программного кода, а успешное их решение будет заноситься в централизованную базу проекта как результат тестирования заданных модулей.
На первый этап трехлетнего проекта Crowdsourced Formal Verification выделено 4,7 млн. долл. Ученые постараются выработать методы перевода задач формального тестирования кода в компьютерные головоломки, которые будет интересно решать.
Игр в духе "коллективного решения проблем" существует уже немало. Например, eterna.cmu.edu предлагает пособирать оригинальные варианты молекулы рибонуклеиновой кислоты, лучшие модели которых с выдающимися биологическими характеристиками будут искусственно синтезированы специалистами университета Карнеги-Меллона для дальнейших экспериментов.
Если бы за тестирование хоть немного еще платили, то вообще было бы хорошо.