AdaTEST 95 - the solution for testing Ada software

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

Contact us for further information, to request a product evaluation or to arrange a Microsoft Live Meeting web-based demonstration.

---

AdaTEST 95 - Technical Brief

The Only 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, defence, 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, minimising 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.

Coverage Analysis

Coverage analysis provides objective measurement of how effective the dynamic tests have been in executing the code. Code coverage requirements can be defined in RuleSets:

• Code Coverage Metrics
  • Entry points
  • Statements
  • Decisions (branches)
  • Conditions (Booleans)
  • MC/DC (DO-178B)
  • Exceptions
• Data Value coverage of specified variable values - ‘always true’ or ‘true at least once’.
• Check Path and Trace to ascertain detailed path execution through code.
• Coverage Checks are integrated into dynamic tests resulting in Pass/Fail/Warnings.
• Coverage Statistics can be produced both as text file and HTML highlighted views of source code.

Screenshot from AdaTEST 95 HTML Results Viewer.

Static Analysis

Static analysis generates over 100 metrics on Ada source code. Simple RuleSets can be used to enforce ‘code quality’ standards such as restrictions on the use of specific code constructs, and in defining limits on complexity metrics.

• Basic Metrics include code lines, comments, number of Ada units, and counts of most code constructs defined by the Ada Language Reference Manual (LRM).
• Complexity metrics include McCabe, Halstead, and many others.
• Metrics Checks integrated into dynamic tests resulting in Pass/Fail/Warnings or run standalone.
• Metrics Reports can be produced.

Supported Platforms

AdaTEST 95 is available for all validated Ada 95 compiler environments in native host and embedded target platforms.

Developed under the control of IPL's Quality Management System which is certified to ISO 9001:2000 (TickIT)