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

NEW Low Profile, Ultra Compact Power Supplies

March 13, 2024
Learn more HERE about Altech's Power supplies!

Altech's Liquid Tight Strain Relifs Catalog

March 13, 2024
With experienced Product Engineers and Customer Service personnel, Altech provides solutions to your most pressing application challenges. All with one thought in mind - to ensure...

Industrial Straight-Through Cable Gland

March 13, 2024
Learn more about Altech's cable glands and all they have to offer for your needs!

All-In-One DC-UPS Power Solutions

March 13, 2024
Introducing the All-In-One DC-UPS, a versatile solution combining multiple functionalities in a single device. Serving as a power supply, battery charger, battery care module,...

Voice your opinion!

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