Main Menu
Home / IT Best Practices / Model-based testing of NASA systems

Model-based testing of NASA systems

It’s Rocket Science

NASA was having some difficulties with its projects. To begin with, test cases were developed manually, only some of the test executions where automated, and it was difficult for the organization to summarize what was actually tested. Within an organization like NASA, missed software bugs can readily lead to (at best) financial loss and (at worse) death. Automating testing allowed for more thorough, consistent testing, and that was the working premise that the authors of this presentation worked from.

The Benefits

In the presentation, Dharma Ganesan, Mikael Lindvall, Charles Song, and Christoph Schulze explain how three projects were targeted for model-based testing. The presentation then shares some of the processes and findings to implement MBT, and the current results achieved, which include:


  • An end to end approach for test automation

  • An easy-to-infuse testing process

  • More defects found earlier

It isn’t all positives, however. The modeling did require developers to learn modeling and abstraction, and they found it likewise difficult to document individual cases. View the full presentation here:

About Matthew Kabik

Matthew Kabik is the former Editor of Computer Aid's Accelerating IT Success. He worked at Computer Aid, Inc. from 2008 to 2014 in the Harrisburg offices, where he was a copywriter, swordsman, social media consultant, and trainer before moving into editorial.

Check Also

How to Get Excited about Topics That Bore You

Boredom, like the weather or taxes, just seems to be a general part of life. …

Leave a Reply

Your email address will not be published. Required fields are marked *