Polyspace®错误发现者™识别C和c++嵌入式软件中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析,包括语义分析,Polyspace错误发现者分析软件控制、数据流和过程间行为。通过在检测到缺陷时立即突出显示缺陷,可以让您在开发过程的早期对缺陷进行分类和修复。
Polyspace错误发现者检查是否符合编码规则标准,如MISRA C®, misra c++, jsf ++, cert®C, CERT c++,和自定义命名约定。它生成由发现的bug、代码规则违反和代码质量度量(包括圈复杂度)组成的报告。Polyspace错误发现者可以与Eclipse™IDE一起使用来分析桌面中的代码。
对于自动生成的代码,Polyspace的结果可以追溯到Simulink万博1manbetx®模型和dSPACE®TargetLink®块。
万博1manbetx对行业标准的支持可以通过IEC认证套件(适用于ISO 26262及IEC 61508)和DO检定套件(适用于DO-178).
学习Polyspace Bug查找器的基础知识
检查Polyspace用户界面、命令行或其他开发环境中的缺陷代码
修复或证明缺陷,组织结果,结果引用
有资格Polyspace错误发现者用于DO和IEC认证
解决意外问题Polyspace错误发现者