Nachweisen, dass die Software keine Laufzeitfehler enthält

Polyspace-Code Prover ™ ist ein zuverlässiges statisches Analyse-Tool, das die Abwesenheit von Fehlern wie Überlauf, Division durch Null, unzulässiger Array-Zugriffe und bestimmten anderen Laufzeitfehlern in C und C++-Quellcode beweist. Ergebnisse werden geliefert, ohne dass eine Ausführung des Programms, eine Codeinstrumentierung oder Testfälle erforderlich sind. Polyspace Code Prover verwendet semantische Analysen und abstrakte Interpretation auf der Basis von formalen Methoden zur Verifikation des Daten- und Kontrollflussverhaltens. Polyspace Code Prover verwendet die statische Analyse und die abstrakte Interpretation auf der Basis von formalen Methoden. Daher können Sie handgeschriebene Codes, generierte Codes oder eine Kombination aus beiden verwenden. Jeder Vorgang ist farblich codiert, um anzuzeigen, ob er frei von Laufzeitfehlern ist, erwiesenermaßen fehlschlagen wird, nicht erreichbar oder unbewiesen ist.

Polyspace Code Prover zeigt auch Bereichsinformationen für Variablen und Funktionsrückgabewerte an und kann Bedingungen nachweisen, unter denen Variablen bestimmte Bereichsgrenzen überschreiten. Ergebnisse können auf einem Dashboard veröffentlicht werden, um Qualitätsmetriken zu verfolgen und die Konformität mit Softwarequalitätszielen sicherzustellen. Polyspace Code Prover kann in Build-Systeme zur automatischen Verifikation integriert werden.

Die Unterstützung für Industriestandards ist verfügbar über IEC Certification Kit (für IEC 61508 und ISO 26262) und DO Qualification Kit (für DO-178). Die Unterstützung für die Sprache Ada ist ebenfalls verfügbar.


Produktkategorien

Integrierte Software in C und C++ verifizieren

Verifizieren Sie C- und C++-Code für Embedded Software, die höchste Qualitäts- und Sicherheitsanforderungen erfüllen muss.

Weitere Informationen

Laufzeitfehler erkennen

Nachweis, Erkennung und Behebung von Laufzeitfehlern wie Überläufen, Divisionen durch Null oder Pointern mit Überschreitung des Definitionsbereichs.

Weitere Informationen

Bereichsinformationen anzeigen

Verfolgen Sie den Steuer- und Datenfluss durch die Software und lassen Sie sich Details zu den Wertebereichen anzeigen, die Variablen und Operatoren zugewiesen wurden.

Weitere Informationen

Softwarequalitätsmetriken verfolgen

Definieren Sie ein zentrales Qualitätsmodell, mit dem Sie Laufzeitfehler, die Codekomplexität und Verletzungen von Programmier-Richtlinien verfolgen können.

Weitere Informationen

Codeverifikationsergebnisse zu Simulink-Modellen rückverfolgen

Verifizieren Sie sowohl automatisch generierten als auch gemischten Code, der sowohl generierten als auch handgeschriebenen Code enthält.

Weitere Informationen

Codeverifikationsprozess automatisieren

Automatisieren Sie die Ablaufsteuerung von Verifikations-Tasks und lassen Sie sich per E-Mail benachrichtigen.

Weitere Informationen

Zertifizierungsartefakte erstellen

Schließen Sie die Zertifizierungsverfahren für Ihre Projekte nach gültigen Indistriestandards ab.

Weitere Informationen

Produktressourcen

Erfahren Sie mehr über Polyspace Code Prover, indem Sie die folgenden Materialien studieren.

Dokumentation

In der Dokumentation lernen Sie Polyspace Code Prover-Funktionen und -Features kennen. Sie finden dort auch Versionshinweise und Beispiele.

System-Voraussetzungen

Systemanforderungen für die aktuelle Polyspace Code Prover-Version.

Technische Artikel

Lesen Sie Artikel über die technischen Vorteile bei Einsatz von Polyspace Code Prover.

Anwenderberichte

Lesen Sie, wie Polyspace Code Prover die Forschung und Entwicklung in Ihrer Branche beschleunigt.

Community und Unterstützung

Finden Sie Antworten auf Fragen und durchsuchen Sie Ressourcen zur Fehlerbehebung.

Apps

Mit den Polyspace Code Prover-Apps können Sie über eine interaktive Schnittstelle rasch auf allgemeine Aufgaben zugreifen.


Testen oder Kaufen

Kostenlose Testversion anfordern

Testen Sie Polyspace Code Prover.

Testversion anfordern

Bereit zum Kauf?

Erwerben Sie Polyspace Code Prover, und testen Sie die Add-Ons.

Vertrieb kontaktieren
Preise und Lizenzierung

Haben Sie Fragen?

Ram

Wenden Sie sich an Ram Cherukuri,
technischer Experte für Polyspace Code Prover

E-Mail an Ram senden

Polyspace Code Prover requires Polyspace Bug Finder.


Verwandte Lösungen

Verwenden Sie Polyspace Code Prover, um wissenschaftliche und technische Herausforderungen zu lösen:


News und Events

Fast-Track MISRA Compliance of Generated Code