Library Safety Qualification Suite Adds C++ Headers
Solid Sands added a collection of C++ headers to its SuperGuard Library Safety Qualification Suite, the company's requirements-based test suite for C and C++ standard libraries. Features include full traceability between requirements derived from the ISO C and C++ language definition and individual library tests.
SuperGuard processes 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 for how a given test needs to verify the requirements, and the specification is linked to tests in SuperGuard.
The solution enables a detailed path to be created from the specification to the tests that's easy to comprehend and verify, creating confidence in the compliance of the C and C++ library implementations with their specifications. SuperGuard is built to achieve high structural code coverage of the target library implementation, helping to provide a second path to demonstrate the completeness of the test suite.
The suite has a software tool to report the requirements that are and aren't met by C and C++ library implementations, as verified by a run of the test suite for a specific use case or configuration. Available immediately, these C++ headers can now be accessed rapidly to extend their current version of SuperGuard. Targeting users of LLVM and GCC open-source C++ library implementations, the added SuperGuard C++ headers simplify the certification process for users of these libraries.
According to Marianne Damstra, CCO at Solid Sands, “C++ libraries need to be qualified in the same way as the C standard library and Solid Sands customers have been keen for C++ headers to be added to the SuperGuard suite since its original launch in 2021. We are proud to be the first technology provider to offer a product that supports C++ library qualification with a robust requirements-based test suite.”
To ease access the new headers and maximize use of the SuperGuard Library Safety Qualification Suite, Solid Sands offers SuperGuard C++ Core, consisting of often-demanded headers. Users can order any additional headers they may require, ensuring flexibility of choice for those who use part of the C++ library.
Related links:
About the Author
Alix Paultre's Archive
Editor-at-Large
Also check out Alix's main author page for his latest articles.
An Army veteran, Alix Paultre was a signals intelligence soldier on the East/West German border in the early ‘80s, and eventually wound up helping launch and run a publication on consumer electronics for the US military stationed in Europe. Alix first began in this industry in 1998 at Electronic Products magazine, and since then has worked for a variety of publications in the embedded electronic engineering space. Alix currently lives in Wiesbaden, Germany.
Also check out hjis YouTube watch-collecting channel, Talking Timepieces.