Pages

Categories

Search

 

DOD Looks To Make A Game Of Software Testing

by
November 23, 2011
Cyber Security, FedCyber Wire, Solution Providers
No Comment

The Department of Defense wants to create computer games that will crowdsource the complex process of verifying software for weapons systems.

The Defense Advanced Research Projects Agency (DARPA), the DOD’s research arm, through a project called Crowd Sourced Formal Verification (CSFV), aims to provide a “fun” way for the public to take part in software verification, a software engineering process to ensure an application satisfies its requirements, according to an agency announcement posted on FedBizOpps.gov.

“Currently, formal program verification is not widely practiced due to high costs and the fact that fundamental program verification problems resist automation,” according to DARPA. “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.”

via InformationWeek Government, continued here.