SuperGuard
SuperGuard Library Safety Qualification Suite
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 Features:
- Requirements-based testing for the C and C++ standard library
- High structural code coverage and MC/DC
- CSV report linking requirements, test specifications and test results
- Compliant with the requirements of functional safety standards
Test Platform Features:
Multi-processing speedup
Supports bare metal targets
Requirements traceability
Windows and Linux hosts
Full control over test sets
Python configuration plugin
Reporting tools
Compliant With:
ISO 26262
IEC 61508
EN 50128 / EN 50716- IEC 62304
And many more
Requirements-Based Testing
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.
High Structural Code Coverage
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.
Reporting Tool
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 in the V-Model
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.
And More…
SuperGuard includes many more unique features that are not found in other qualification suites:
- Compliance with the requirements of functional safety standards
- Very easy and quick installation and configuration
- Parallel testing automatically splits validation runs into a preconfigured number of threads to speed up the validation
- Full control over test sets
- Easy addition of your own specific tests
- Excellent professional support
Podcast: Why library qualification is so important for safety-critical applications