Automated Unit & Integration Testing for Ada
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 30 years
Hundreds of customers across all safety and business critical sectors
We listen to our customers to guide product enhancements
Specialists in high reliability automated functional safety
Experienced direct technical support teams
Tool training and on-site consultancy