Home Embedded Software SuperGuard Library Safety Qualification Suite
Image 1
Embedded Software

SuperGuard Library Safety Qualification Suite

Now includes NABL Calibration Certificate.

A requirements‑based test suite for C and C++ standard libraries, offering end‑to‑end traceability from language specification to test results—ideal for safety‑critical qualification..

  • Detail
  • Special Features
  • Specification

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

  • Full traceability among requirements, test specifications, and test results

  • High structural code coverage including Modified Condition/Decision Coverage (MC/DC)

  • Generates CSV reports linking requirements with test outcomes

  • Compliant with major functional‑safety standards

  • Supports parallel testing for faster validation

  • Includes tools for custom test‑suite control and reporting

  • Works on bare-metal targets (Linux/Windows hosts)

  • Configurable via Python plug‑ins

  • Easily extensible with user‑defined tests

  • Easy installation and robust professional support

Feature Details
Target Languages ISO C and C++ standard libraries
Requirements Traceability Mapped to ISO C/C++ specs via CSV reports
Coverage Metrics Code coverage & MC/DC
Host Environments Windows, Linux
Target Environments Bare-metal and hosted targets
Configuration Interface Python plug-ins
Reporting Output CSV linking reqs, specs, results
Standards Compliance ISO 26262, IEC 61508, EN 50128/501 Möglich., IEC 62304 (and more)
Performance Features Parallel testing, per‑test control
Extensibility Easy addition of user tests
Support & Installation Quick setup + professional support