Видеоигрите като инструмент за тестване на софтуер и нестандартно решаване на задачи

Агенцията за развитие на нови военни технологии DARPA счита, че армия от геймъри без специално обучение, може да се окаже по-ефективна, отколкото няколко професионални компютърни експерта, при тестване и проверка на софтуер, както и при решаване на специфични задачи.
 

Първите експерименти демонстрираха, че краудсорсингът е дори по-ефективен от очакваното. Мащабната програма с име Формална краудсорсинг верификация (Crowd Sourced Formal Verification, CSFV) бе стартирана още през 2013 година, когато бе открит уеб-порталът Verigames с пет безплатни игри.

Към днешен ден, една от най-успешните игри от тази програма е играта Paradox, при която е необходимо да се премахнат конфликтите чрез изменяне състоянието на екранните променливи. Играта е разделена на нива с различна сложност.

Идеята е интересна – преминаване на ниво в тази игра означава решаване на стандартна задача по оптимизация, но по забавен и интересен начин.

Освен Paradox, в сайт се намират и космическата главоблъсканица Dynamakr, при Ghost Map се водят битки с извънземни, а Monster Proof е игра, при която се пътешества в земи със средновековни чудовища.

В края на миналата седмица DARPA съобщи, че първата част на програмата CSFV е много успешна и сега ще бъдат добавени още пет игри.

Интересното е, че геймърите не знаят какви задачи се решават чрез тези игри. Сега стана ясно, че по този начин е потвърдено отсъствието на важни класове в програмните езици C и Java. Решени са и други нестандартни задачи.