- Umfassende Dokumentation der C-Bibliothek-Testanforderungen, Testspezifikationen und Implementierungen bieten die Informationen, die zur Einhaltung der Standards für funktionale Sicherheit erforderlich sind.
- Vollständige Rückverfolgbarkeit und Transparenz zwischen Bibliothektests und den Anforderungen gemäß ISO-C-Sprachstandard
Solid Sands, Anbieter von Compiler-Tests und -Validierungen, stellt die SuperGuard C Library Safety Qualification Suite vor. Darin werden die Anforderungen und Testspezifikationen für die C-Bibliothektests dokumentiert, die bereits in SuperTest verfügbar sind.
„Viele unserer Kunden, auch aus den Branchen, die sicherheitskritische Anwendungen entwickeln, haben uns auf die notwendige Qualifizierung der Standardbibliotheken aufmerksam gemacht“, erklärte Marianne Damstra, CCO des Unternehmens. „Die Bibliothek wird zu einem integralen Bestandteil der Anwendungen, während am Markt überraschenderweise ein Mangel an professionellen Tools für die Bibliothek-Qualifizierung herrschte. Dies hat uns dazu bewogen, SuperGuard zu entwickeln.“ Damstra weiter: „Als führender Anbieter von Test-Compilern für den Einsatz in sicherheitskritischen Anwendungen waren wir zusammen mit unserem umfangreichen Know-how über Tests und Anforderungen in der Lage, SuperGuard als derzeit umfassendstes Tool für die Bibliothek-Qualifizierung zu entwickeln.“
SuperGuard bietet vollständige Rückverfolgbarkeit zwischen den aus der ISO-C-Sprachdefinition abgeleiteten Anforderungen und der Testsuite. SuperGuard verwaltet die Dokumentation, um die von den internationalen Zertifizierungsstellen geforderte Informationen und Transparenz bereitzustellen.
„Alle C-Compiler werden mit einer Standardbibliothek verwendet. Funktionen aus der Bibliothek werden in die Anwendung eingebunden und auf dem Target ausgeführt“, so CTO Marcel Beemster. „Daher müssen Entwickler sicherheitskritischer Anwendungen nachweisen, dass der Bibliothek-Code genauso streng getestet wird wie der Code, den sie selbst schreiben. Unser aktuelles Produkt SuperTest validiert nicht nur den Compiler, sondern führt auch umfassende Tests zur Validierung der Bibliothek durch. Wir mussten den Entwicklern die erforderliche Dokumentation zur Verfügung stellen, um zu zeigen, wie diese Bibliothektests auf den Anforderungen und Testspezifikationen basieren – und zwar auf dem Niveau, das von den Standards für funktionale Sicherheit gefordert wird.“
Die C-Sprachspezifikation definiert nicht explizit eine Reihe von Anforderungen, die für jede Bibliothekfunktion getestet werden können. Diese Anforderungen sind jedoch ein wesentlicher Bestandteil von Zulassungen für funktionale Sicherheit nach ISO 26262. Sie müssen daher vom Testentwickler, in diesem Fall von Solid Sands, aus der Sprachspezifikation erstellt werden. Diese Anforderungen und die Rückverfolgbarkeit auf die Tests zeichnen SuperGuard aus.
Die Produkte des Unternehmens entwickeln sich zum „Gold-Standard“ für die Compiler- und Bibliothek-Qualifizierung in sicherheitskritischen Anwendungen. Die SuperGuard C Library Safety Qualification Suite wird im Sommer 2021 als eigenständiges Produkt und auch als Add-On für SuperTest-Nutzer verfügbar sein. Ein ähnliches Paket für die C++-Standardbibliothek befindet sich derzeit in der Entwicklung.