Polyspace Test Server
Ausführen von Tests und Analysieren der strukturellen Abdeckung von C/C++ Code auf Automatisierungsservern
Haben Sie noch Fragen? Vertrieb kontaktieren.
Polyspace Test Server kann auf Automatisierungsservern ausgeführt werden. Mit dieser Lösung können Sie Unit- und Integrationstests verwalten und ausführen sowie die strukturelle Abdeckung für C/C++ Embedded Code auf Automatisierungsservern analysieren. Sie können host- oder zielbasierte Tests auf CI-Servern ausführen. Sie können eine Code-Abdeckungsanalyse durchführen, um die Testvollständigkeit mithilfe von Metriken wie Entscheidung, Bedingung und modifizierter Bedingungs-/Entscheidungsabdeckung (MC/DC) zu messen.
Die automatische Testgenerierung hilft Ihnen, die gewünschte Code-Abdeckung zu erreichen, Grenzwerte zu testen sowie den Anforderungen entsprechende Tests durch CI-gesteuerte Automatisierung zu erweitern. Anhand dieser Test- und Abdeckungsergebnisse lässt sich eine fehlende Code-Abdeckung begründen und die Robustheit der Tests verifizieren. Polyspace Test Server unterstützt das Hochladen von Test- und Analyseergebnissen zu Polyspace Access zur Überprüfung.
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.
Ausführen von Unit- und Integrationstests auf Automatisierungsservern
Führen Sie Tests für C/C++ Code mit der Polyspace Test xUnit-API mithilfe eines Polyspace Test-Projekts auf Automatisierungsservern aus.
Messung der Code-Abdeckung und der Profilausführung
Generieren Sie Codeabdeckungsergebnisse für branchenübliche Metriken, darunter Entscheidungs-, Bedingungs- und modifizierte Bedingungs-/Entscheidungsabdeckung (MC/DC). Führen Sie Tests mit Ausführungsprofilierung aus, um Code-Abschnitte zu ermitteln, die Verbesserungen hinsichtlich Speichernutzung und Laufzeitleistung erfordern.
Ausführung von Tests auf Hostcomputern und Zielhardware
Führen Sie Tests aus und erfassen Sie Metriken zur Code-Abdeckung auf automatisierten Servern sowohl auf Host- als auch auf Zielhardware.
Integration in automatisierte DevOps-Workflows
Unterstützen Sie moderne Softwareentwicklungsmethoden durch die Integration von Polyspace Test Server in bestehende DevOps-Workflows und automatisierte Prozesse. Polyspace Test Server arbeitet mit beliebten Continuous-Integration-Tools wie Jenkins und Bamboo® zusammen.
Einhaltung der Zertifizierungsstandards
Erstellen Sie Artefakte, die für den Abschluss der Zertifizierungsvorgänge für Industriestandards erforderlich sind. Polyspace Test Server 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.
Verwendung des Sanitizer zur Generierung von Laufzeit-Fehlerprofilen
Führen Sie Tests mit aktivierter Code-Sanitizer-Option auf automatisierten Servern aus, um Laufzeitfehler zu erkennen. Zeigen Sie Ergebnisse in Polyspace Access als Testfehler oder in einem Sanitizer-Profilbericht 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 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
Überprüfen von Programmierregeln, Sicherheitsstandards und Codemetriken sowie Suchen 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
Laufende und umfassende Verifikationen für kritische Ada-Code-Anweisungen in CI-Pipelines.
Polyspace Code Prover
Erstellen umfassender Verifikationen für besonders kritische Anweisungen in C und C++ mithilfe formaler Methoden.
