Polyspace Access

 

Polyspace Access

Erkennen Sie Codierfehler, überprüfen Sie die Ergebnisse statischer Analysen und überwachen Sie Softwarequalitätsmetriken

Visual Studio-Benutzeroberfläche bei der Verwendung von Polyspace.

Identifizieren Sie Bugs in Ihrer IDE

Mithilfe des Polyspace as You Code-Plugins in einer IDE wie Visual Studio®, Visual Studio Code oder Eclipse finden Sie Bugs bereits beim Schreiben oder Ändern des Codes. Verwenden Sie APIs für die Integration in andere IDEs oder Editoren.

Die Polyspace Access-Benutzeroberfläche für die Konfiguration von Prüfkomponenten

Einhaltung von Programmierstandards und Sicherheitsregeln

Durchsetzen von Programmierregeln für Embedded Software wie MISRA C und MISRA C++, CERT C und CERT C++, AUTOSAR C++14, JSF++ und benutzerdefinierte Benennungskonventionen während des Programmierens.

Ergebnisfenster, in dem ein ungültiger Operator im Code hervorgehoben ist.

Überprüfung und Vorsortieren statistischer Analyseergebnisse

Überprüfen Sie Polyspace-Ergebnisse mit Quellcode in Ihrem Webbrowser. Verwenden Sie Navigationstools für die Überprüfung und Vorsortierung der Ergebnisse. Tauschen Sie Ergebnisse und Kommentare im Rahmen der Zusammenarbeit mit Teammitgliedern aus.

Dashboard mit Softwarequalitätsmetriken eines Projekts

Überwachung der Softwarequalität eines Projekts

Organisieren Sie Ihre statischen Codeanalyseprojekte, um Entwicklungsteams und Workflows zu unterstützen. Nutzen Sie die Informationen im Projekt-Dashboard zur Überwachung der Softwarequalität, des Projektstatus, der Fehlerzahl und der Codemetriken.

Integration in Ihre Softwarefabrik

Integrieren Sie Polyspace Access in Ihre Softwareentwicklungsinfrastruktur, um die Ergebnisse der statischen Code-Analyse in Ihre kontinuierlichen Entwicklungs-Pipelines einzubinden und die Ergebnisse der Code-Verifikation mit Ihrem Bug-Tracking-Tool und Application Lifecycle Management (ALM) zu verknüpfen. Der Webserver von Polyspace Access lässt sich nahe an Ihrer Toolchain-Implementierung vor Ort oder in der Cloud bereitstellen.

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.