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:
- Test framework generation
- Test case generation
- Test execution
- Results diagnostics and report generation
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:
- Automated checks for all standard Ada 95 data types records and arrays
- Generic checks for instantiation with user defined types.
- Black and white box tests
- Intuitive test directives and test scripts in Ada
- Test support package automatic global data checking
- Exception verification
- Stubbing simulation of ‘separate’ subunits
- Call sequence validation
- State transition testing
- Real-time performance analysis
- Automated regression testing
- Integrated code coverage and static metric checking
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:
- Automated checking of results
- Black and white box techniques combined
- Selectable and programmable stubs
- Call sequence validation
- User observation tests
- State transition tests
- Multi-threaded test execution
- Real-time performance analysis
- Automated regression testing
- Integrated code coverage and static metric checking
Simple to use for the highest regulatory standards, and fully integrated into tests, the deep analysis easily pin-points gaps in code coverage.
Industry leaders use AdaTEST 95 to lower testing costs with a proven reliable too.
Over 100 metrics on Ada source code providing:
- Objective code review
- Test effort estimation
- Checks integrated in tests
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.
Why buy from QA Systems
- A reliable testing vendor for 25 years
- Hundreds of customers across all safety and business critical sectors
- We listen to our customers to guide product enhancements
- Specialists in high reliability Static and Dynamic testing
- Experienced direct technical support teams
- Tool training and on-site consultancy
Our Customers
Whether you’re evaluating tools or have technical questions, please contact us.