3、Polyspace分析：结果管理与运行指南

Polyspace分析：结果管理与运行指南

1. 结果文件夹管理

1.1 命名约定

结果文件夹命名可采用模块名以及分析的日期和时间。例如，使用此约定的Bug Finder结果文件夹名称可能为 BF_Result_module_2_01_01_2020_22_30 。

1.2 存储配置

可以将结果与项目分开存储。在结果文件夹配置部分，可指定用于存储结果的根文件夹，并将每个项目的结果存储在根文件夹的子文件夹中：
1. 指定父结果文件夹位置的根文件夹。
2. 选择“使用项目名称添加子文件夹”选项。

1.3 创建自定义审查状态

在审查Polyspace结果时，可以分配诸如“待修复”或“已证明合理”等状态。也可以创建自己的状态进行分配，创建新状态时，选择“审查状态”选项卡。

1.4 界面自定义设置存储

软件会将通过Polyspace首选项指定的设置存储在以下文件中：
| 操作系统 | 文件路径 |
| ---- | ---- |
| Windows | $Drive\Users\$User\AppData\Roaming\MathWorks \MATLAB\$Release\Polyspace\polyspace.prf |
| Linux | /home/$User/.matlab/$Release/Polyspace/polyspace.prf |

其中， $Drive 是操