DARPA пуснаха игрови портал

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

„Все по-често комерсиалните IT системи и приложения, на които разчитат военни и държавни структури биват подлагани на сложни атаки, насочени към софтуерните уязвимости“, четем в изявление на агенцията от миналата седмица. „Най-доброто решение за справяне с проблема се явява специалното верифициране на кода ред по ред от опитни инженери. Проблемът тук обаче е, че това е твърде бавен и скъпоструващ процес, за да бъде прилаган в дребните софтуерни компоненти“.

DARPA излизат с решение – Verigames – уеб-портал, в който може да играете безплатно онлайн пъзъл игри.

Идеята е действията на играещите в разгадаване на загадките да бъдат „преведени“ във формална верификация на код – игрите превеждат действията на играещите в анотации към програмата и генерират математически доказателства, за да удостоверят липсата на слабости в C и Java кода. „Разглеждаме възможността за вземането на наистина трудни математически проблеми и нанасянето им върху интересни и атрактивни пъзел игри, които онлайн геймърите ще рещават с удоволствие“, заявява Дрю Дийн, програмен мениджър на агенцията.

Засега игрите на сайта са пет: CircuitBot (свържете отбор роботи, за да завършат мисия), Flow Jam (анализирайте и настройте мрежа, за да оптимизирате трафика), Ghost Map (освободете съзнанието си, като намерите път в мозъчна мрежа), StormBound (спрете вятърната буря, чрез разгадаването на символи – в момента недостъпна за игра) и Xylem (каталогизирайте растения чрез на бор от формули), като от агенцията уверяват, че успее ли проекта, те ще се увеличат, подпомогнат и от напълно нов автоматизиран процес за създаване на нови игри на агенцията.