工具旨在获取有关Polyspace结果检查的报告。它从位于每个polyspace结果中的polyspace-doc/rte_view.txt文件中提取信息。
并生成2个文件格式(CSV和XML),为每个支票添加源代码行并扩展了源代码。
它适用于一个或几个多个空间的结果。
建议仔细阅读“ DOC”子文件夹中的相关文档。
引用为
David Jaffry(2022)。生成检查报告(//www.tianjin-qmedu.com/matlabcentral/fileexchange/21943-generate-checks-report),matlab中央文件交换。检索。
MATLAB释放兼容性
使用R2008B创建
与任何版本兼容