| |
| | NASA Software Checker Finds Computer Bugs Automatically |
 | | Preliminary tests of the CGS software checker included evaluation of code from previous space missions, including Deep Space 1 that flew in 1999, the Mars Pathfinder mission and parts of the Mars Exploration Rover (MER) code, which were written in 'C' computer language. |
 | | CGS checks all flight software commands, and then reports back, listing code that is bug-free, code that has bugs and code that needs more checking by other means, according to Arnaud Venet, a computer scientist at NASA Ames who also is working on the CGS project. |
 | | A preliminary version of C++ CGS is slated to be ready for testing by September 2005, according to Venet. |
| www.spacedaily.com /news/software-04b.html (494 words) |
|