Solid Sands
65c0e93357de13001e1fc048 Solid Sands Superguard Library Safety Qualificati

Library Safety Qualification Suite Adds C++ Headers

Feb. 5, 2024
Solid Sands expanded its SuperGuard Library Safety Qualification Suite with a collection of 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 2 | Editor-at-Large

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

Sponsored Recommendations

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!