DOD Looks To Make A Game Of Software Testing - InformationWeek

InformationWeek is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them.Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 8860726.

IoT
IoT
Software // Enterprise Applications

DOD Looks To Make A Game Of Software Testing

DARPA will use crowdsourcing to help verify that weapons software will work as intended.

Federal Data Center Consolidation Makes Progres
Federal Data Center Consolidation Makes Progress
(click image for larger view and for slideshow)
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."

[ Is climate change a national security threat? See Defense Dept. Jumps On Climate Change Research. ]

The way DARPA sees it, if software verification was turned into a computer game that was fun for anyone to play, it could test the properties of software on a wider audience to ensure it will achieve its desired outcomes, according to the announcement.

One of the goals of CSFV--which "picks up at a point where the formal verification tool needs human assistance"--is to come up with ways to automatically transform formal software verification problems into end-user games people can play.

The games will generate solutions that will populate a database and be mapped back into annotations that can help a formal verification tool verify a software property, according to DARPA.

The federal government increasingly is turning to crowdsourcing as a way to save money and widen the expert pool to solve complex technology problems rather than paying experts to do so.

DARPA is one of the leading agencies to embrace crowdsourcing, and has used some rather innovative methods to do so. The agency recently held a contest to crowdsource designs for a next-generation combat vehicle, and currently is crowdsourcing methods for reconstructing shredded documents--such as those found in military engagements that may be used for intelligence purposes--through a Shredder Challenge.

DARPA will hold an industry day Dec. 8 in Menlo Park, Calif., to discuss its plans for CSFV and identify those potentially interested in making proposals for the program.

Our annual Federal Government IT Priorities Survey shows how agencies are managing the many mandates competing for their limited resources. Also in the new issue of InformationWeek Government: NASA veterans launch cloud startups, and U.S. Marshals Service completes tech revamp. Download the issue now. (Free registration required.)

We welcome your comments on this topic on our social media channels, or [contact us directly] with questions about the site.
Comment  | 
Print  | 
More Insights
InformationWeek Is Getting an Upgrade!

Find out more about our plans to improve the look, functionality, and performance of the InformationWeek site in the coming months.

Slideshows
10 Things Your Artificial Intelligence Initiative Needs to Succeed
Lisa Morgan, Freelance Writer,  4/20/2021
News
Tech Spending Climbs as Digital Business Initiatives Grow
Jessica Davis, Senior Editor, Enterprise Apps,  4/22/2021
Commentary
Optimizing the CIO and CFO Relationship
Mary E. Shacklett, Mary E. Shacklett,  4/13/2021
White Papers
Register for InformationWeek Newsletters
Video
Current Issue
Planning Your Digital Transformation Roadmap
Download this report to learn about the latest technologies and best practices or ensuring a successful transition from outdated business transformation tactics.
Slideshows
Flash Poll