多空间码验证器
证明软件中没有运行时错误
Polyspace Code Prover™是一个可靠的静态分析工具，可以证明C和c++源代码中没有溢出、被零除、超出边界的数组访问和其他运行时错误。它在不需要程序执行、代码检测或测试用例的情况下产生结果。Polyspace Code Prover使用基于形式化方法的语义分析和抽象解释来验证软件的过程间、控制和数据流行为。您可以使用它来验证手写代码、生成的代码或两者的组合。每个代码语句都用颜色编码，以表明它是否没有运行时错误、已证实失败、不可访问或未证实。
Polyspace代码验证程序显示变量和函数返回值的范围信息，并可以证明哪些变量超出了指定的范围限制。代码验证结果可用于跟踪质量指标并检查是否符合软件质量目标。Polyspace代码验证程序可以与Eclipse一起使用™ IDE来验证桌面上的代码
万博1manbetx通过IEC认证套件（适用于ISO 26262和IEC 61508）和DO鉴定套件（适用于DO-178和DO-254）可获得对行业标准的支持。
开始：
检测运行时错误
调用层次结构。
创建认证工件
根据行业标准完成项目认证流程。
做资格鉴定工具包。
显示所有运行时条件的可能范围的工具提示。
防止非预期的软件行为
查找所有无法通过任何执行路径访问的代码段以及逻辑和程序结构中的错误。
发现死代码。
将代码验证结果跟踪到Simulink模型万博1manbetx
在Simulink中对生成的代码运行验证，并跟踪结果到源模型块。万博1manbetx
将代码验证结果跟踪到Simulink模型。万博1manbetx
自动化代码验证过程
使用Polyspace Code Prover Server™在具有Jenkins和Bamboo等构建自动化工具的服务器类机器上运行Polyspace Code Prover静态分析引擎。
自动化代码验证过程。
通知并上传结果以供协作审查
自动将缺陷分配给组件所有者，发送电子邮件通知，并将结果上载到Polyspace Code Prover Access，以便您可以分类和解决问题。
发送带有Polyspace Code验证结果的电子邮件通知。
查看Polyspace代码验证程序结果，以便您可以分类和解决问题
Polyspace Code Prover Access™提供了一个web浏览器界面，用于存储在中央存储库中的Polyspace代码验证结果和质量指标。使用web浏览器中的导航工具来调查代码验证结果，这些结果将与代码一起显示。
检测运行时错误
项目质量和软件质量目标
指示板显示了您可以用来监视软件质量、项目状态、缺陷数量、代码度量和软件质量目标的信息。
项目概述仪表板。
与您已经使用的Bug跟踪工具集成
使用web浏览器界面在错误跟踪工具（如Jira）中创建和分配票据。
创建票证。
