acm-header
Sign In

Communications of the ACM

ACM TechNews

DARPA to Mine 'big Code' to Improve Software Reliability


View as: Print Mobile App Share:
DARPA's Mining and Understanding Software Enclaves (MUSE) program seeks significant advances in how software is built, debugged, verified, maintained, and understood.

The U.S. Defense Advanced Research Projects Agency's Mining and Understanding Software Enclaves (MUSE) program is aimed at developing new ways to enhance software correctness and helping to devise strategies for automatically building and repairing comple

Credit: DARPA

The U.S. Defense Advanced Research Projects Agency (DARPA) seeks to address the problems of software defects that underlie most system errors and security vulnerabilities through its Mining and Understanding Software Enclaves (MUSE) program.

DARPA says the objective of MUSE is to develop new ways of drastically enhancing software correctness and help devise radically different strategies for automatically building and repairing complex software. "Our goal is to apply the principles of big data analytics to identify and understand deep commonalities among the constantly evolving corpus of software drawn from the hundreds of billions of lines of open source code available today," says DARPA program manager Suresh Jagannathan. "We're aiming to treat programs--more precisely, facts about programs--as data, discovering new relationships [enclaves] among this 'big code' to build better, more robust software."

DARPA says MUSE aims to generate a community infrastructure that incorporates a specification-mining engine that is in continuous operation and employs "deep program analyses and big data analytics to create a public database containing...inferences about salient properties, behaviors, and vulnerabilities of software drawn from the hundreds of billions of lines of open source code available today."

From Government Computer News
View Full Article

 

Abstracts Copyright © 2014 Information Inc., Bethesda, Maryland, USA


 

No entries found