PolySpace代码箴言

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

PolySpace Code Prover™是一个声音静态分析工具,证明了缺乏溢出,返回缺失的数组访问以及C和C ++源代码中的其他运行时错误。它在不需要程序执行,代码仪器或测试用例的情况下产生结果。PolySpace代码先驱使用基于正式方法的语义分析和抽象解释来验证软件移植,控制和数据流动行为。您可以使用它来验证手写代码,生成的代码或两者的组合。每个代码语句都被颜色编码,以指示它是否没有运行时错误,经过验证的,无法进行故障,无法访问或未经证实。

PolySpace代码谚语显示变量和函数返回值的范围信息,可以证明哪些变量超过指定的范围限制。代码验证结果可用于跟踪质量指标并与您的软件质量目标检查一致性。PolySpace代码先驱可以与Eclipse™IDE一起使用,以验证桌面上的代码

金宝app通过IEC认证套件提供对行业标准的支持(对于ISO 26262和IEC 61508),并进行资格套件(DO-178和DO-254)。

开始:

使用正式数学验证码

达到高水平的质量和安全,没有假底片。

证明没有关键的运行时间错误

识别C / C ++和ADA代码操作永远不会遇到运行时错误,而不管运行时条件如何。

检测运行时错误

检测避开其他测试手段的错误

分析所有代码路径,免受所有可能的输入,无需执行代码。

调用层次结构。

理解和改进代码

减少在代码评价,调试和稳健性测试中花费的时间。

了解问题的根本原因,提高设计

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

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

防止意外的软件行为

查找无法通过逻辑和程序结构中的任何执行路径和错误无法访问的所有代码部分。

找到死者。

跟踪代码验证结果为Simulink模型金宝app

在Simulink中对生成的代码和跟踪查找进行验证,并在Simulink中源模型块。金宝app

跟踪代码验证结果为Simulink模型。金宝app

使用PolySpace Code Prover Server自动执行代码验证

通过在提前常见的代码变化的分析来实现连续集成。

自动化代码验证过程

使用PolySpace Code Prover Server™在服务器类计算机上运行PolySpace代码纤维静态分析引擎,其中构建自动化工具,如Jenkins和Bamboo。

自动化代码验证过程。

用于协作审查的通知和上传结果

自动将缺陷分配给组件所有者,发送电子邮件通知,并将结果上传到PolySpace代码抄本访问,因此您可以进行分类和解决问题。

使用PolySpace Code Prover结果发送电子邮件通知。

通过PolySpace代码先驱访问权限协作审查

用软件开发团队分享验证结果和质量指标。

查看PolySpace Code Prover结果,因此您可以尝试和解决问题

PolySpace Code Prover Access™为PolySpace代码验证结果和存储在中央存储库中的质量指标提供Web浏览器界面。在Web浏览器中使用导航工具来调查代码验证结果,这些结果与代码一起显示。

检测运行时错误

项目质量和软件质量目标

仪表板显示可以用于监控软件质量,项目状态,缺陷数量,代码指标和软件质量目标的信息。

项目概述仪表板。

与已使用的错误跟踪工具集成

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

创建机票。