Das Update bietet zusätzliche Funktionen und 200 neue Tests, um die Codeabdeckung zu verbessern, Testdateien zu erweitern und die C11- und C18-Standards zu unterstützen. Damit kann SuperGuard laut Anbieter nun die gesamte Bandbreite der C-Standardbibliotheks-Versionen verarbeiten. Der SuperGuard-Berichtsgenerator kann Berichte für die freistehende Teilmenge der C-Standardbibliothek erstellen.
Für sicherheitskritische Anwendungen ...
sind Tools für die Bibliotheksqualifizierung verfügbar. Die Suite gewährleistet die sichere Verwendung der C-Standardbibliothek, indem sie eine vollständige Rückverfolgbarkeit der einzelnen Testergebnisse zu den aus der ISO-C-Sprachspezifikation abgeleiteten Anforderungen gewährleistet.
Das Tool eignet sich ...
für die Qualifizierung unveränderter C-Bibliotheksimplementierungen von Drittanbietern sowie für selbstentwickelte oder selbstgewartete Implementierungen.
Mit dem Update verifiziert SuperGuard jetzt alle Versionen der C-Standardbibliotheks-Spezifikation – nicht nur eine Untergruppe, die häufig verwendet wird, oder eine Untergruppe, die auf ein eingeschränktes Embedded-Target passt.
Eine Demo kann angefordert werden.