Polyspace Test

 

Polyspace Test

Entwicklung, Verwaltung und Durchführung von Tests für C und C++ Code in Embedded Systems

Haben Sie noch Fragen? Kontaktieren Sie den Vertrieb.

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.

Polyspace-Dashboard mit einer Zusammenfassung statischer Codeanalyseergebnisse, Teststatus und Code-Abdeckungsmetriken.
Bildschirm mit der Hinzufügung eines Testparameters mithilfe des grafischen Editors.

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.

Dokumentation

Tabelle mit Codeabdeckungsergebnissen für erreichbaren bzw. nicht erreichbaren Code neben dem Quellcode.

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.

Dokumentation

Dialogfeld zur Verknüpfung eines Tests mit einer Softwareanforderung.

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.

Dokumentation

Polyspace-Dashboard mit einer Zusammenfassung der Testausführung und ausführlichen Ergebnissen.

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.

Dokumentation

Dialogfeld mit Optionen zur Generierung von Tests zu Abdeckung oder Randwerten.

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.

Dokumentation

Farbige Formen, gekennzeichnet mit ISO 26262, DO-178, EC 61508, IEC 62304, ISO 25119, EN 50128 und EN 50657.

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.

Dokumentation

Zyklisches Ablaufdiagramm für DevOps mit Entwicklungsaktivitäten (planen, entwerfen, erstellen, testen), die mit operativen Aktivitäten (bereitstellen, betreiben, überwachen) mittels kontinuierlicher Integration und Bereitstellung verknüpft sind.

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®.

Dokumentation

Menüs zur Ausführung dynamischer Tests sowie statischer Code-Analysen.

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.

Dokumentation

Benutzeroberfläche mit Analyseergebnissen von Polyspace Code Prover, mit denen eine fehlende Abdeckung begründet wird.

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.

Dokumentation

Produktressourcen:

Dokumentation Beispiele Videos Anforderungen Versionshinweise

Interessiert an Polyspace Test?

Testversion anfordern Preisangebot anfordern

Haben Sie Fragen?

Wenden Sie sich an das technische Team für Polyspace Test.