Sign In

Communications of the ACM

ACM TechNews

Dod Looks to Make a Game of Software Testing

View as: Print Mobile App Share:

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