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万博1manbetx®模型和dSPACE的®TargetLink的®块。
万博1manbetx对行业标准的支持可通过IEC认证工具包(用于ISO 26262和IEC 61508)和DO资格的试剂盒(DO-178)。
入门:
发现复杂错误的根源
见与事件的痕迹,变量值,并调用树调试器般的视图代码。
跟踪代码分析到Simulink模型万博1manbetx
运行生成的代码分析和跟踪您的发现源模型块。
配置所有运行时环境
整合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 Bug的搜索访问™提供了一个Web浏览器界面Polyspace静态代码分析结果并存储在一个中央资料库的质量指标。导航工具,用于调查静态分析结果显示旁边的代码。
监控工程质量和软件质量度量
仪表板显示的信息,您可以使用监控软件质量,项目状态,缺陷的数量,和代码度量。
与缺陷跟踪工具你已经在使用集成
使用Web浏览器界面来创建和分配门票缺陷跟踪工具,如吉拉。
编译器支持万博1manbetx
建立Polyspace分析容易对代码编译Cosmic编译
万博1manbet万博1manbetxx支持Simulink
通过使用关于Simulink的编辑器工具条上下文按钮分析生成的代码万博1manbetx
万博1manbet万博1manbetxx支持Simulink
验证由C来电块和Stateflow图表称为自定义代码模型的上下文
AUTOSAR C ++ 1万博1manbetx4支持
检查lambda表达式的误用,用枚举潜在的问题和其他问题
查看发行说明对任何这些特征和对应的功能的详细说明。