Parasoft C/C++test

提高复杂的嵌入式c和c++软件的质量

实现合规性、管理风险和降低成本对于实时嵌入式安全和安全关键型应用程序开发至关重要。使用Parasoft C/C++test进行静态分析和单元测试，可以帮助团队快速开发和交付高质量的软件。

Parasoft C/C++test是一个统一的测试解决方案，可以帮助您提前识别缺陷，并减少符合MISRA、CERT和CWE等标准的整体负担。

C/C++test通过自动化执行一组关键的软件测试需求，帮助团队降低风险、降低成本、提高生产力和实现遵从合规性目标。

功能安全和合规性

Parasoft C/C++test 提供了符合行业标准所需的一切。

已认证软件

Parasoft C/C++test参照IEC61508、IEC62304ISO26262和EN50128标准通过了TÜV的功能安全认证，帮助开发团队达到期望的安全完整性级别(SIL/ASIL)。

合规包

为了简化工具验证过程，对于DO-178B/C、DO330和ED-12B/C，以及其他安全性标准，C++test合规包是可以考虑的。这些合规包是可以根据您的特定环境和使用需求定制的，以确保您拥有验证所需的所有文档。

将测试执行报告保存到持续测试平台(CTP)数据库中，以便您可以轻松回溯并查看包含完整错误消息的通过/失败历史记录。更加详细的C++test文档有助于进行合规性审核

安全的静态分析

Parasoft C/C++test中的静态分析准确地揭示了业界最广泛的缺陷、漏洞和不合规问题

帮助您快速找到和修复代码缺陷与完整的路径分析，以及准确的违规检测

支持预防性(模式)和检测(基于流的)静态分析技术，以及一套全面的代码结构度量标准

跨团队和项目全面了解合规性:AUTOSAR C++14、MISRAC 2012MISRAC++2008、CERTC/C++、CWE、HIC++等。

支持使用专用的RuleWizard创建自定义规则。

集中化报告和合规性审核，包括针对编码标准的专门法规遵从性报告和流程管理。

易于部署:易于配置和自动化，非侵入性，并且可跨多个团队进行扩展。

单元和集成测试

功能强大的基于IDE的图形化环境，用于创建和管理测试用例。支持通过UI界面驱动的编辑器和直接在源代码中编辑。

支持全面的代码覆盖率指标：函数覆盖率、代码行覆盖率、语句覆盖率、代码块路径覆盖率、分支覆盖率、判定覆盖率、MC/DC、调用覆盖率、对象/汇编覆盖率。

支持集成已有的测试用例，从开源测试框架中捕获覆盖率和报告结果，例如 CppUnit 和 CppUTest。

自动桩函数框架，用于轻松隔离测试中的代码。

使用Parasoft DTP 进行集中报告，以合并手动和自动化测试的覆盖率，提供每个测试的覆盖率和随着每日构建的趋势结果报告。

支持各种广泛的开发环境对应的目标环境（目标板）测试，如ARM、IAR、Green Hills,、 Tasking, Wind River 等。

专注安全(SAFETY & SECURITY)的静态分析

通过完整的路径分析来准确检测定位违规，帮助快速发现并修复代码缺陷。

支持预防性（模式匹配）和检测性（基于流的）静态分析技术，以及代码结构的综合度量指标分析。

跨团队和项目的全面标准遵从性。支持广泛的行业关键标准。包括： AUTOSAR C++ 14, MISRA C 2012, MISRA C++ 2008, CERT C/C++, CWE, HIC++等等。

支持使用专用规则创建向导的自定义规则创建

集中的报告和合规性审计，包括专门的合规性报告和编码标准的流程管理。

易于部署：易于配置和自动化，非侵入性的，并可跨多个团队进行扩展。

Parasoft C/C++test 支持标准合规性

Parasoft C/C++test 检查代码是否符合各种功能安全、安全性和编码标准。提供自动生成标准合规性所需的文档。

运行时错误检测

C/C++test支持嵌入式C语言应用程序的运行时错误检测，帮助您识别安全漏洞和严重的运行时缺陷。

覆盖率分析

除了单元测试和集成测试C/C++test还允许您捕获在单元测试框架之外执行的测试的类似覆盖指标，例如手动测试。

需求的可追溯性

能够将测试、源代码和代码覆盖率与需求关联，报告仪表板提供了功能安全标准要求的需求实施状态和可追溯性的详细细节。