AdaTest 95
AdaTEST 95 has been designed around the requirements of the Ada language to produce a tool which allows developers to efficiently perform unit and integration testing. The product offers high productivity and a unique set of testing, coverage analysis and static analysis features.
Major Features
* Unit and Integration testing: on both host and target platforms
* Integrated Coverage Analysis: statement, decision, MC/DC, entry point and call-return metrics
* Full support for: Ada 95, Ada 83 and several Ada subsets
* GUI: Graphical wizard-driven test preparation
* Object Oriented: OO-aware testing
* Stubbing: to simulate and control external interfaces
* Static Analysis: code complexity and size metrics
AdaTEST 95 - Technical Brief
The Omly Ada Testing Tool you Need
IPL's AdaTEST toolset has been at the forefront of Ada code verification since its introduction in 1991. Its use has
featured in many high profile projects ranging from air-traffic control, avionics, rail transport, space, defense, nuclear energy, and even financial and digital broadcast systems. The common factor in all of these areas is the imperative to produce software which reliably, ‘does what it should do’, in a cost-effective manner.
Dynamic Testing Features
Dynamic testing actively demonstrates whether user code performs to its specification.
* Uses your compiler's IDE to build and execute tests, minimizing the product's learning curve.
Wizard driven Test Script generation including on-line help and step-by-step facilities for creating a complete test driver environment.
* White Box and Black Box testing techniques are supported.
* Intuitive Test Directives for quickly developing structured repeatable tests and generating clear unambiguous results.
* Automated Checks for all standard Ada 95 data types, and generic Checks for instantiation with user-defined types.
* Exception verification to check both the occurrence of expected exceptions and the non-occurrence of unexpected exceptions.
* Stubbing to create programmable versions of external (‘separate’) sub-units, and perform call sequence validation.
* Real-Time Performance Analysis checks execution times for specified blocks of code.
* Cross-Platform Execution of tests without modification from native host machine to embedded target.
* Automated Regression Testing for re-running tests in batch mode.
Test Support Package automatic global data checking.
[Sign Up...] |
