Loading…
Attending this event?
December 6-8, 2021 | San Fransisco, CA + Virtual
Learn More & Register Now

Back To Schedule
Wednesday, December 8 • 11:30am - 11:55am
A Requirements-based Test Suite for the C Standard Library: SuperGuard - Marcel Beemster, Solid Sands B.V.

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!


Solid Sands has developed a requirement-based test suite for the C standard library, with traceability from individual test results to the requirements derived from the ISO C language specification. It is called SuperGuard and can be used to qualify C library implementations for safety-critical applications.

The ISO C specification is not a list of requirements. From it we distilled the requirements on the C library. This was a huge effort, but required for library qualification. Next we created test specifications and matched them with our existing test suite. Finally, tools were created to drive the test suite and report the test results so that they are fully traceable to the requirements and the specification.

The C library is not insensitive to the application's compilation options: many functions are implemented as macros defined in header files. Functional Safety standards clearly specify that qualification must be done for the application developer’s use-case, so this is what we make possible with SuperGuard.

In this presentation we will show the principles and practice of C standard library qualification.

Speakers
avatar for Marcel Beemster

Marcel Beemster

CTO, Solid Sands B.V.
Marcel Beemster is a 25+ years professional of compiler technology with a PhD in Computer Science from the University of Amsterdam where he also worked as assistant professor. From 1999 he was senior software engineer at ACE to manage a wide range of compiler development projects... Read More →



Wednesday December 8, 2021 11:30am - 11:55am PST
Room 3004/3006
  Industry Targeted Solutions
  • Talk Type Virtual
  • Presentation Slides Attached Yes
Feedback form isn't open yet.