Case Study: AdaCore achieves 100% statement coverage for ESA software with QA Systems AdaTEST 95

AdaCore - Customer Case Study

AdaCore was contracted by the European Space Agency to create a high-integrity software development kit for satellites. Their challenge was to achieve 100% statement coverage for testing, a stringent ESA requirement, but the project's Ravenscar profile restrictions initially prevented the use of the testing tool, AdaTEST 95 from QA Systems.

QA Systems developed a fully-customized version of AdaTEST 95 to overcome the technical restrictions. The tool identified that 8% of the code was unreachable by tests and helped AdaCore refactor it. This resulted in a more robust product that was successfully delivered to the ESA, with QA Systems providing exceptional support throughout the process.

AdaCore

Jose Ruiz

Senior Software Engineer