“Based on the experience of SuperGuard being used in library qualification projects as well as feedback from users, the update incorporates many extra features,” according to the company.
These include 200 additional tests to improve code coverage, extension of test files and support for the C11 and C18 standards “such that SuperGuard now has the ability to handle the full range of C standard library versions”, it claimed.
Its report generator is now also able to create reports for the free-standing sub-set of the C standard library.
The tool is intended to offer developers of safety-critical applications a way to qualify libraries, and provides traceability from individual test results back to requirements derived from the ISO C language specification, said Solid Sands. It can be used to qualify unmodified third-party C library implementations as well as self-developed or self-maintained implementations.
Requirements based?
It provides a 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 is easy to comprehend and verify,” said the company.
Based in Amsterdam and founded in 2014, Solid Sands styles itself as a one-stop shop for C and C++ compiler and library testing, validation and safety services.
