НовостиСобытияКонференцииФорумыIT@Work
Идеи и практики автоматизации:

Блог

Играешь? Предатель Родины!

Сергей Бобровский
31.01.2012 10:43:24

Похоже, недалека та пора, когда многочасовое времяпровождение за общедоступными флешками-головоломками -- "таймкиллерами", коими усыпан весь Интернет, совершенно незаметно для самого игрока превратится в бесплатную работу на крупнейшие военные корпорации.

По крайней мере, такие планы анонсировало военное агентство передовых исследований США DARPA, которому Пентагон готов выделить 32 млн. долл. на создание забавных по дизайну и увлекательных по игровому процессу программок, которые на самом деле будут выполнять функции тестирования программных кодов боевых систем.

Сегодня гарантированное верифицирование больших объемов исходных текстов обходится заказчикам слишком дорого, поэтому военные задумали выпуск интуитивно понятных рядовому компьютерному пользователю программ, которые будут доступны на ПК и ноутбуках, смартфонах, плашнетах и консолях, и обеспечат увлекательный игровой процесс. Но при этом они выстраиваются в рамках единой системы формирования и генерации графических "загадок", которые на самом деле представляют собой закамуфлированные образы программного кода, а успешное их решение будет заноситься в централизованную базу проекта как результат тестирования заданных модулей.

На первый этап трехлетнего проекта Crowdsourced Formal Verification выделено 4,7 млн. долл. Ученые постараются выработать методы перевода задач формального тестирования кода в компьютерные головоломки, которые будет интересно решать.

Игр в духе "коллективного решения проблем" существует уже немало. Например, eterna.cmu.edu предлагает пособирать оригинальные варианты молекулы рибонуклеиновой кислоты, лучшие модели которых с выдающимися биологическими характеристиками будут искусственно синтезированы специалистами университета Карнеги-Меллона для дальнейших экспериментов.

Комментариев: 3

Только зарегистрированные и авторизованные пользователи могут добавлять комментарии

31.01.2012 13:28:11

Цитата
которые на самом деле будут выполнять функции тестирования программных кодов боевых систем
Довольно неожиданно!

31.01.2012 19:37:53

Причем сумма какая приличная, серьезно взялись.

Oleg
31.01.2012 17:52:29

Я бы согласился поучаствовать.
Если бы за тестирование хоть немного еще платили, то вообще было бы хорошо.

Только зарегистрированные и авторизованные пользователи могут добавлять комментарии