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