Polyspace Bug Finder

通过静态分析识别软件缺陷

Polyspace Bug Finder 是一款静态代码分析工具,用于分析代码组件或整个嵌入式软件项目。Polyspace Bug Finder 使用快速静态代码分析技术(包括误报率低的形式化方法),在 C 或 C++ 源代码中查明数值、数据流、编程和其他缺陷。

您可以使用该软件快速查找缺陷,并进行分类和修复。Polyspace Bug Finder可以在编写、修改或生成代码后即刻检查代码缺陷和编码规则。在早期开发过程中,您可以使用该软件反复调试代码并进行修复。Polyspace Bug Finder 支持命令行调用,可以通过独立的用户界面使用,也可以与 Eclipse IDE 配合使用,还可以将其集成到构建环境中,实现自动化应用。Polyspace Bug Finder 支持软件开发过程中的各种关键步骤,包括:

  • 检测缺陷
  • 实施编码标准
  • 生成代码复杂度指标
  • 对识别的缺陷进行分类和修复

使用 Polyspace Bug Finder,可以设置项目来进行静态代码分析:

  • 通过嵌入式目标和编译器创建和设置工程
  • 查找源代码缺陷
  • 检查代码是否符合 MISRA-C:2004、MISRA AC AGC、MISRA-C++:2008、JSF++(联合歼击机飞行器 C++)或自定义的命名约定
  • 生成报告或可视化静态代码分析和代码合规结果
  • 查看缺陷原因,确定如何对发现的缺陷进行分类和修复
  • 从代码缺陷回溯至 Simulink 模块或 IBM Rational Rhapsody 模型
  • 将静态分析结果上传到网络控制面板以监测软件质量趋势
Identify defects and check compliance to MISRA or JSF++.
在 Polyspace 中配置项目来识别缺陷并检查是否符合 MISRA 或 JSF++ 标准。

Polyspace Bug Finder 与 Polyspace Code Prover 搭配使用时,可以证实源代码不存在某些运行时错误。这两款产品一起提供了可用于早期开发阶段的端到端静态分析功能,包括缺陷查找、代码规则检查和验证。该功能确保了嵌入式软件的可靠性,符合最高水平软件质量和安全性的要求。

借助 Parallel Computing Toolbox™MATLAB Distributed Computing Server™,可以将静态分析任务提交到计算机集群,加速静态代码分析。

下一页: 查找缺陷并进行分类

试用 Polyspace Bug Finder

获取试用版软件

Developing Medical Device Software with Zero Bugs

观看网上技术交流会录像