Sign In

Communications of the ACM

ACM TechNews

Dod Looks to Make a Game of Software Testing


View as: Print Mobile App Share: Send by email Share on reddit Share on StumbleUpon Share on Hacker News Share on Tweeter Share on Facebook
crowd

MIT News Office

The U.S. Defense Advanced Research Projects Agency (DARPA) recently launched the Crowd Sourced Formal Verification (CSFV) project, which aims to use crowdsourcing technology to provide a fun way for the public to participate in software verification.

Traditional program verification is not widely practiced due to high costs and because many program verification problems resist automation. "This is particularly an issue for the Department of Defense because formal verification, while a proven method for reducing defects in software, currently requires highly specialized talent and cannot be scaled to the size of software found in modern weapon systems," DARPA says.

CSFV aims to develop methods to automatically transform formal software verification problems into end-user games people can play. The games will create solutions that can help a formal verification tool verify a software property, according to DARPA.

From InformationWeek
View Full Article

Abstracts Copyright © 2011 Information Inc. External Link, Bethesda, Maryland, USA 


 

No entries found

Sign In for Full Access
» Forgot Password? » Create an ACM Web Account