Peržiūrėti milijonus kodo eilučių, ieškant klaidų ar net rimtų pažeidžiamumų – sudėtingas ir labai daug kruopštumo bei atidumo reikalaujantis darbas. JAV Gynybos ministerijai priklausanti perspektyvių projektų agentūra DARPA nusprendė viską supaprastinti: nuspręsta pasitelkti savanorius, kurias spragas kode ieškos, žaisdami žaidimus.
Naujasis DARPA projektas „Formal Verification“ numato, jog kodo klaidų ieškojimui bus pasitelkti žaidėjai, kuriems agentūra sukūrė penkis internetinius žaidimus, taip pat vieną mobilią programėlę, skirta planšetiniams kompiuteriams „iPad“.
Štai kaip viskas veikia: žaidimai sukurti taip, jog kai vartotojas išsprendžia užduotį ir patenka į kitą lygį, viso to proceso metu generuojama programinio kodo anotacija, o kartu pateikiami matematiniai įrodymai, jog C arba „Java“ kode yra arba nėra klaidų.
DARPA finansuoja tokių žaidimų kūrimą. Pagrindinis projekto tikslas – išspręsti iš tikrųjų sudėtingas matematines problemas, pasitelkiant žaidimu pagrįstas formas. Tokiu būdu gauti rezultatai padės agentūros specialistams aptikti pažeidžiamumus tose kodo eilutėse, kurios yra kritiškai svarbios įvairių sistemų funkcionavimui.
