Solid Sands veröffentlicht Update Nr. 4 der SuperTest Vermeer-Version für C++-Programmierung

Solid Sands, ein führender Anbieter von Test- und Validierungslösungen für die Programmiersprachen C und C++, hat Update Nr. 4 seiner SuperTest Vermeer-Version veröffentlicht. Diese neueste Version enthält Verbesserungen für sicherheitskritische Anwendungen, die in C++ programmiert wurden, und die Hinzufügung von 800 verfügbaren Tests. SuperTest entspricht ISO 26262 und unterstützt den Test und die Validierung von C++20-Compilern, sodass Entwickler, die SuperTest verwenden, mit den aktuellen Entwicklungen in der C++-Programmierung Schritt halten können.

Tempest2: Das neueste Automatisierungs-Repetitive-Testmuster-Tool

Das SuperTest Vermeer Release Update Nr. 4 stellt Tempest2 vor, die neueste Version des automatisierten Wiederholungstestmuster-Tools. Tempest2 nutzt den generischen Mechanismus von Solid Sands zur Einbindung von Testgeneratoren und ermöglicht so die Generierung von Tests aus kontextfreier Grammatik und einer Codevorlage. Tempest2 wurde entwickelt, um mithilfe von „Krawatten“ mehrere Literale miteinander zu verbinden und bietet Testentwicklern eine präzise Kontrolle darüber, wie Tests generiert werden.

Verbesserungen für die Testsuite zur strukturellen Abdeckung und Optimierung der Standardbibliothek

Das Update umfasst auch Verbesserungen der strukturellen Abdeckung der Standardbibliothek für C++11 und C++14, die nahezu 100 % beträgt. Darüber hinaus wurde die Optimierungstestsuite so optimiert, dass sie besser zu den Sprachspezifikationen passt und so ihren Anwendungsbereich erweitert.

Marcel Beemster, CTO bei Solid Sands, über die neueste Version

Marcel Beemster, CTO bei Solid Sands, zeigte sich zuversichtlich, dass Anwender in der Automobil- und anderen sicherheitskritischen Branchen dieses Update begrüßen werden, da es einen großen Fortschritt für C++ darstellt. Beemster betonte die Bedeutung der Verbesserungen der Strukturabdeckung der Standardbibliothek und der Optimierungstestsuite und erklärte, dass auch Benutzer, die möglicherweise selbst keine Vorlagen für Tempest2 schreiben, von den bereits damit erstellten Tests profitieren werden.

Über feste Sande

Solid Sands ist ein in den Niederlanden ansässiges Unternehmen, das Test- und Validierungslösungen für die Programmiersprachen C und C++ anbietet. Das Flaggschiffprodukt des Unternehmens, SuperTest, ist eine Test- und Validierungssuite, die ISO 26262 entspricht und den Test und die Validierung von C++20-Compilern unterstützt.

Weitere Informationen zu Solid Sands und seinen Produkten finden Sie unter: solidsands.com

Schlüsselwörter: Solid Sands, SuperTest Vermeer Release, C++-Programmierung, Tempest2, Automatisierungstool für repetitive Testmuster, Standardbibliotheksstrukturabdeckung, Optimierungstestsuite