Polyspace Code Prover

Hauptmerkmale

  • Nachgewiesene Abwesenheit von bestimmten Laufzeitfehlern in C- und C++-Code
  • Farbcodierung von Laufzeitfehlern direkt im Code
  • Berechnung von Bereichsinformationen für Variablen und Funktionsrückgabewerte
  • Erkennung von Variablen, die vorgegebene Bereichsgrenzen überschreiten
  • Qualitätsmetriken zur Verfolgung der Konformität mit Softwarequalitätszielen
  • Anzeige von Codemetriken und Qualitätsstatus über ein webbasiertes Dashboard
  • Begleitetes Prüfverfahren zur Klassifizierung von Ergebnissen und Laufzeitfehlerstatus
  • Grafische Anzeige variabler Lese- und Schreibvorgänge
Run-time error results displayed by Polyspace Code Prover.

Von Polyspace Code Prover angezeigte Ergebnisse für Laufzeitfehler.

Weiter: Integrierte Software in C und C++ verifizieren

Probieren Sie Polyspace Code Prover

Testsoftware anfordern

Kein Spaß an Code Reviews? Automatische Verifikation!

Webinar anzeigen