There ’s no way ’ round the fact that scanning millions of lines of software system code for exposure is a task . But now DARPA is keen to get volunteers help out — byturning it into a game .
DARPA ’s new Crowd source Formal Verification initiativeuses volunteers to help it find code exposure . Itsfive free games can be played online — or in Xylem ’s case on iPad . Computer World excuse how the game figure out :
The game are designed in such a means that when drug user solve puzzles so as to advance to the next storey of game maneuver , they are actually generating course of study annotations and mathematical proofs that can describe or prove the absence of flaws in software written in either C or Java . DARPA funded the game and the portal vein through its Crowd Sourced Formal Verification ( CSFV ) political platform …
The idea is to represent what in burden are really operose maths problems onto puzzler game that would be fun to play , accord to DARPA materials .
In turn , it should ease some of the workload on DARPA analysts — by “ an order of order of magnitude or more ” if theirclaims are to be believed . The results from the game grant DARPA researchers to focus on “ those little snippets of code that need further psychoanalysis and turn them into the parametric quantity to generate a puzzle,”according to John Murray , who ’s been necessitate in the project .
So what are you waiting for?Go play games and assist DARPA out at the same time . [ VerigamesviaComputer World ]
CodeDarpaGamesSecuritysoftware
Daily Newsletter
Get the best tech , science , and culture news in your inbox daily .
News from the future , cede to your present .
You May Also Like
