PolySpace代码箴言
证明软件中没有运行时错误
Polyspace Code Prover™是一个良好的静态分析工具,证明了C和c++源代码中没有溢出、除零、越界数组访问和其他运行时错误。它不需要程序执行、代码检测或测试用例就能产生结果。Polyspace Code Prover使用基于形式化方法的语义分析和抽象解释来验证软件过程间、控制和数据流行为。您可以使用它来验证手写代码、生成代码或两者的组合。每个代码语句都用颜色编码,以指示它是否没有运行时错误、已证明失败、不可到达或未被证明。
PolySpace代码谚语显示变量和函数返回值的范围信息,可以证明哪些变量超过指定的范围限制。代码验证结果可用于跟踪质量指标并与您的软件质量目标检查一致性。PolySpace代码先驱可以与Eclipse™IDE一起使用,以验证桌面上的代码
金宝app通过IEC认证套件提供对行业标准的支持(对于ISO 26262和IEC 61508),并进行资格套件(DO-178和DO-254)。
开始:
创建认证伪影
完成基于行业标准的项目认证过程。
防止意外的软件行为
查找无法通过逻辑和程序结构中的任何执行路径和错误无法访问的所有代码部分。
自动化代码验证过程
使用Polyspace Code Prover Server™在带有构建自动化工具(如Jenkins和Bamboo)的服务器类机器上运行Polyspace Code Prover静态分析引擎。
用于协作审查的通知和上传结果
自动将缺陷分配给组件所有者,发送电子邮件通知,并将结果上传到PolySpace代码抄本访问,因此您可以进行分类和解决问题。
查看PolySpace Code Prover结果,因此您可以尝试和解决问题
Polyspace Code Prover Access™提供了一个web浏览器界面,用于存储在一个中央存储库中的Polyspace代码验证结果和质量度量。使用web浏览器中的导航工具来调查代码验证结果,这些结果会和代码一起显示。
项目质量和软件质量目标
仪表板显示了您可以用来监视软件质量、项目状态、缺陷数量、代码度量和软件质量目标的信息。
与已使用的错误跟踪工具集成
使用Web浏览器界面在Bug跟踪工具中创建和分配票证,如Jira。