Accelerating the pace of engineering and science

Polyspace Bug Finder

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 statischer Analyse analysiert Polyspace Bug Finder Kontrollfluss, Datenfluss und das beeinflussende Verhalten zwischen den Prozessen. Durch die Hervorhebung von Fehlern, sobald sie erkannt werden, können Sie Fehler schon früh im Entwicklungsprozess identifizieren und beheben.

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

Fast-Track MISRA Compliance of Generated Code

Weitere Informationen

Probieren Sie Polyspace Bug Finder

Testsoftware anfordern
Ram Cherukuri

Neuerungen

von Ram Cherukuri, Polyspace Bug Finder Technischer Experte