AdaTEST 95 is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on host native and embedded target platforms.
All of the testing requirements for safety standards are met faster by automating:
AdaTEST 95 puts you in control of Ada package verification with wizard driven test scripting in the Ada 95 language, building and executing your tests in your compiler IDE. AdaTEST 95 provides the following for unit testing:
AdaTEST 95 allows you to test the interfaces between Ada packages and on test groups of packages which are just not viable for isolation unit testing. AdaTEST 95 provides the following for integration testing:
Mike Morton, Senior Software Engineer, Lockheed Martin
John Parrott, Software Testing Lead, GE Aviation
Dan Marshman, Astrium
AdaTEST toolset has been at the forefront of safety critical Ada code verification since its introduction in 1991. It has been successfully qualified in many high profile projects including air-traffic control, avionics, rail transport, space, defence and nuclear energy.
AdaTEST 95 has been successfully used to comply with the testing requirements of:
Guidelines for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance
Space Engineering: Software
US Military-Standard-498 Software Development and Documentation
UK Requirements for Safety Related Software in Defence Equipment
Testing techniques for Ada 95
Techniques for successful testing of Ada 95 Hierarchical libraries, Protected Objects and Controlled Types