Polyspace Code Prover

主要特性

  • 可证明 C 和 C++ 代码中不存在某些运行时错误
  • 直接以代码颜色来区分运行时错误
  • 计算变量和函数返回值的范围信息
  • 识别超出指定范围限制的变量
  • 计算各种质量指标用于跟踪是否符合软件质量目标
  • 提供网络控制面板显示代码指标和质量状态
  • 审核检查流程向导帮助分析结果和运行时错误状态
  • 以图形化方式显示变量的读取和写入
Run-time error results displayed by Polyspace Code Prover.
Polyspace Code Prover 显示的运行时错误结果。
下一页: 验证 C 和 C++ 嵌入式软件

试用 Polyspace Code Prover

获取试用版软件

Developing Medical Device Software with Zero Bugs

观看网上技术交流会录像