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.
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
Polyspace Test FAQs
Polyspace Test provides tools for developing, managing, and executing unit and integration tests and analyzing structural coverage for C and C++ code in embedded systems.
Polyspace Test supports C and C++ code in embedded systems.
You can create tests using the Polyspace xUnit API or interactively using a graphical test authoring editor, and create stubs and mocks to isolate components under test.
Yes, Polyspace Test lets you execute tests, collect code coverage metrics, and profile memory and execution on both host computers and target hardware.
Polyspace Test provides industry standard code coverage metrics including decision, condition, and modified condition/decision coverage (MC/DC).
Yes, Polyspace Test can automatically generate tests to augment manually created test cases, achieve desired code coverage, test boundary values, and extend requirements-based test cases.
Yes, you can link C and C++ tests to requirements authored in external tools such as IBM DOORS, IBM DOORS Next, Microsoft Word, or Microsoft Excel for traceability.
Yes, Polyspace Test has been certified by TÜV SÜD for use with IEC 61508 and ISO 26262 standards, and provides reports and artifacts for DO-178C processes through certification kits.
Yes, Polyspace Test works with popular continuous integration tools including Jenkins and Bamboo to support modern DevOps workflows and automated processes. Polyspace Test also includes a complete Python API that helps developers integrate with existing CI/CD infrastructure.
Polyspace Test includes a common user interface that enables you to configure, run, and review results from Polyspace Bug Finder and Polyspace Code Prover, and use static analysis results to justify missing code coverage, generate tests, and instrument for dynamic run-time error and memory checking.
