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.
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.
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.
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.
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.
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.
Produktressourcen:
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.