Polyspace Code Prover

 

Polyspace Code Prover

Bestätigung der Abwesenheit von Laufzeitfehlern in Software

Jetzt beginnen:

Verifikation von Code mithilfe formaler Mathematik

Erreichen Sie ein höheres Maß an Qualität und Sicherheit ohne falsch negative Ergebnisse.

Bestätigung der Abwesenheit von kritischen Laufzeitfehlern

Identifizieren Sie Operationen mit C/C++ und Ada-Code, bei denen es unabhängig von den Laufzeitbedingungen nie zu Laufzeitfehlern kommt.

Erkennen von Laufzeitfehlern.

Erkennung von anderweitig nicht nachweisbaren Fehlern

Analysieren Sie alle Code-Pfade auf mögliche Eingaben ohne Code-Ausführung.

Aufrufhierarchie.

Erstellung von Zertifizierungsdokumenten

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

DO Qualification Kit.

Verständnis und Verbesserung von Code

Verbringen Sie weniger Zeit mit Code-Prüfung, Debugging und Stabilitätstests.

Verstehen der Ursache von Problemen und Verbessern des Entwurfs

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

Tooltip, der die möglichen Bereiche für alle Laufzeitbedingungen anzeigt.

Verhinderung von unbeabsichtigtem Softwareverhalten

Ermitteln Sie alle Code-Abschnitte, die über einen Ausführungspfad nicht erreichbar sind, sowie Fehler in Logik und Programmstruktur.

Ermittlung von totem Code.

Nachverfolgung der Code-Verifikationsergebnisse zu Simulink-Modellen

Verifizieren Sie generierten Code und verfolgen Sie die Ergebnisse bis zum ursprünglichen Modellblock in Simulink zurück.

Rückverfolgung der Ergebnisse der Codeverifikation zum Simulink-Modell.

Automatisierung der Code-Verifikation mit Polyspace Code Prover Server

Sorgen Sie durch frühe und häufige Analysen des Codes für kontinuierliche Integration.

Automatisierung der Code-Verifikation

Verwenden Sie Polyspace Code Prover Server™, um die Engine für statische Analysen von Polyspace Code Prover mit Build-Automatisierungstools wie Jenkins und Bamboo auf einem Servercomputer auszuführen.

Automatisierung der Code-Verifikation.

Meldung und Upload von Ergebnissen für die gemeinsame Überprüfung

Lassen Sie Defekte automatisch den Besitzern der jeweiligen Komponente zuweisen, Benachrichtigungen per E-Mail versenden und Ergebnisse in Polyspace Code Prover Access hochladen, um Probleme vorzuselektieren und zu lösen.

Versenden von E-Mail-Benachrichtigungen mit Ergebnissen von Polyspace Code Prover.

Anwendungen auf öffentlichen Cloud-Plattformen ausführen

Sichern Sie sich mehr Verarbeitungsleistung mithilfe von spezialisierter Hardware in der Cloud. MathWorks® bietet Referenzarchitekturen für Polyspace Server-Bereitstellungen auf Cloud-Plattformen wie AWS® und Azure®.

Use Polyspace in the Cloud.

Gemeinsame Überprüfung mit Polyspace Code Prover Access

Geben Sie Verifikationsergebnisse und Qualitätsmesswerte an das Softwareentwicklerteam weiter.

Überprüfen von Analyseergebnissen, um Probleme vorzuselektieren und zu lösen

Polyspace Code Prover Access™ bietet eine Webbrowser-Benutzeroberfläche für Ergebnisse der Code-Verifikation mit Polyspace und Qualitätsmesswerten, die in einem zentralen Repository gespeichert werden. Anhand der Navigationswerkzeuge in Ihrem Browser können Sie die Ergebnisse der Code-Verifikation, die zusammen mit dem Code angezeigt werden, überprüfen.

Erkennen von Laufzeitfehlern.

Projekt- und Softwarequalitätsziele

In Dashboards werden Informationen angezeigt, die Sie zur Überwachung der Softwarequalität, des Projektstatus, der Anzahl der Defekte, der Code-Metriken und der Softwarequalitätsziele nutzen können.

Dashboard mit Projektüberblick.

Einbindung in die bereits vorhandenen Bug-Tracking-Tools

Verwenden Sie die Webbrowseroberfläche zum Erstellen und Zuweisen von Tickets mit Bug-Tracking-Tools wie etwa Jira.

Erstellung eines Tickets.


Erfahren Sie mehr über Polyspace-Produkte