Polyspace Code Prover

依据代码验证结果回溯至 Simulink 模型

您可以使用 Polyspace Code Prover 验证生成的代码或混合代码(后者包含生成的代码和手写代码)。自动生成的代码的代码级缺陷检测结果会回溯至 Simulink 型。您可以识别模型的可靠部分;更正导致代码错误的设计问题。您还可以识别生成的代码与手写代码之间接口的潜在问题。例如,将手写 S 函数代码与生成的代码混合,可能因接口信号范围不当而产生运行时错误。

Polyspace Code Prover 还支持将运行时结果回溯至 dSPACE® TargetLink® 模块和 IBM Rational Rhapsody 模型。

Tracing code verification results to the Simulink model.

将代码验证结果回溯至 Simulink 模型。

下一页: 实现代码验证流程自动化

试用 Polyspace Code Prover

获取试用版软件

Developing Medical Device Software with Zero Bugs

观看网上技术交流会录像