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).


Produktkategorien

Identifizieren von Softwarefehlern und Sicherheitsrisiken mittels statischer Code-Analyse

Analysieren Sie einzelne Softwarekomponenten oder komplette Projekte für Embedded Software.

Weitere Informationen

Verringern 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 Informationen

Erstellung 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 Informationen

Nachverfolgen der Ergebnisse der Codeanalyse zum Simulink-Modell

Analysieren Sie automatisch generierten oder auch gemischten Code, der sowohl generierten als auch handgeschriebenen Code enthält.

Weitere Informationen

Erstellen von Zertifizierungsdokumenten

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

Weitere Informationen

Produktressourcen

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

Kostenlose Testversion anfordern

Testen Sie Polyspace Bug Finder.

Testversion anfordern

Bereit zum Kauf?

Erwerben Sie Polyspace Bug Finder, und testen Sie die Add-Ons.

Vertrieb kontaktieren
Preise und Lizenzierung

Haben Sie Fragen?

Ram

Wenden Sie sich an Ram Cherukuri,
technischer Experte für Polyspace Bug Finder

E-Mail an Ram senden

Verwandte Lösungen

Verwenden Sie Polyspace Bug Finder, um wissenschaftliche und technische Herausforderungen zu lösen:


News und Events

Fast-Track MISRA Compliance of Generated Code