它是如何工作的？

    Parasoft C / C ++测试使用最先进的C / C ++代码解析引擎来分析和理解被测代码，然后应用检查器来查找代码中的问题和违规。C / C ++测试工具附带了2500多条不同的规则，涵盖了一般最佳实践（Effective C ++，Modern C ++），行业标准（AUTOSAR，MISRA，JSF，CERT，CWE）和专门的bug查找器（即null）指针取消引用，除以零，内存泄漏等等。规则分组为预定义配置，允许用户快速配置分析。

    静态分析可以在IDE（Eclipse，Visual Studio）或命令行界面（用于自动化/持续集成方案）中执行。可以立即访问分析结果（在IDE中，或使用HTML / PDF / XML报告）或聚合以进行进一步的后处理，报告和分析。Parasoft的过程智能引擎与开发环境的其他组件（即源控制管理系统或需求管理系统）无缝集成，以帮助用户有效地管理开发工作。例如，用户可以仅从两个不同构建之间已更改的代码查看静态分析结果，或仅查看仅在修改的代码上实现的覆盖结果。

为了使静态分析和单元测试更易于维护，Parasoft帮助用户管理测试结果，包括确定结果的优先级，抑制不需要的发现，将结果分配给开发人员等等。自定义这些结果的视图有助于团队专注于风险最高的警告。

   Parasoft C / C ++测试的静态代码分析仪在功能安全开发过程中熠熠生辉，经TÜV南德意志集团认证，符合ISO 26262和IEC 61508，并提供多标准资格认证套件（ISO 26262，IEC 61508，DO 178B / C）具有额外的自动化功能，可帮助用户管理合规性文档的负担。