SuperGuard breaks down the ISO C and C++ standard‐library specifications into detailed, testable requirements. Each requirement is linked to a test specification and one or more actual tests, forming a clear trace from design to verification. This meets stringent traceability needs in safety-critical software qualification frameworks.
It also achieves high structural coverage of library implementations, providing confidence that all branches and conditions have been exercised. The included reporting tool consolidates test coverage and requirement compliance into a clear, analyzable format.
SuperGuard fits into the V‑Model of software development, aiding qualification of both COTS and internal library implementations. Additional standout points include:
-
Easy, swift setup and configuration
-
Multi‑threaded execution for shorter validation cycles
-
Granular control of test sets and configuration
-
Support for bare‑metal targets with host adaptability
-
Extensibility with custom test‑cases and reliable vendor support
