Request a Demo
With a flexible test platform and seamless integration, SuperGuard™ gives developers complete control over their library qualification process — so they can build software that meets the highest safety requirements.
A detailed breakdown of the ISO C and C++ library specifications into requirements and tests.
High structural code coverage and MC/DC for library implementations out of the box.
Powerful and configurable test driver that seamlessly integrates with any compiler development environment and target processor.
Extensive reporting tools that provide full requirements traceability for compliance documentation.
Qualification of the C and C++ standard libraries, supporting multiple versions and implementations.
Designed to meet the most up-to-date functional safety standard requirements for critical applications.
SuperGuard provides a detailed breakdown of the ISO C and C++ library specifications into the requirements that must be met by an implementation of the library. These requirements are linked to test specifications that describe how a test verifies the requirements. In turn, the test specification is linked to tests in SuperGuard. In this way, a detailed path is created from the specification to the tests that is easy to comprehend and verify, so that it can be used to create confidence in the compliance of the C and C++ library implementations with their specifications.
The SuperGuard Library Safety Qualification Suite is a requirements-based test suite for the C and C++ standard libraries with full traceability between the requirements derived from the ISO C and C++ language definitions and the individual library tests. It is designed to support the qualification of implementations of the C and C++ standard libraries for safety-critical applications, both for third-party (COTS) and for self-developed or maintained library implementations.
SuperGuard is built to achieve high structural code coverage of the target library implementation. In addition to requirements traceability, this provides a second path to demonstrate the completeness of the test suite.
The suite comes with a software tool that reports the requirements that are met, and which are not met, by C and C++ library implementations as verified by a run of the test suite for a specific use case or configuration.
SuperGuard can be used to support the qualification of C and C++ Standard Library implementations for safety-critical applications, both for unmodified third-party (COTS) library implementations and self-developed or self-maintained library implementations. SuperGuard’s role in the V-Model for software development is shown in the image below.
SuperGuard includes many more unique features that are not found in other qualification suites:
Using SuperGuard provides numerous benefits for organizations developing safety-critical applications:
Trusted by leading organizations in safety-critical industries
SuperTest is the test and validation suite for C and C++ compilers and libraries that has tracked the (ISO) language specifications for more than 40 years. It is a complete validation environment with:
A huge collection of hand-written test A large body of generated tests A configurable test driver to easily set up and run validations A report generator that provides comprehensive overviews of validation results in multiple formats, including HTML and JUnit XML, and will immediately identify regressions of the latest compiler and library version compared to a designated reference
Read More
Contact us today to learn how our solutions can help you achieve compliance with absolute confidence.
Request a demo Contact Us
Home / Products / SuperGuard