审查分析结果
在 Polyspace® 桌面端用户界面或 Web 浏览器中审查 Polyspace Code Prover™ 结果
根据您运行的 Polyspace 产品,您可以在下列位置之一审查结果:
Polyspace 用户界面:这是在桌面端使用 Polyspace Code Prover(从用户界面、在 Simulink® 中、使用运行
polyspace-bug-finder
命令的脚本或等效的 MATLAB® 脚本)运行分析后查看结果的位置。Web 浏览器:这是在服务器端使用 Polyspace Code Prover Server™ 运行分析后查看结果的位置。
类别
- 在 Polyspace 用户界面中审查 Polyspace Code Prover 结果
解释结果、添加审查信息、对结果进行过滤和分组、查看报告
- 在 Polyspace 平台用户界面中审查 Polyspace Code Prover 结果
解释结果、添加审查信息、对结果进行过滤和分组、查看报告
- 在 Web 浏览器中审查 Polyspace Code Prover 结果
在 Polyspace Access™ Web 界面中审查结果,添加注释以及创建工单,上传和打开结果,生成报告
- Polyspace Code Prover 结果的完整列表
结果的描述和示例