Color Model from PolySpace Verification

Versión 1.0.0.1 (451 KB) por David Jaffry
The tool colors Simulink Model using PolySpace code verification.
0.0
(0)
705 Descargas
Actualizado 1 sep 2016

Ver licencia

The tool is used to color Simulink Model using PolySpace results to show directly which blocks contains or not run-time errors (like division by zero, overflow...).
There are 4 colors:
-green: free of run-time error
-red: systematic run-time error
-gray: unreachable code
-orange: unproven code (potential error)

Citar como

David Jaffry (2026). Color Model from PolySpace Verification (https://la.mathworks.com/matlabcentral/fileexchange/29799-color-model-from-polyspace-verification), MATLAB Central File Exchange. Recuperado .

Compatibilidad con la versión de MATLAB
Se creó con R2008b
Compatible con cualquier versión
Compatibilidad con las plataformas
Windows macOS Linux
Categorías
Más información sobre Polyspace Bug Finder en Help Center y MATLAB Answers.
Etiquetas Añadir etiquetas

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Versión Publicado Notas de la versión
1.0.0.1

Updated license
1.0.0.0