Polyspace Bug Finder

依据代码分析结果回溯至 Simulink 模型

您可以使用 Polyspace Bug Finder 分析生成的代码或混合代码(后者包含生成的代码和手写代码)。生成代码的代码缺陷会回溯至 Simulink 模型。您可以识别模型的可靠部分,并更正导致代码错误的部分。您还可以识别生成代码与手写代码接口的潜在问题。例如,将手写 S 函数代码与生成的代码混合,可能因接口信号范围不当而产生运行时错误。

Polyspace Bug Finder 还支持根据结果回溯至 dSPACE TargetLink 模块和 IBM Rational Rhapsody 模型。

Tracing MISRA violations to the Simulink model.
MISRA 违规回溯至 Simulink 模型。
下一页: 创建认证工件

试用 Polyspace Bug Finder

获取试用版软件

Comprehensive Static Analysis Using Polyspace Products

观看网上技术交流会录像