主要内容

本页翻译不是最新的。点击此处可查看最新英文版本。

审查分析结果

在 Polyspace® 桌面端用户界面或 Web 浏览器中审查 Polyspace Code Prover™ 结果

根据您运行的 Polyspace 产品,您可以在下列位置之一审查结果:

  • Polyspace 用户界面:这是在桌面端使用 Polyspace Code Prover(从用户界面、在 Simulink® 中、使用运行 polyspace-bug-finder 命令的脚本或等效的 MATLAB® 脚本)运行分析后查看结果的位置。

  • Web 浏览器:这是在服务器端使用 Polyspace Code Prover Server™ 运行分析后查看结果的位置。

类别