Solid Sands will showcase the capabilities of SuperGuard, the world’s first specialist requirements-based test suite for the C standard library, during the Automotive Testing Expo Europe event in Stuttgart from 21-23 June at booth #8625.
The company’s CTO, Marcel Beemster, will also be giving a presentation entitled ‘SuperGuard: a solution for using C standard libraries in safety-critical applications’, on Tuesday 21 June at 2pm. During this session, he will discuss the principles and practice of C standard library qualification, with particular reference to the ISO26262 automotive functional safety standard.
Launched last year, SuperGuard offers complete traceability from individual test results back to requirements derived from the ISO C language specification. It also offers high structural code and branch coverage out of the box. This ensures the safe use of the standard library in safety- critical applications in both the automotive and other sectors.
SuperGuard maintains the documentation required to deliver information and transparency as specified by international certification authorities. It can be used to qualify both unmodified third-party C library implementations and self-developed or self-maintained implementations.
SuperGuard was developed by Solid Sands in response to a lack of professional library qualification tools for customers developing safety-critical applications. It ideally complements Solid Sands’ acclaimed SuperTest – a complete test and validation suite for C and C++ compilers and libraries which has tracked ISO language specifications for more than three decades.
Marcel Beemster explained: “A key characteristic of C is that it has a widely recognised ISO specification, which contains all the information needed but does not provide a list of requirements. We used the ISO specification to create a list of requirements and test specifications, matching those with our existing test suite.
“Finally, we created tools to drive the test suite and report results so they are fully traceable to the requirements and specifications.
“The ISO26262 standard clearly specifies that qualification must be done for the application developer’s use-case and that this applies to both reused and open source software. SuperGuard makes this possible.”
SOURCE: Solid Sands