Polyspace错误发现者

使用静态分析识别软件缺陷

请求一个试验
请求报价

Polyspace错误发现者™标识运行时错误,并发问题,安全漏洞和其他缺陷在C和c++嵌入式软件。使用静态分析,包括语义分析,Polyspace错误发现者 分析软件控制流、数据流、过程间的行为。通过突出缺陷一旦被检测到,它可以让您在开发过程的早期诊断和修复bug。

Polyspace错误发现者 检查符合编码规则标准,如MISRA - C®MISRA c++, CERT AUTOSAR c++ 14日®C, CERT c++,和自定义的命名约定。它生成报告的bug发现,编码规则违规行为,和代码质量度量,包括 圈复杂度

自动生成代码,Polyspace®结果可以追溯到仿真软件®模型和dSPACE®TargetLink® 块。

支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)  做资格工具包(- 178)。

Polyspace Bug仪是什么?。
视频长度是2。
Polyspace Bug仪是什么?
列出了类型的bug。

识别软件缺陷和漏洞

发现许多不同类别的缺陷如安全vulnernabilities,并发性,和数值的缺陷。为任何编译器配置分析、目标处理器和操作系统环境。

文档

编码规则检查列表。

编码标准遵从性

加强嵌入式软件编码标准等MISRA - CMISRA c++, AUTOSAR c++ 14, JSF + +,和自定义的命名约定。

文档

静态应用程序满足安全需求。

静态应用程序安全性测试

确保您的应用程序通过检测安全漏洞和问题。遵守安全编码等标准和指导方针CERTCWE C / c++, ISO 17961和MISRA - C: 2012修正案1。

文档

支持七个行业安全标准。

认证支持

创建工件需要完整的行业安全标准的认证过程,如IEC 61508、ISO 26262、ISO / SAE 21434或做- 178 c,功能安全或安全水平最高。

文档

从源模型或Stateflow跟踪代码。

仿真软件和Stateflow集成

生成的代码上运行分析和跟踪您的发现从源代码到对应的动态仿真模块模型块或Stateflow®图表。从内部发射Polyspace分析仿真软件环境。

文档

代码度量和质量趋势的图表。

监控软件质量

生成代码度量来衡量和改进质量的源代码。比较分析结果和质量阈值。

文档

桌面电脑上使用Polyspace错误发现者。

桌面互动分析

你的桌面电脑上运行分析和审查结果。确定根本原因复杂的缺陷与debugger-like视图,事件跟踪和调用图。解决结果和生成报告。

文档

产品资源:

文档 视频 产品需求 发布说明
沃尔沃汽车软件工厂增加与Polyspace发展的速度和质量

“Polyspace,我们可以保证软件的安全性和质量通过识别和修复关键运行时错误之前每个代码合并。”

约翰内斯Foufas,沃尔沃汽车
查看更多客户的故事

Polyspace Bug仪感兴趣?

请求一个试验 请求报价

有问题吗?

联系Polyspace Bug仪技术团队。

Baidu
map