Der Polyspace Bug Finder™ erkennt Laufzeitfehler, Nebenläufigkeitsfehler, Sicherheitslücken und andere Fehler in der C und C++ Embedded Software. Mithilfe der statischen und semantischen Analyse untersucht der Polyspace Bug Finder die Kontrollstrukturen der Software, den Datenfluss sowie den Austausch und das Verhalten zwischen den Prozessen. Indem Fehler bereits hervorgehoben werden, sobald sie entdeckt werden, können Sie Bugs frühzeitig im Entwicklungsprozess vorsortieren und beheben.
Polyspace Bug Finder überprüft die Einhaltung von Programmierstandards wie MISRA C®, MISRA C++, AUTOSAR C++14, CERT® C, CERT C++ und individuellen Namenskonventionen. Dabei werden Berichte erstellt, die aus gefundenen Fehlern, Verstößen gegen Code-Regeln und Code-Qualitätsmetriken, einschließlich zyklomatischer Komplexität (auch als McCabe-Metrik bekannt), gebildet werden.
Bei automatisch generiertem Code können die Polyspace®-Ergebnisse auf Simulink®-Modelle und dSPACE® TargetLink®-Blöcke zurückverfolgt werden.
Die Unterstützung von Industriestandards wird mit dem IEC Certification Kit (für ISO 26262 und IEC 61508) und dem DO Qualification Kit (für DO-178) gewährleistet.
Erkennung von Softwarefehlern und Schwachstellen
Sie können eine Vielzahl verschiedener Fehlerkategorien wie Sicherheitsschwachstellen, Nebenläufigkeit und Zahlenfehler finden. Konfigurieren Sie dazu die Analyse für entsprechende Compiler, Zielprozessoren und RTOS-Umgebungen Ihrer Wahl.
Einhaltung von Codierungsstandards
Setzen Sie Codierungsstandards für Embedded Software wie MISRA C und MISRA C++, AUTOSAR C++14, JSF++ und benutzerdefinierte Benennungskonventionen durch.
Testen der statischen Applikationssicherheit
Schützen Sie Ihre Anwendung, indem Sie Sicherheitslücken und -probleme frühzeitig erkennen. Die Einhaltung von Sicherheits-Codierungsstandards und -richtlinien wie CERT C/C++, CWE, ISO 17961 und MISRA C:2012 Amendment 1 wird dabei gewährleistet.
Zertifizierungsunterstützung
Erstellen Sie Artefakte, die zum Abschluss des Zertifizierungsprozesses für Sicherheitsstandards der Branche, wie IEC 61508, ISO 26262, ISO/SAE 21434 oder DO-178C, benötigt werden, bis zur höchsten Stufe der funktionalen Sicherheit oder der IT-Sicherheit.
Integration von Simulink und Stateflow
Analysieren Sie generierten Code und verfolgen Sie Ihre Ergebnisse vom Quellcode zum entsprechenden Simulink-Modellblock oder Stateflow®-Diagramm. Starten Sie eine Polyspace-Analyse aus der Simulink-Umgebung.
Überwachung der Softwarequalität
Generieren Sie Code-Metriken zur Messung und Verbesserung der Qualität des Quellcodes. Vergleichen Sie die dabei die erzielten Analyse-Ergebnisse mit den jeweiligen Qualitätsschwellenwerten.
Interaktive Analysen auf Desktop-Computern
Führen Sie Ihre Analysen durch und überprüfen Sie die Ergebnisse auf Ihrem Desktop-Computer. Die Ursachen komplexer Bugs lassen sich mit Debugger-ähnlichen Ansichten, Event-Traces und Aufrufdiagrammen identifizieren. Beheben Sie gefundene Fehler und erstellen Sie entsprechende Berichte.
Produktressourcen:
“Mit Polyspace können wir die Softwaresicherheit und -qualität gewährleisten, indem wir kritische Laufzeitfehler noch vor jeder Codezusammenführung (Merge) identifizieren und beheben.”
Johannes Foufas, Volvo Cars
Interessiert an Polyspace Bug Finder?
Haben Sie Fragen?
Wenden Sie sich an das technische Team für Polyspace Bug Finder.
Nächste Schritte
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)