Polyspace Access

 

Polyspace Access

Überprüfen der Ergebnisse der statischen und dynamischen Analyse von Polyspace und Überwachen von Softwarequalitätsmetriken.

Polyspace Access ermöglicht Softwareentwicklungsteams, die Qualität ihrer C, C++ und Ada-Software während des gesamten Entwicklungszyklus zu verwalten. Es stellt ein Repository zur Verfügung, um Ergebnisse von Polyspace Bug Finder Server, Polyspace Code Prover Server, Polyspace Server for Ada und Polyspace Test zu zentralisieren. Über die Webanwendung können Sie durch Ihre Projektkomponenten und Versionen navigieren, um Qualitätstrends zu überwachen, detaillierte Ergebnisse zu erkunden und bei der Bearbeitung von Problemen zusammenzuarbeiten.

Durch die Integration mit Projektmanagement-Tools und Authentifizierungssystemen unterstützt Polyspace Access eine kontrollierte, teamorientierte Zusammenarbeit zur Sicherung der Softwarequalität. Wenn Polyspace Access mit Polyspace as You Code verbunden ist, synchronisiert Polyspace Access die Ergebnisse aus der kontinuierlichen Integration (CI) mit lokalen Änderungen, sodass Sie sich auf neue Fehler konzentrieren können.

Ein Screenshot des Polyspace Access Projekt-Dashboards, der Projektdetails, Analyseergebnisse und Navigationsoptionen zur Verwaltung von Code-Verifikationsaufgaben zeigt.

Projekt-Dashboards und Qualitätsmetriken

Überwachen Sie die Projektqualität in Ihrem Webbrowser mit projektbezogenen Dashboards, einschließlich Karten und Diagrammen für Fehler, Codierungsregeln, Laufzeitprüfungen, Testergebnissen und Codeabdeckung. Vertiefen Sie nach Projekt, Datei oder Codeanalyse und Testergebnissen und öffnen Sie Dashboards, um sich auf spezifische Qualitätstrends zu konzentrieren. Definieren Sie Qualitätsziele basierend auf Ihren Sicherheits- und Schutzanforderungen.

Ein animiertes GIF, das einen Anwender zeigt, der Codeanalyseergebnisse innerhalb von Polyspace Access überprüft, zuweist und kommentiert.

Kollaborative Überprüfung und Priorisierung von Befunden

Überprüfen Sie statische Codeanalyse, dynamische Analyse und Testergebnisse direkt in Ihrem Webbrowser mit Quellkontext. Vergeben Sie Status für Befunde (Zu erledigen, In Bearbeitung, Erledigt), weisen Sie Verantwortliche zu, fügen Sie Kommentare hinzu und filtern Sie die Ergebnisse.

Ein Screenshot, der die Ergebnisse der MISRA-Konformitätsanalyse über verschiedene Codeversionen in Polyspace Access vergleicht und bestehende, neue sowie behobene Regelverstöße hervorhebt.

Verläufe, Ausgangswerte und Vergleich von Durchläufen

Zeigen Sie Statistiken aus vorherigen Durchläufen an und vergleichen Sie die aktuellen Polyspace-Ergebnisse mit den Basiswerten, um Rückschritte und Fortschritte im Zeitverlauf zu überwachen und die Freigabebereitschaft zu verfolgen. Erkennen Sie neue Probleme schnell und quantifizieren Sie Qualitätsverbesserungen über verschiedene Builds hinweg.

Integration der Software Factory

Zentralisieren Sie die in CI-Pipelines erzeugten Ergebnisse von Polyspace Bug Finder Server, Code Prover Server, Polyspace Server for Ada und Polyspace Test, indem Sie diese in das Polyspace Access-Repository für eine webbasierte Überprüfung hochladen. Steuern Sie Ihre CI-Jobs basierend auf definierten Qualitätsgrenzwerten für Ihr Projekt.

Ein Screenshot, der die rollenbasierte Regelung in Polyspace Access veranschaulicht. Es zeigt die Berechtigungseinstellungen für verschiedene Benutzerrollen innerhalb eines Projekts an.

Skalierbarer rollenbasierter Zugriff

Sichern und verwalten Sie den Zugriff auf Analyseergebnisse für Ihren sensiblen Code durch die Integration mit unternehmensweiten Identitätsverwaltungssystemen über LDAP. Erhöhen Sie die Sicherheit mithilfe von SSO.

Ein Screenshot, der die Integration von Polyspace Access mit Grafana zeigt. Es zeigt Dashboards zur Überwachung des Serverzustands und der Systemmetriken in Echtzeit an.

Unternehmensbereitstellung

Setzen Sie Polyspace Access lokal oder in der Cloud mithilfe von VM-Vorlagen, Docker-Containern oder Kubernetes ein. Integration mit der Unternehmensauthentifizierung über Single Sign-On. Überwachen Sie die Servergesundheit durch die Integration eines Dashboards von Drittanbietern.

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 Programmierfehler, überprüfen Sie die Ergebnisse statischer Analysen und überwachen Sie Software-Qualitätsmetriken.

Polyspace Copilot

KI-Assistent, optimiert für Polyspace.

Polyspace Test

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

Polyspace as You Code

Identifizieren Sie Verstöße gegen Codierungsstandards und Software-Schwachstellen in Ihrer IDE.

Polyspace Bug Finder

Überprüfen Sie Programmierregeln, Sicherheitsstandards und Codemetriken und finden Sie Bugs.

Polyspace Code Prover Server

Verifizieren Sie laufend und umfassend kritische Anweisungen in C und C++ Code in CI-Pipelines.  

Polyspace Bug Finder Server

Ermitteln Sie Softwarefehler und setzen Sie Programmierregeln in Ihren CI-Pipelines durch.

Polyspace Client for Ada

Erstellen Sie mithilfe formaler Methoden umfassende Verifikationen für Ada-Anweisungseinheiten.

Polyspace Code Prover

Erstellen Sie mithilfe formaler Methoden umfassende Verifikationen für besonders kritische Anweisungen in C und C++.

Polyspace Server for Ada

Erstellen Sie laufende und umfassende Verifikationen für kritische Ada-Codeanweisungen in CI-Pipelines.

Interessiert an Polyspace Access?