Polyspace错误发现者
通过静态分析识别软件缺陷
Polyspace®错误发现者™确定运行时错误,并发问题,安全漏洞和其他缺陷在C和c++嵌入式软件。使用静态分析,包括语义分析,Polyspace错误发现者分析软件控制、数据流和过程间的行为。通过突出缺陷一旦被检测到,它可以让您在开发过程的早期诊断和修复bug。
Polyspace错误发现者检查符合编码规则标准,如MISRA - C®MISRA c++, JSF + +, CERT®C, CERT c++,和自定义的命名约定。它生成报告的bug发现,编码规则违规行为,和代码质量度量,包括圈复杂度。Polyspace错误发现者可以使用Eclipse™IDE来分析代码在桌面上。
自动生成代码,Polyspace结果可以追溯到仿真软件金宝app®模型和dSPACE®TargetLink®块。
金宝app支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178)。
开始
学习基本的Polyspace错误发现者
配置和运行分析
检查代码缺陷Polyspace用户界面,命令行或其他开发环境
回顾分析结果
修复或证明缺陷、组织结果,结果参考
工具资格和认证
有资格Polyspace错误发现者做和IEC认证
故障诊断在Polyspace错误发现者
解决意外问题Polyspace错误发现者