50、利用MATLAB脚本导出和处理Polyspace分析结果

最新推荐文章于 2025-08-23 16:03:22 发布

咖啡JSON

最新推荐文章于 2025-08-23 16:03:22 发布

阅读量53

点赞数

CC 4.0 BY-SA版权

分类专栏： Polyspace代码验证实战文章标签： Polyspace MATLAB Excel报告

本文链接：https://blog.youkuaiyun.com/i1j2k/article/details/151213745

Polyspace代码验证实战专栏收录该内容

69 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

利用MATLAB脚本导出和处理Polyspace分析结果

在软件开发过程中，Polyspace分析工具能够帮助开发者检测代码中的潜在问题。而将Polyspace分析结果导出并进行进一步处理，对于代码审查和质量评估至关重要。本文将详细介绍如何使用MATLAB脚本将Polyspace分析结果导出到Excel，以及如何导出全局变量列表、可视化分析结果和自定义报告模板。

1. 将Polyspace分析结果导出到Excel

可以将Bug Finder或Code Prover分析的结果导出到Excel报告中。报告以制表符分隔的文本文件形式包含Polyspace结果，具有预定义的内容和格式。也可以使用MATLAB脚本自动化创建具有自定义内容和格式的Excel报告。

1.1 在一个工作表中报告结果摘要和详细信息

以下是一个从Polyspace结果生成Excel报告的示例脚本：

% Copy a demo result set to a temporary folder.
resPath = fullfile(polyspaceroot,'polyspace','examples','cxx', ...
    'Code_Prover_Example','Module_1','CP_Result');  
userResPath = tempname;
copyfile(resPath,userResPath);

% Read results into a table.
results = polyspace.CodeProverResults(userResPath);
resultsT