Generate Checks Report
Tool is designed to get report about checks of PolySpace Results. It extracts information from PolySpace-Doc/RTE_View.txt file, located in each PolySpace result.
and generates 2 files formats (CSV and XML) adding source code line and expanded source code for each check.
It works for one or several PolySpace results.
It is recommended to read carefully the associated documentation in the "Doc" sub-folder.
Citation pour cette source
David Jaffry (2025). Generate Checks Report (https://fr.mathworks.com/matlabcentral/fileexchange/21943-generate-checks-report), MATLAB Central File Exchange. Extrait(e) le .
Compatibilité avec les versions de MATLAB
Plateformes compatibles
Windows macOS LinuxCatégories
- Code Verification > Polyspace Code Prover >
- Verification, Validation, and Test > Polyspace Code Prover >
- Reporting and Database Access > MATLAB Report Generator >
Tags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Découvrir Live Editor
Créez des scripts avec du code, des résultats et du texte formaté dans un même document exécutable.
| Version | Publié le | Notes de version | |
|---|---|---|---|
| 1.6.0.0 | Works also with R2010b |
||
| 1.4.0.0 | Change of Products Required |
||
| 1.2.0.0 | Change Requirements |
||
| 1.0.0.0 |
