Polyspace Bug Finder

运用静态分析找出软件 Bug

开始:

在开发的早期阶段发现 Bug

在编写或修改代码的同时进行检查,可识别数百类 Bug。

发现复杂 Bug 的根本成因

在类似调试器的视图中查看代码,包含事件追溯、变量值和调用树。

图片说明如何创建您自己的导航路径。

创建您自己的导航路径。

在使用 IDE 编写代码的同时识别 Bug

在 Visual Studio®、Visual Studio Code 或 Eclipse 等 IDE 中,借助 Polyspace as You Code,您可以在编写或修改代码的同时识别 Bug。

图片说明如何在使用 Visual Studio 编写代码的同时使用 Polyspace。

在使用 Visual Studio 编写代码的同时使用 Polyspace。

从代码分析追溯到 Simulink 模型

对生成的代码运行分析,并从分析结果追溯到源模型模块。

从代码分析追溯到 Simulink 模型。

从代码分析追溯到模型。

针对各种运行时环境进行配置

Polyspace Bug Finder 可与任何编译器、目标处理器和 RTOS 环境集成。

支持各种编译器和目标选项设置。

设置编译器和目标选项。

让代码安全可靠

按行业标准跟踪质量。

符合编码规范和认证要求

执行 MISRA C、MISRA C++、AUTOSAR C++14、JSF++ 和自定义规则。符合 ISO 26262、DO-178、IEC 61508、EN 50128、IEC 62304 和其他标准。

符合支持的功能安全标准。

支持的功能安全标准。

满足安全需求

符合 CERT C/C++、ISO 17961 和 MISRA C:2012 Amendment 1。

配置编码标准和代码指标。

配置编码规则检查。

监控项目的软件质量

对照质量阈值比较分析结果,以便软件团队更轻松地开展协作、监督项目关键进展。

筛选并比较分析结果。

筛选结果。

使用 Polyspace Bug Finder Server 自动执行代码分析

通过尽早、经常对代码变更执行分析来实现持续集成。

对集成的构建进行分析

使用构建自动化工具(如 Jenkins 和 Bamboo)在服务器级机器上运行 Polyspace Bug Finder Server™ 静态分析引擎。

图片说明如何将 Polyspace 产品集成到持续集成环境中。

将 Polyspace 产品集成到持续集成环境中。

通知并上传结果以供协同审查

将缺陷自动分配给组件所有者,发送电子邮件通知,并将结果上传到 Polyspace Bug Finder Access™,以便鉴别和解决问题。

图片说明如何发送附带 Polyspace Bug Finder 结果的电子邮件通知。

发送附带 Polyspace Bug Finder 结果的电子邮件通知。

在公有云平台上运行

通过使用云中的专用硬件获得更多计算能力。MathWorks® 提供参考架构,可在云平台(如 AWS® 和 Azure®)上配置 Polyspace Server 部署。

Use Polyspace in the Cloud

Use Polyspace in the Cloud.

使用 Polyspace Bug Finder Access 开展协同审查

与软件开发团队共享分析结果和质量指标。

审查分析结果以鉴别和解决问题

Polyspace Bug Finder Access 提供了 Web 浏览器界面,以便查看存储在中心存储库的 Polyspace 静态编码分析结果和质量指标。导航工具与代码并排显示,用于调查静态分析结果。

在结果详情窗口中审查结果。

结果详情窗口。

监控项目质量和软件质量指标

控制板中显示的信息可用来监控软件质量、项目状态、缺陷数量和代码指标。

项目概览控制板显示可监控的信息。

项目概览控制板。

与您所用的 Bug 跟踪工具集成

使用 Web 浏览器界面,在 Bug 跟踪工具(如 Jira)中创建和分配工单。

在 Bug 跟踪工具中创建和分配工单。

创建工单。