NASA Jet Propulsion Laboratory (JPL) software developers working on the Mars Science Laboratory (MSL) Curiosity rover chose Coverity software technology to detect defects in mission-critical flight software responsible for guiding Curiosity's landing on Mars.
NASA JPL software developers in Pasadena, Calif., needed to find every software defect in Curiosity's software before launch. They used Coverity technology to analyze more than 2 million lines of code in the software that controls the flight and onboard functions of the rover.
"Given the mission-critical nature of Curiosity, the software powering the rover must be reliable and free of software defects. A single defect could mean the difference between success and failure of the $2.5 billion NASA mission and impair its ability to assess the possibility of life on Mars," says a spokesperson.
NASA JPL has used static analysis as a key part of the code review process, from the inception of the NASA Mars Science Laboratory mission.
"The use of Coverity technology in mission-critical projects with zero tolerance for error is a testament to our unique ability to quickly detect unpredictable and traditionally hard to spot software defects," says Jennifer Johnson, vice president of marketing at Coverity.
The Coverity Static Analysis development testing solution leverages analysis techniques for finding and eliminating code defects early in the software-development life cycle, when they are the easiest and least expensive to find and fix.
FOR MORE INFORMATION visit Coverity online at www.coverity.com.