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

Aug. 15, 2025
This latest creation isn’t just highly sensitive and dexterous, it's robust enough to survive impacts previous designs couldn't — all while integrating high-speed sensor networks...
Aug. 15, 2025
From plug-and-play to custom solutions, discover high-precision spur and planetary gearheads, as well as screw drives that perfectly match maxon electric motors with respect to...
Aug. 15, 2025
Take a peek inside the design journey of a dual-rotor drone suitable for confined-space inspection in industries such as sewer management, hydro power plants, oil & gas, and chemical...
Aug. 15, 2025
Explore extended capabilities for applications that demand a compact footprint and low weight, including a rigid speed-torque characteristic that optimizes control for precision...

Voice your opinion!

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