配置并运行分析

在桌面端或服务器端设置 Polyspace® Code Prover™ 分析

详尽检查 C/C++ 代码是否存在运行时错误。根据您的产品配置，您可以在以下其中一个位置运行分析：

  • 桌面端：如果您在运行 Polyspace Code Prover，则可以在 Polyspace 用户界面中、使用脚本或者从其他 App（例如 Simulink® 或 MATLAB® Coder™）分析代码。您甚至可以将分析任务指派给服务器端（在其中使用 Polyspace Code Prover Server™ 运行分析），然后将结果下载到桌面端。

  • 服务器端：如果您在运行 Polyspace Code Prover Server，则可以使用持续集成 (CI) 工具（例如 Jenkins®）来调度自动运行。

类别