DARPA Wants You To Verify Software Flaws By Playing Games

Posted by samzenpus on Thursday May 28, 2015 @11:34PM from the play-the-bugs-away dept.

coondoggie writes: Researchers at the Defense Advanced Research Projects Agency (DARPA) think online gamers can perform the tedious software verification work typically done by professional coding experts. They were so impressed with their first crowdsourced flaw-detecting games, they announced an new round of five games this week designed for improved playability as well as increased software verification effectiveness. “These games translated players’ actions into program annotations and assisted formal verification experts in generating mathematical proofs to verify the absence of important classes of flaws in software written in the C and Java programming languages. An initial analysis indicates that non-experts playing CSFV games generated hundreds of thousands of annotations,” DARPA stated.

1 of 31 comments (clear)

Min score:

Reason:

Sort:

Obligatory /. Coverup Post - Again... by Anonymous Coward · 2015-05-29 00:35 · Score: 2, Interesting

./ --
Run this article, respond appropriately and this protest will be over. You're acticting like a manager/laywer-type person at Oracle. You can do better than this.
This is "the" scandal in tech right now, and you're actively supressing discusstion --
http://mobile.slashdot.org/comments.pl?sid=7477721&cid=49793333
Mod this up like all the other SF posts, please.
http://arstechnica.com/information-technology/2015/05/sourceforge-grabs-gimp-for-windows-account-wraps-installer-in-bundle-pushing-adware/
SourceForge grabs GIMP for Windows’ account, wraps installer in bundle-pushing adware