产品模式
用于在 Polyspace Bug Finder 和 Polyspace Code Prover 之间进行选择的选项
自 R2021b 起
模型配置窗格: Polyspace
描述
产品模式参数决定是执行 Polyspace® Bug Finder™ 分析还是 Polyspace Code Prover™ 分析。这些不同的分析具有不同的目标。Bug Finder 快速分析您的代码，以检测编码违规和各种缺陷。Code Prover 检查您的代码中的每个运算是否存在一组可能的运行时错误，并尝试证明所有执行路径都不存在错误。请参阅Polyspace Bug Finder 与 Polyspace Code Prover 之间的差别。
注意
对于代码中的每个运算，Code Prover 会考虑所有通向该运算且之前未发生过错误的执行路径。如果执行路径在运算前包含错误，那么 Code Prover 不会考虑该路径。请参阅Code Prover Analysis Following Red and Orange Checks。
您可以在“配置参数”对话框的 Polyspace 窗格中的高级参数部分中找到此参数。
设置
Code Prover（默认值） | Bug Finder
- Bug Finder
对生成的代码执行 Polyspace Bug Finder 分析。
- Code Prover
对生成的代码执行 Polyspace Code Prover 分析。
推荐设置
| 应用程序 | 设置 |
|---|---|
| 调试 | 无影响 |
| 可追溯性 | 无影响 |
| 效率 | 无影响 |
| 安全预警 | 无影响 |
编程用法
参数：VerificationMode，用于 pslinkoptions |
参数：PSVerificationMode，用于 set_param() |
值：'BugFinder' | 'CodeProver' |
默认值：'CodeProver' |
示例：opt = pslinkoptions(modelname); opt.VerificationModel = 'BugFinder';
|
版本历史记录
在 R2021b 中推出
