Identifizieren von Softwarefehlern mittels statischer Analyse
Polyspace Bug Finder™ erkennt Laufzeitfehler, Nebenläufigkeitsfehler, Sicherheitslücken und andere Fehler in eingebetteter C- und C++-Software. Mittels Verwendung von statischer Analyse mit semantischen Analyse-Methoden analysiert Polyspace Bug Finder den Daten- und Kontrollfluss sowie das interprozedurale Verhalten. Durch Aufzeigen von Defekten sobald diese detektiert werden, können Fehler schon früh im Entwicklungsprozess gesichtet und behoben werden.
Polyspace Bug Finder überprüft die Einhaltung von Programmierstandards wie beispielsweise MISRA C®, MISRA C++, JSF++ und benutzerdefinierten Namenskonventionen. Es generiert Berichte, die aus den gefundenen Fehlern, Verletzungen der Programmierstandards und Codequalitätsmetriken, einschließlich zyklomatischer Komplexität bestehen. Polyspace Bug Finder kann mit Eclipse™ IDE verwendet und in Buildsysteme integriert werden.
Für automatisch generierten Code können die Polyspace®-Ergebnisse zu Simulink®-Modellen und dSPACE® TargetLink®-Blöcken zurückverfolgt werden.
Die Unterstützung von Branchenstandards ist möglich über das IEC Certification Kit (für ISO 26262 und IEC 61508) und DO Qualification Kit (für DO-178).
Polyspace Bug Finder Überblick
Produktkategorien
Identifizieren von Softwarefehlern und Sicherheitsrisiken mittels statischer Code-Analyse
Analysieren Sie einzelne Softwarekomponenten oder komplette Projekte für Embedded Software.
Weitere InformationenVerringern Sie die Anzahl der Testdurchläufe durch frühes Finden und Beheben von Fehlern
Decken Sie verschiedene Fehler wie numerische Fehler, Verletzungen von statisch und dynamisch zugewiesenem Speicher, Nebenläufigkeitsfehler und Schwachstellen auf.
Weitere InformationenÜberprüfen der Einhaltung von Coding-Standards (MISRA, JSF, Namenskonventionen)
Setzen Sie Programmier-Richtlinien durch und verbessern Sie dadurch die Lesbarkeit und Qualität Ihres Codes.
Weitere InformationenErstellung der Code-Metriken und Überwachung der Softwarequalität
Generieren Sie auf der Projekt-, Datei- und Funktionsebene Metriken, die Ihnen Auskunft über die Komplexität Ihres Codes geben.
Weitere InformationenNachverfolgen der Ergebnisse der Codeanalyse zu Simulink-Modellen
Analysieren Sie automatisch generierten oder auch gemischten Code, der sowohl generierten als auch handgeschriebenen Code enthält.
Weitere InformationenErstellen von Zertifizierungsdokumenten
Schließen Sie die Zertifizierungsverfahren für Ihre Projekte nach gültigen Indistriestandards ab.
Weitere InformationenProduktressourcen
Erfahren Sie mehr über Polyspace Bug Finder, indem Sie die folgenden Materialien studieren.
Dokumentation
In der Dokumentation lernen Sie Polyspace Bug Finder-Funktionen und -Features kennen. Sie finden dort auch Versionshinweise und Beispiele.
System-Voraussetzungen
Systemanforderungen für die aktuelle Polyspace Bug Finder-Version.
Technische Artikel
Lesen Sie Artikel über die technischen Vorteile bei Einsatz von Polyspace Bug Finder.
Anwenderberichte
Lesen Sie, wie Polyspace Bug Finder 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 Bug Finder-Apps können Sie über eine interaktive Schnittstelle rasch auf allgemeine Aufgaben zugreifen.
Testen oder Kaufen
Es gibt viele verschiedene Wege, den Einstieg in Polyspace Bug Finder zu finden. Laden Sie eine kostenlose Testversion herunter, or wählen Sie Bezahl- und Lizenzoptionen.
Bereit zum Kauf?
Erwerben Sie Polyspace Bug Finder, und testen Sie die Add-Ons.
Vertrieb kontaktierenPreise und Lizenzierung
Haben Sie Fragen?
Wenden Sie sich an Ram Cherukuri,
technischer Experte für Polyspace Bug Finder
Verwandte Lösungen
Verwenden Sie Polyspace Bug Finder, um wissenschaftliche und technische Herausforderungen zu lösen:
