SuperTest Compiler Test and Validation Suite
SuperTest is a test and validation suite for C and C++ compilers and their libraries. It offers hand-crafted and generated test files including millions of conformance tests.
SuperGuard C Library Safety Qualification Suite
The SuperGuard C Library Safety Qualification Suite is a requirements-based test suite for the C standard library. It offers full traceability between the requirements derived from the ISO C language definition and the individual library tests.
Compiler Qualification Service
This service allows compiler users to achieve the tool confidence level that is required by the functional safety standard. Your compiler is systematically tested for compliance with the ISO C or C++ standard.
SuperTest Code Generator Trainer
SuperTest Code Generator Trainer (CGTrainer) consists of nearly one thousand test files distributed over 25 carefully constructed levels aimed at boot-strapping new compiler developments. Each level addresses a specific capability of the code generator.
SuperTest MISRA Compliance Suite
Our MISRA Suites are created to verify the conformance of MISRA checking software. The aim of a, so-called, MISRA checker is to check application software for its compliance with the MISRA guidelines.
SuperTest Qualification Suite
The SuperTest Qualification Suite is derived from full SuperTest and is for use in OEM software tool qualification kits and services. It can easily be added to safety critical development tools.