Polyspace Test bietet Werkzeuge zur Entwicklung, Verwaltung und Durchführung von Unit- und Integrationstests sowie zur Analyse der strukturellen Abdeckung für C/C++ Code in eingebetteten Systemen. Sie können Tests mit der Polyspace xUnit API oder dem grafischen Testerstellungseditor sowie Stubs oder Mocks erstellen, um Testcode zu isolieren und zu verifizieren. Mit Polyspace Test können Sie Tests auf Hostcomputern oder Embedded-Zielsystemen ausführen, die Testdurchführung automatisieren und Tests zu Nachverfolgungszwecken mit den Anforderungen verknüpfen.
Sie können eine Code-Abdeckungsanalyse durchführen, um die Testvollständigkeit mit Metriken wie Entscheidung, Bedingung und modifizierter Bedingungs-/Entscheidungsabdeckung (MC/DC) zu messen. Mit automatischer Testgenerierung erhalten Sie die gewünschte Code-Abdeckung sowie Testgrenzwerte und können anforderungsbasierte Testfälle erweitern.
Polyspace Test umfasst eine gängige Benutzeroberfläche, mit der Sie Ergebnisse der statischen Analysetools von Polyspace konfigurieren, ausführen und überprüfen können. Anhand dieser Ergebnisse lässt sich dann eine fehlende Code-Abdeckung begründen und die Robustheit der Tests verifizieren.
Unterstützung von Industriestandards wird mit dem IEC Certification Kit (für ISO 26262 und IEC 61508) und dem DO Qualification Kit (für DO-178) gewährleistet.
Entwicklung und Ausführung von Komponenten- und Integrationstests
Entwickeln und führen Sie Tests für C/C++ Code mithilfe der Polyspace Test xUnit API oder interaktiv mithilfe des grafischen Test-Authoring-Editors durch. Erstellen Sie Stubs und Mocks, um Testkomponenten zu isolieren, und integrieren Sie diese in externe Mocking-Bibliotheken wie gMock.
Messung der Code-Abdeckung und der Profilausführung
Generieren und überprüfen Sie Codeabdeckungs-Ergebnisse für branchenübliche Metriken, einschließlich Entscheidungs-, Bedingungs- und MC/DC-Metriken. Führen Sie Tests mit Codeausführungsprofilierung aus, um Code-Abschnitte zu ermitteln, in denen Verbesserungen der Arbeitsspeicher- und Laufzeitleistung erforderlich sind.
Verknüpfung von Tests mit Softwareanforderungen
Verknüpfen Sie C/C++ Tests in der Benutzeroberfläche mit Testanforderungen, die in einem externen Editor oder einem Tool wie IBM® DOORS®, IBM DOORS Next, Microsoft® Word oder Microsoft Excel® erstellt wurden.
Ausführung von Tests auf Hostcomputern und Zielhardware
Führen Sie Tests durch, erfassen Sie Codeabdeckungsmetriken und analysieren Sie Speicher- sowie Laufzeitleistung sowohl auf Host- als auch auf Zielhardware.
Generierung von Tests zur Erfüllung von Abdeckungs- und Randwertzielen
Generieren Sie automatisch Tests, um manuell erstellte Testfälle zu ergänzen und Anforderungen an Codeabdeckung sowie Grenzwerttests zu erfüllen.
Einhaltung der Zertifizierungsstandards
Erstellen Sie Artefakte, die für den Abschluss der Zertifizierungsvorgänge für Industriestandards erforderlich sind. Polyspace Test wurde vom TÜV SÜD zur Verwendung mit den Normen IEC 61508 und ISO 26262 zertifiziert. Verwenden Sie Berichte und Artefakte für DO-178C-Vorgänge.
Automatisieren und in DevOps-Workflows integrieren
Unterstützen Sie moderne Softwareentwicklungsmethoden, indem Sie Polyspace Test in bestehende DevOps-Workflows und automatisierte Prozesse integrieren. Polyspace Test funktioniert mit beliebten Tools zur kontinuierlichen Integration, einschließlich Jenkins und Bamboo®.
Zusammenführung von statischer Analyse und dynamischem Testen
Verwalten Sie die statische Analyse (mit Polyspace Bug Finder oder Polyspace Code Prover) und das Testen (mit Polyspace Test) – einschließlich Projektkonfiguration, Ausführung und Überprüfung – in einer einzigen Benutzeroberfläche. Verwenden Sie Code-Analyse-Workflows, um problematische Tests zu identifizieren, unerreichbare Codezweige zu rechtfertigen oder komplexe Anforderungen an die Codeabdeckung zu unterstützen.
Verwendung des Sanitizer zur Generierung von Laufzeit-Fehlerprofilen
Führen Sie Tests mit aktiviertem Code-Sanitizer durch, um Laufzeitfehler zu erkennen. Zeigen Sie Ergebnisse als Testfehler oder in einem Profil-Bericht des Sanitizers an.
Produktressourcen:
Polyspace-Produktfamilie
Polyspace-Produkte machen kritischen Code sicher und geschützt, indem die Softwarequalität während des gesamten Entwicklungslebenszyklus getestet und überwacht wird.
Polyspace Access
Identifizieren von Programmierfehlern, Überprüfen der Ergebnisse statischer Analysen und Überwachen der Software-Qualitätsmetriken.
Polyspace Copilot
KI-Assistent, optimiert für Polyspace.
Polyspace Test
Entwickeln, Verwalten und Durchführen von Tests für C und C++ Code in Embedded Systems.
Polyspace as You Code
Identifizieren von Verstößen gegen Codierungsstandards und Software-Schwachstellen in Ihrer IDE.
Polyspace Bug Finder
Überprüfen von Programmierregeln, Sicherheitsstandards und Codemetriken; Fehler finden.
Polyspace Code Prover Server
Laufende und umfassende Verifikation kritischer Anweisungen in C und C++ Code in CI-Pipelines.
Polyspace Bug Finder Server
Ermitteln von Softwarefehlern und Durchsetzen von Programmierregeln in Ihren CI-Pipelines.
Polyspace Client for Ada
Umfassende Überprüfung kritischer Anweisungs-Units in Ada mithilfe formaler Methoden.
Polyspace Code Prover
Erstellen umfassender Verifikationen für besonders kritische Anweisungen in C und C++ mithilfe formaler Methoden.
Polyspace Server for Ada
Laufende und umfassende Verifikationen für kritische Ada-Anweisungen in CI-Pipelines.
