Finding bugs in software

Sept. 2, 2004
To make missions safer, NASA scientists are developing a software checker program to find bugs in computer code quickly and accurately

. " Eliminating bugs is important for NASA because even simple software bugs can lead to the loss of a mission," says NASA researcher Guillaume Brat. "With C Global Surveyor (CGS) software, we detect what can interrupt the program, as well as what can cause the program to crash," he adds.

The software that drives space missions contains thousands of lines of code. Programmers have had to check this code manually, a task that's both time consuming and expensive. During testing, CGS took only 25 min to check hundreds of thousands of lines of code. It 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 researchers, CGS can also detect errors in unexpected situations during validations of mission software, conducting mathematical proofs to arrive at answers.

Sponsored Recommendations

June 27, 2025
Ensure workplace safety and compliance with our comprehensive Lockout/Tagout (LOTO) Safety Training course. Learn critical procedures to prevent serious injuries.
June 27, 2025
Join our expert webinar to discover essential safety control measures and best practices for engineering a truly safe and compliant industrial environment.
June 25, 2025
An innovative aircraft with electric drives combines the best of both worlds. The cross between drone and helicopter could mean significantly faster and more efficient air emergency...
June 25, 2025
Effective when other materials fail, ceramics are particularly suitable for applications requiring wear and chemical resistance, sliding characteristics or biocompatibility. Discover...

Voice your opinion!

To join the conversation, and become an exclusive member of Machine Design, create an account today!