Polyspace Bug的搜索

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

Polyspace Bug的搜索™识别运行时错误,并发问题,安全漏洞,并在C和C ++嵌入式软件等缺陷。使用静态分析,包括语义分析,Polyspace Bug的搜索分析软件控制,数据流和过程间行为。通过一旦检测到它们突出的缺陷,它可以让你分流和解决一些在开发过程的早期。

Polyspace Bug的搜索检查,遵守编码规则的标准,如MISRA C®,MISRA C ++,JSF ++,CERT®C,CERT®C ++和自定义命名约定。它产生由错误的报告发现,代码违规和代码质量指标,包括圈复杂度。Polyspace Bug的搜索可以与Eclipse™IDE来分析您的桌面上的代码。

自动生成的代码,Polyspace结果可追溯到的Simulink金宝app®模型和dSPACE的®TargetLink的®块。

金宝app对行业标准的支持可通过IEC认证工具包(用于ISO 26262和IEC 61508)和DO资格的试剂盒(DO-178)。

入门:

在开发早期发现缺陷

尽快找出上百个错误的类作为代码被写入或修改。

发现复杂错误的根源

见与事件的痕迹,变量值,并调用树调试器般的视图代码。

创建自己的导航路径。

跟踪代码分析到Simulink模型金宝app

运行生成的代码分析和跟踪您的发现源模型块。

跟踪代码分析模型。

配置所有运行时环境

整合Polyspace Bug的搜索与任何编译器,目标处理器和RTOS环境。

一套编译器和目标的选择。

使你的代码安全可靠

跟踪对行业标准的品质。

与编码规则和认证要求符合

执行MISRA C,MISRA C ++,AUTOSAR C ++ 14,JSF ++,和自定义规则。与ISO 26262,DO-178,IEC 61508,EN 50128,IEC 62304,和其他人遵守。

功能安全标准的规定。

满足安全要求

遵守CERT C / C ++,ISO 17961,和MISRA C:2012修改1。

配置编码规则检查。

监控项目的软件质量

对比较优质的阈值分析结果,让您的软件团队可以合作更容易和监控项目的里程碑。

筛选结果。

自动化代码分析与Polyspace Bug的搜索服务器

通过启用尽早并经常进行代码更改分析持续集成。

分析构建综合

与构建自动化工具,如詹金斯和竹运行一个服务器级的机器上Polyspace Bug的搜索服务器™静态分析引擎。

集成Polyspace产品到您的持续集成下载188bet金宝搏环境。

通知并上传结果为协作评价

自动组件所有者分配的缺陷,发送电子邮件通知,并上传结果Polyspace Bug的搜索访问,以便您可以分流和解决问题。

发送电子邮件通知与Polyspace Bug的搜索结果。

协作评价与Polyspace Bug的搜索访问

分享分析结果和质量标准与软件开发团队。

回顾性分析结果,这样你就可以分流和解决问题

Polyspace Bug的搜索访问™提供了一个Web浏览器界面Polyspace静态代码分析结果并存储在一个中央资料库的质量指标。导航工具,用于调查静态分析结果显示旁边的代码。

结果详细信息窗口。

监控工程质量和软件质量度量

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

项目概述仪表盘。

与缺陷跟踪工具你已经在使用集成

使用Web浏览器界面来创建和分配门票缺陷跟踪工具,如吉拉。

创建门票。

最新功能

编译器支持金宝app

建立Polyspace分析容易对代码编译Cosmic编译

金宝app支持Si金宝appmulink

通过使用关于Simulink的编辑器工具条上下文按钮分析生成的代码金宝app

金宝app支持Si金宝appmulink

验证由C来电块和Stateflow图表称为自定义代码模型的上下文

AUTOSAR C ++ 1金宝app4支持

检查lambda表达式的误用,用枚举潜在的问题和其他问题

查看发行说明对任何这些特征和对应的功能的详细说明。

其他Polyspace Bug的搜索资源