Polyspace使用说明

测试步骤

1. 打开软件Polyspace
2. 选择文件->新建工程
3. 修改工程名称、版本、作者
4. 选择保存路径
5. 勾选使用模板（无模板可跳过步骤5、6），选择下一步
6. 添加自定义模板，下一步，然后再下一步
7. 浏览源文件夹，勾选以递归方式添加，点击添加源文件夹，点击下一步
8. 浏览include文件夹（汉化可能叫包含文件夹），勾选以递归方式添加，点击添加include文件夹，点击完成
9. 点击运行Bug Finder
10. 输出摘要、仪表板、结果详细信息、结果列表分别显示了测试结果。

输出摘要里的分析覆盖的代码，文件、函数应为100%，结果列表应显示Polyspace Bug Finder未在您的代码中发现任何缺陷或编码违规。

常见问题：

1. 配置：运行前需要指定语言、编译器、处理器、宏。其中目标和编译器里选择源代码语言，编译器，处理器（处理器如果没有可以自定义）。宏在目标和编译器的子控件——宏里添加（一般大部分宏定义通过添加include文件路径可以识别，如果添加了include还编译不通过，可尝试手动添加宏）。
2. Include文件夹（工程包含文件夹）如果代码使用相对路径添加头文件，那么Include文件夹的路径只需要添加到父目录，不需要进入到.h所在的文件夹（这样可能反而找不到.h）。