Polyspace Code Prover

Softwarequalitätsmetriken verfolgen

Sie können ein zentralisiertes Qualitätsmodell definieren, um Laufzeitfehler, Codekomplexität und Verletzungen von Codierungsregeln zu verfolgen. Mithilfe dieser Metrik können Sie den Fortschritt in Bezug auf vordefinierte Softwarequalitätsziele verfolgen, während sich der Code von der ersten Iteration bis hin zur endgültigen Version entwickelt. Durch Messung der Verbesserungsrate bei der Codequalität ermöglicht es Polyspace Code Prover Entwicklern, Testern und Projektmanagern, qualitativ hochwertigen Code bereitzustellen.

Software quality metrics displayed via web browser.

Über den Web-Browser angezeigte Softwarequalitätsmetriken

Weiter: Codeverifikationsergebnisse zu Simulink-Modellen rückverfolgen

Probieren Sie Polyspace Code Prover

Testsoftware anfordern

Kein Spaß an Code Reviews? Automatische Verifikation!

Webinar anzeigen