The SuperTest Compiler Test and Validation Suite verifies C and C++ compilers and libraries. SuperTest is used worldwide by compiler developers for quality assurance and by safety-critical software developers to qualify third-party and open-source compilers following the most up-to-date functional safety standard requirements. SuperTest offers hand-crafted and generated test files, including millions of conformance tests to address quality and functional safety. It includes many tests aimed at compiler internals such as analyses, transformations and optimizations.

SuperTest includes a powerful and flexible test platform. The configurable test driver seamlessly integrates with any compiler development environment and target processor. The test platform has extensive reporting tools to show traceability between the tests and the sections in the C and C++ language specifications. They provide evidence of the conformance of the compiler implementation and the completeness of the test suite.

The SuperGuard Library Safety Qualification Suite is a requirements-based test suite for the C and C++ standard libraries. It is used by application developers and tool suppliers to qualify third-party (COTS), open source and self-maintained library implementations for use in safety-critical applications. SuperGuard provides a detailed breakdown of the ISO C and C++ library specifications into testable requirements for the library implementation. The requirements have full traceability to test specifications and tests, as required by functional safety standards. The tests achieve high structural code coverage of the target library implementation, which demonstrates their completeness.

SuperGuard includes a powerful and flexible test platform. It comes with a software tool that reports the requirements and test results. The configurable test driver seamlessly integrates with any development environment and target processor.