DARPA lansează oa doua rundă de jocuri online de verificare a codurilor

Posted on
Autor: John Pratt
Data Creației: 17 Ianuarie 2021
Data Actualizării: 4 Noiembrie 2024
Anonim
Nuclear Fruit: How the Cold War Shaped Video Games
Video: Nuclear Fruit: How the Cold War Shaped Video Games

Etapa inițială a experimentului de verificare formală (CSFV) a experimentului de verificare formală (CSFV) a armatei americane a Proiectului de cercetare avansată în domeniul apărării (DARPA) a fost lansat în 2013. Experimentul a fost creat pentru a combate capcanele scumpe și consumatoare de timp ale metodelor tradiționale de verificare a codurilor.


Operând pe ipoteza că "un număr mare de non-experți pot efectua verificări oficiale mai rapid și mai rentabil decât procesele convenționale", DARPA a proiectat programul CSFV pentru a verifica loturile de coduri de precizie folosind jocurile video bazate pe browser.

Miercuri, DARPA a proclamat succesul programului și a anunțat adăugarea a cinci noi jocuri la gama sa existentă. Din blogul DARPA:

Aceste jocuri [2013] au tradus acțiunile jucătorilor în adnotările programelor și au ajutat experții în verificarea formală în generarea de dovezi matematice pentru a verifica absența unor clase importante de defecte în limbile de programare "C" și "Java". O analiză inițială arată că non-experții care au jucat jocuri CSFV au generat sute de mii de adnotări.

Noile titluri includ puzzlers Dynamakr, Paradox, și Fisiune binară, "joc științific" Ghost Harta Hyperspace, și fantezie sim Monster Proof. Toate jocurile CSFV ale DARPA, inclusiv cele din faza de proiect 2013, sunt disponibile online la Verigames. Jucătorii trebuie să aibă vârsta de 18 ani sau mai mult pentru a participa.