Polyspace代码证明器
证明软件没有运行时错误的
Polyspace代码证明者™是声音静态分析工具,证明没有溢出的,除以零,外的界定数组访问,以及在C和C ++源码其它运行时错误。它产生的结果,而无需执行程序,代码插,或测试用例。Polyspace代码证明器使用基于形式化方法语义分析和抽象解释来验证软件的过程间,控制和数据流的行为。你可以用它来验证手写代码,生成的代码,或两者的组合。每个代码语句是颜色编码,以表明它是否是免费的运行时错误,证明是失败,无法访问,或未经证实的。
Polyspace代码证明者显示范围的变量和函数返回值的信息,并能证明哪些变量超出指定的范围的限制。代码验证结果可以用于跟踪质量指标,并与您的软件质量目标检查一致性。Polyspace代码证明者可以与Eclipse™IDE用来验证您的桌面上的代码
金宝app对行业标准的支持可通过IEC认证工具包(用于IEC 61508和ISO 26262)和DO资格的试剂盒(DO-178)。
入门:
创建认证工件
完成基于行业标准项目的认证过程。
防止意外软件行为
发现无法通过逻辑和程序结构中的任何执行路径和错误可以到达的所有代码段。
自动化代码验证处理
使用Polyspace代码证明器服务器™运行与构建自动化工具,如詹金斯和竹服务器级机器上Polyspace代码证明器的静态分析引擎。
通知并上传结果为协作评价
自动组件所有者分配的缺陷,发送电子邮件通知,并上传结果Polyspace代码证明器访问,以便您可以分流和解决问题。
回顾Polyspace代码证明器的搜索结果,因此您可以分流和解决问题
Polyspace代码证明器访问™提供了一个Web浏览器界面PolySpace代码验证结果,并存储在一个中央资料库的质量指标。在Web浏览器中使用的导航工具来研究代码验证的结果,这与代码一起显示。
工程质量和软件质量目标
仪表板显示的信息,您可以使用监控软件质量,项目状态,缺陷的数量,代码度量和软件质量目标。
与缺陷跟踪工具你已经在使用集成
使用Web浏览器界面来创建和分配门票缺陷跟踪工具,如吉拉。
共享变量模式
上运行完整的应用程序不太广泛的分析来计算全局变量共享和使用只
编译器支持金宝app
建立Polyspace分析容易对代码编译Cosmic编译
金宝app支持Si金宝appmulink
通过使用关于Simulink的编辑器工具条上下文按钮分析生成的代码金宝app
金宝app支持Si金宝appmulink
验证由C来电块和Stateflow图表称为自定义代码模型的上下文
看到发行说明对任何这些特征和对应的功能的详细说明。