Гравці довели свою корисність для перевірки програмного забезпечення

Чи можна весело онлайн-ігри вирішити складні проблеми перевірки програмного забезпечення, які фахівці професійного програмування зазвичай займаються? Іншими словами, б армія неосвічених геймерів краще, ніж професійний процес? Дослідники Агентства з питань оборонних досліджень (DARPA) вважають, що це справа.

Перші експерименти показали, що натовпи є ще більш ефективними, ніж очікувані. У грудні 2013 року, коли Verigames запустили безкоштовний онлайн-реєстраційний портал з п'яти безкоштовних ігор.

Наприклад, знімок екрана вгорі показує Парадокс, в якому потрібно усунути конфлікти, змінивши стан змін екрана. При досягненні встановленого результату гравець отримує нове завдання оптимізації.

На додаток до Paradox є космічна головоломка Dynamakr для складання головоломки з космічного генератора шаблонів; битва з відчужливими загарбниками Хост-карта Гіперкосмічна крадіжка своїх брелоків (через який бейстарс перекреслюють тканину простору-часу) і подорож по середньовічній землі монстрів монстра з супроводжуючого розчину головоломок для збагачення.



У п'ятій грі Binary Fission вам потрібно сортувати атомні частинки в найкоротші терміни.



Минулого тижня ДАРПА оголосив успішність першої фази програми та скоро додала ще 5 ігор на сайті.

Від DARPA блогу: Це [2013] ігри, які транслюють дії гравців у програмі, анотаціями та допомогли формально перевіряти експерти створюють математичні докази, які підтверджують відсутність важливих класів помилок у мовах програмування C та Java. Первинний аналіз показує, що любителі, які грали CSFV ігри, створили тисячі анотації. й

В цілому геймерський проект був дуже успішним.

Ймовірно не турбуватися про неминучий високий рівень безробіття в робототехнічному суспільстві майбутнього. У програмі беруть участь цікаві та корисні заходи.

Джерело: geektimes.ru/post/251402/