DARPA lansira drugi krog online iger za preverjanje kode

Posted on
Avtor: John Pratt
Datum Ustvarjanja: 15 Januar 2021
Datum Posodobitve: 4 November 2024
Anonim
DARPA lansira drugi krog online iger za preverjanje kode - Igre
DARPA lansira drugi krog online iger za preverjanje kode - Igre

Začetna faza preizkusa uradne verifikacije (CSFV), ki jo je izvedla ameriška agencija za obrambo naprednih raziskovalnih projektov (DARPA), se je začela leta 2013. Poskus je bil ustvarjen za boj proti dragim, dolgotrajnim pastem tradicionalnih metod preverjanja kode.


Deluje na hipotezi, da "lahko veliko število ne-strokovnjakov opravi formalno preverjanje hitreje in stroškovno učinkoviteje kot konvencionalni postopki," je DARPA oblikoval program CSFV za preverjanje velikih serij kode za natančnost z uporabo video iger, ki temeljijo na brskalniku.

DARPA je v sredo razglasila program za uspeh in napovedala dodajanje petih novih iger obstoječi liniji. Iz spletnega dnevnika DARPA:

Te [2013] igre so igralčeve akcije prevedle v programske opombe in pomagale formalnim strokovnjakom za preverjanje pri ustvarjanju matematičnih dokazov za preverjanje odsotnosti pomembnih razredov napak v programskih jezikih "C" in "Java". Začetna analiza kaže, da so ne-strokovnjaki, ki igrajo igre CSFV, ustvarili več sto tisoč pripisov.

Novi naslovi vključujejo uganke Dynamakr, Paradoks, in Binarna fisija, "znanstvena igra" Hiperprostor Ghost Map, in fantasy sim Monster Proof. Vse igre DARPA CSFV, vključno s tistimi iz faze projekta 2013, so na voljo na spletu v Verigamesu. Igralci morajo biti stari 18 let ali več, da lahko sodelujejo.