Polyspace Code Prover

Tracking Software Quality Metrics

You can define a centralized quality model to track run-time errors, code complexity, and coding rules violations. Using these metrics you can track your progress toward predefined software quality objectives as your code evolves from the first iteration to the ultimate delivery version. By measuring the rate of improvement in code quality, Polyspace Code Prover enables developers, testers, and project managers to target and deliver high quality code.

Software quality metrics displayed via web browser.
Software quality metrics displayed via a web browser.
Next: Tracing Code Verification Results to Simulink Models

Try Polyspace Code Prover

Get trial software

Mejores Prácticas para la Verificación y Validación de modelos Simulink y Código C

View webinar