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:
„Polyspace-Produkte können ein Höchstmaß an Software-Zuverlässigkeit gewährleisten, das von keinem anderen Tool in der Branche erreicht wird.“
Mitsuhiko Kikuchi, Nissan
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 (한국어)