The NASA Jet Propulsion Laboratory (JPL), builder of the Curiosity Rover, selected the Coverity Static Analysis development testing solution to help ensure the reliability of the mission-critical flight software that guided the successful landing of Curiosity on Mars. Static analysis has been a key part of the code review process from the NASA Mars Science Laboratory mission’s inception and more than two million lines of code were tested to ensure that every software defect was found and fixed before Curiosity’s launch. This was a critical step given that 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.
Media Partners