Thanks for visiting Scientific Computing World.

You're trying to access an editorial feature that is only available to logged in, registered users of Scientific Computing World. Registering is completely free, so why not sign up with us?

By registering, as well as being able to browse all content on the site without further interruption, you'll also have the option to receive our magazine (multiple times a year) and our email newsletters.

Coverity tests Curiosity Rovers control software

Share this on social media:

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.