Overview

GNATtest is a unit test-harness generator designed to automate the essential, but tedious and error-prone, processes for developing and managing the large number of test cases needed for verifying large software systems. It simplifies the effort required to implement test procedures that meet the objectives of certification standards such as DO-178B and DO-178C. GNATtest supports all versions of Ada and all target configurations, and it is based on and complements the AUnit technology.

Features

• Automated Test-Harness Generation: GNATtest automatically creates and maintains the harnessing code as well as the unit test skeletons for each subprogram to be tested, taking Ada semantics into account.
• Certification Support: Provides test and verification evidence that satisfies certification requirements for DO-178B and DO-178C.
• Object-Oriented Program Support: Handles object-oriented programs and can help verify local subtype consistency as required by DO-178C’s supplement on Object-Oriented Technology and Related Techniques (DO-332).
• Contract-Based Programming: Takes advantage of Ada 2012's contract-based programming features, including preconditions, postconditions, and invariants.
• Integration with Modern Development Approaches: Fits in smoothly with modern development approaches such as agile methods.
• Wide Application Domain: Valuable for all kinds of software, whether host-based or embedded, across the entire spectrum of application domains.

Benefits

• Reliability: Ensures high reliability for critical projects with robust testing and analysis tools.
• Efficiency: Automates essential but tedious processes, improving development efficiency.
• Certification Ready: Simplifies development and verification for certification in safety-critical industries.
• Comprehensive Support: Offers expert consulting and support services for seamless project execution.
• Flexibility: Supports a wide range of platforms and configurations, making it adaptable to various project requirements.