„Viele unserer Kunden, darunter auch solche aus Branchen, die sicherheitskritische Anwendungen entwickeln, haben uns auf ihren Bedarf an der Qualifizierung von Standardbibliotheken aufmerksam gemacht. Bibliotheken sind ein integraler Bestandteil von Anwendungen, doch es fehlte an professionellen Tools zur Bibliotheksqualifizierung auf dem Markt. Diese Erkenntnis veranlasste uns zur Entwicklung von SuperGuard“, erklärte Marianne Damstra, CCO von Solid Sands. „Als weltweit führendes Unternehmen im Bereich Compiler-Testing für sicherheitskritische Anwendungen und mit unserem tiefen Verständnis für Testverfahren und Anforderungen waren wir bestens aufgestellt, um SuperGuard als umfassendstes verfügbares Tool zur Bibliotheksqualifizierung zu entwickeln.“
SuperGuard gewährleistet die vollständige Rückverfolgbarkeit zwischen den Anforderungen der ISO-C-Sprachdefinition und der Testsuite. SuperGuard pflegt die notwendige Dokumentation, um die von internationalen Zertifizierungsstellen geforderten Informationen und Transparenz bereitzustellen.
„Alle C-Compiler verwenden eine Standardbibliothek. Die Funktionen dieser Bibliothek werden mit der Anwendung verknüpft und auf dem Zielsystem ausgeführt. Das bedeutet, dass Entwickler sicherheitskritischer Anwendungen nachweisen müssen, dass der Bibliothekscode genauso gründlich getestet wird wie ihr eigener Code“, so Marcel Beemster, CTO von Solid Sands. „Unser aktuelles Produkt SuperTest validiert nicht nur den Compiler, sondern enthält auch eine umfassende Testsuite zur Validierung der Bibliothek. Wir mussten Entwicklern die Dokumentation bereitstellen, die zeigt, wie diese Bibliothekstests auf den Anforderungen und Testspezifikationen basieren und den Anforderungen der funktionalen Sicherheitsstandards entsprechen.“
Die C-Sprachspezifikation definiert keine expliziten testbaren Anforderungen für jede Bibliotheksfunktion. Diese Anforderungen sind jedoch ein wesentlicher Bestandteil von Normen zur funktionalen Sicherheit wie ISO 26262. Daher müssen sie vom Testentwickler – in diesem Fall Solid Sands – aus der Sprachspezifikation abgeleitet werden. Diese Anforderungen und die Rückverfolgbarkeit der Tests zeichnen SuperGuard aus.
Die Produkte von Solid Sands entwickeln sich rasant zum „Goldstandard“ für die Qualifizierung von Compilern und Bibliotheken in sicherheitskritischen Anwendungen.
Die SuperGuard C Library Safety Qualification Suite wird im Sommer 2021 sowohl als eigenständiges Produkt als auch als Add-on für SuperTest-Nutzer verfügbar sein. Ein ähnliches Paket für die C++-Standardbibliothek befindet sich derzeit in Entwicklung.
