Polyspace Bug Finder

创建认证工件

您可以根据后面提到的这些业界标准,在项目认证流程中将 Polyspace Bug Finder 和 Polyspace Code Prover 与 IEC Certification Kit(适用于IEC 61508 和 ISO 26262)DO Qualification Kit(适用于 DO-178B)搭配使用。

最终生成的报告会显示代码的最终质量、高亮显示已审查的部分、生成代码指标、记录所使用的编码规则以及运行时错误状态。您可以将报告发布为 PDF、HTML、RTF 以及其他格式。

DO Qualification Kit contents.
提供认证和审核工具包

试用 Polyspace Bug Finder

获取试用版软件

Comprehensive Static Analysis Using Polyspace Products

观看网上技术交流会录像