Polyspace Test bietet Tools zur Entwicklung, Verwaltung und Durchführung von Komponenten- und Integrationstests für C und C++ Code in Embedded Systems. 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.
Die 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
Mit der Polyspace Test xUnit API oder interaktiv mit einem grafischen Testerstellungseditor können Sie Tests für C und C++ Code entwickeln und ausführen. Erstellen Sie Stubs und Mocks, um Testkomponenten zu isolieren und in externe Mocking-Bibliotheken wie gMock zu integrieren.
Messung der Code-Abdeckung und der Profilausführung
Generieren und überprüfen Sie die Code-Abdeckung für Industriestandardmetriken, einschließlich Entscheidung, Bedingung und MC/DC. 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 und 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 aus, erfassen Sie Code-Abdeckungsmetriken und profilieren Sie den Arbeitsspeicher sowie die Ausführung auf Host- sowie Zielhardware.
Generierung von Tests zur Erfüllung von Abdeckungs- und Randwertzielen
Generieren Sie automatisch Tests, um manuell erstellte Testfälle anzureichern sowie unvollständige Code-Abdeckungs- und Randwerttests anzugehen.
Zertifizierungsunterstützung
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.
Automatisierung und Integration in DevOps
Unterstützen Sie moderne Softwareentwicklungsmethoden durch die Einbindung von Polyspace Test in vorhandene DevOps-Workflows und automatisierte Prozesse. Polyspace Test funktioniert mit beliebten Tools zur kontinuierlichen Integration, einschließlich Jenkins und Bamboo®.
Zentrale Verwaltung statischer Analysen und dynamischer Tests
Sie können Polyspace Bug Finder, Polyspace Code Prover und Polyspace Test über eine gängige Benutzeroberfläche konfigurieren, ausführen und die Ergebnisse anzeigen.
Verwendung statischer Analysen zur Ergänzung dynamischer Tests
Begründen Sie eine fehlende Abdeckung für Code, der laut Polyspace Code Prover nachweislich nicht erreichbar ist. Stellen Sie Zuverlässigkeit und Konsistenz von Tests sicher, indem Sie sie analysieren, um Mängel und Laufzeitfehler zu finden.
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
Erkennen Sie Codierfehler, überprüfen Sie die Ergebnisse statischer Analysen und überwachen Sie Softwarequalitätsmetriken.
Polyspace Code Prover Server
Nachweis der Abwesenheit von Laufzeitfehlern in Software.
Polyspace Bug Finder
Identifizieren Sie Softwarefehler mittels statischer Analyse.
Polyspace Test
Entwicklung, Verwaltung und Durchführung von Tests für C und C++ Code in Embedded Systems.
Polyspace Bug Finder Server
Erkennung von Softwarefehlern mithilfe statischer Analysen auf Servercomputern.
Polyspace Client for Ada
Nachweis der Abwesenheit von Laufzeitfehlern im Quellcode.
Polyspace Code Prover
Nachweis der Abwesenheit von Laufzeitfehlern in Software.
Polyspace Server for Ada
Code auf Computer-Clustern verifizieren und Metriken veröffentlichen.
