Polyspace代码验证

Polyspace代码验证

证明软件中没有运行时错误

开始:

使用形式数学验证代码

实现高水平的质量和安全,没有假阴性。

证明没有关键运行时错误

识别C/ c++和Ada代码操作,无论运行时条件如何,它们都不会遇到运行时错误。

检测运行时错误

检测绕过其他测试方法的错误

在不执行代码的情况下分析所有代码路径和所有可能的输入。

调用层次结构。

做资格工具包。

理解并改进代码

减少代码检查、调试和健壮性测试的时间。

了解问题的根本原因并改进设计

检查通过软件的控制和数据流,并查看与变量和操作符相关的范围信息。

显示所有运行时条件的可能范围的工具提示。

防止意外的软件行为

找到所有不能通过任何执行路径到达的代码段,以及逻辑和程序结构中的错误。

发现死代码。

跟踪代码验证结果到Simulink模型万博1manbetx

在Simulink中对生成的代码运行验证,并跟踪结果到源模型块。万博1manbetx

跟踪代码验证结果到Simulink模型。万博1manbetx

自动化代码验证与Polyspace代码验证服务器

通过对代码更改进行早期和经常的分析来实现持续集成。

自动化代码验证过程

使用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浏览器界面在bug跟踪工具(如Jira)中创建和分配票据。

创建票。