Solid Sands introduces the SuperGuard C Library Safety Qualification Suite
Following high demand from the market, Solid Sands has developed the SuperGuard C Library Safety Qualification Suite. It can be used to qualify both unmodified third-party C library implementations and self-developed or self-maintained implementations for safety-critical applications.
SuperGuard provides a detailed breakdown of the ISO C library specification 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 are easy to comprehend and verify, so that it can be used to create confidence in the compliance of the C library implementation with the specification. To support this process, SuperGuard comes with a software tool that provides a clear overview of the requirements which are met, and which are not met, by a C library implementation as verified by a run of the test suite for a specific use case or configuration. The details of the requirement and test specifications can be reviewed in the online specifications and requirements database.
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. Recently, Solid Sands launched the SuperGuard Amsterdam Release. The name of the Dutch city Amsterdam was chosen for this first major release, as that is where SuperGuard was born and where it will continue to grow.