工具的目的是得到关于PolySpace结果的检查报告。它从PolySpace-Doc / RTE_View提取信息。txt文件,位于每个PolySpace结果。
和生成两个文件格式(CSV, XML)添加源代码行和扩展为每个检查源代码。
它适用于一个或几个PolySpace结果。
建议仔细阅读相关文档的子文件夹“医生”。
引用作为
大卫Jaffry (2023)。生成检查报告(//www.tatmou.com/matlabcentral/fileexchange/21943-generate-checks-report), MATLAB中央文件交换。检索。
MATLAB版本兼容性
创建R2008b
兼容任何释放