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. Sie können den Code außerdem instrumentieren, um ihn auf Laufzeit- und Speicherfehler zu überprüfen.
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 (mit Polyspace Test Server) 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-Systemen.
Polyspace as You Code
Identifizieren von Verstößen gegen Codierungsstandards und Software-Schwachstellen in Ihrer IDE.
Polyspace Test Server
Ausführen von Tests und Analysieren der strukturellen Abdeckung von C/C++ Code auf Automatisierungsservern.
Polyspace Code Prover Server
Laufende und umfassende Verifikation kritischer Anweisungen in C und C++ Code in CI-Pipelines.
Polyspace Bug Finder
Prüfen Sie Programmierrichtlinien, Sicherheitsstandards und Codemetriken und suchen Sie nach Fehlern.
Polyspace Client for Ada
Umfassende Überprüfung kritischer Anweisungs-Units in Ada mithilfe formaler Methoden.
Polyspace Bug Finder Server
Ermitteln von Softwarefehlern und Durchsetzen von Programmierregeln in Ihren CI-Pipelines.
Polyspace Server for Ada
Verifizieren Sie kritische Ada-Codeanweisungen kontinuierlich und umfassend in CI-Pipelines.
Polyspace Code Prover
Erstellen umfassender Verifikationen für besonders kritische Anweisungen in C und C++ mithilfe formaler Methoden.
FAQs zu Polyspace Test
Polyspace Test bietet Tools zur Entwicklung, Verwaltung und Durchführung von Unit- und Integrationstests sowie zur Analyse der strukturellen Abdeckung für C und C++ Code in Embedded-Systemen.
Polyspace Test unterstützt C und C++ Code in Embedded-Systemen.
Sie können Tests mithilfe der Polyspace xUnit API oder interaktiv in einem grafischen Editor zur Testerstellung erstellen sowie Stubs und Mocks erstellen, um die zu testenden Komponenten zu isolieren.
Ja, mit Polyspace Test können Sie Tests ausführen, Metriken zur Codeabdeckung erfassen sowie die Speichernutzung und Ausführungszeit sowohl auf Host-Computern als auch auf der Zielhardware analysieren.
Polyspace Test bietet Metriken zur Codeabdeckung nach Industriestandard, darunter Entscheidungsabdeckung, Bedingungsabdeckung und Modified Condition/Decision Coverage (MC/DC).
Ja, Polyspace Test kann automatisch Tests generieren, um manuell erstellte Testfälle zu ergänzen, die gewünschte Codeabdeckung zu erreichen, Grenzwerte zu testen und anforderungsbasierte Testfälle zu erweitern.
Ja, Sie können C und C++ Tests mit Anforderungen verknüpfen, die in externen Tools wie IBM DOORS, IBM DOORS Next, Microsoft Word oder Microsoft Excel erstellt wurden, um die Rückverfolgbarkeit sicherzustellen.
Ja, Polyspace Test wurde vom TÜV SÜD für den Einsatz gemäß den Normen IEC 61508 und ISO 26262 zertifiziert und stellt über Zertifizierungskits Berichte und Artefakte für Prozesse gemäß DO-178C bereit.
Ja, Polyspace Test ist mit gängigen Tools für Continuous Integration wie Jenkins und Bamboo kompatibel und unterstützt damit moderne DevOps-Workflows und automatisierte Prozesse. Polyspace Test umfasst außerdem eine vollständige Python API, mit der Entwickler die Integration in bestehende CI/CD-Infrastrukturen umsetzen können.
Polyspace Test umfasst eine einheitliche Benutzeroberfläche, über die Sie Analysen mit Polyspace Bug Finder und Polyspace Code Prover konfigurieren und ausführen sowie deren Ergebnisse überprüfen können. Darüber hinaus können Sie Ergebnisse der statischen Analyse verwenden, um fehlende Codeabdeckung zu begründen, Tests zu generieren und den Code zur dynamischen Prüfung auf Laufzeit- und Speicherfehler zu instrumentieren.
