Automated unit & integration testing for Ada
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:
UNIT TESTING
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:
INTEGRATION 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:
EXPLORE AdaTEST 95
Compliance with testing requirements of safety standards
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:
IEC 61508
Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems
EN 50128
Railway applications – Communication, signalling and processing systems
IEC 60880
Nuclear Power
DO-178B/C
Software Considerations in Airborne Systems and Equipment Certification
DO-278A
Guidelines for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance
ECCS-E-40
Space Engineering: Software
MIL STD 498
US Military-Standard-498 Software Development and Documentation
Def Stan 00-55
UK Requirements for Safety Related Software in Defence Equipment
FEATURED CONTENT
Code coverage with AdaTEST 95
Short demo of AdaTEST 95 code coverage
Testing techniques for Ada 95
Testing techniques for Ada 95
Static analysis with AdaTEST 95
This video explains how AdaTEST 95 provides over 100 metrics for statically analysing code using rulesets.