软件定位
ParasoftC/C++test是Parasoft公司推出的一款针对C和C++语言的综合软件测试工具，主要用于嵌入式系统、安全关键（Safety-Critical）和安全关键（Security-Critical）软件的开发与验证。
主要功能：静态代码分析（StaticAnalysis）：自动检测代码缺陷、潜在Bug、安全漏洞，并强制执行编码规范（如MISRA、CERT、AUTOSAR等）。
单元测试（UnitTesting）：内置完整的单元测试框架，支持主机和目标机（Target）测试；同时提供C/C++testCT版本，可无缝增强GoogleTest、CppUnit等开源框架，并获得TÜVSÜD认证。
代码覆盖率（CodeCoverage）：提供全面的覆盖率分析（语句、分支、MC/DC等），满足DO-178C、ISO26262、IEC61508等功能安全标准的严苛要求。动态分析与运行时监控：检测内存泄漏、缓冲区溢出等运行时问题。AI增强：最新版本集成AgenticAI和AI文档助手，帮助加速开发和问题解答。
持续集成/交付（CI/CD）：完美集成主流IDE（Eclipse、VisualStudio、VSCode等）和DevOps流水线，支持命令行模式。适用场景：汽车（AUTOSAR、ISO26262）航空航天（DO-178C）医疗、铁路、工业控制（IEC61508等）任何需要高代码质量和合规性的嵌入式/系统级C/C++项目
核心功能
提高复杂的嵌入式c和c++软件的质量实现合规性、管理风险和降低成本对于实时嵌入式安全和安全关键型应用程序开发至关重要。使用ParasoftC/C++test进行静态分析和单元测试，可以帮助团队快速开发和交付高质量的软件。
ParasoftC/C++test是一个统一的测试解决方案，可以帮助您提前识别缺陷，并减少符合MISRA、CERT和CWE等标准的整体负担。C/C++test通过自动化执行一组关键的软件测试需求，帮助团队降低风险、降低成本、提高生产力和实现遵从合规性目标。
功能安全和合规性ParasoftC/C++test提供了符合行业标准所需的一切。已认证软件ParasoftC/C++test参照IEC61508、IEC62304ISO26262和EN50128标准通过了TÜV的功能安全认证，帮助开发团队达到期望的安全完整性级别(SIL/ASIL)。
合规包为了简化工具验证过程，对于DO-178B/C、DO330和ED-12B/C，以及其他安全性标准，C++test合规包是可以考虑的。这些合规包是可以根据您的特定环境和使用需求定制的，以确保您拥有验证所需的所有文档。
将测试执行报告保存到持续测试平台(CTP)数据库中，以便您可以轻松回溯并查看包含完整错误消息的通过/失败历史记录。
更加详细的C++test文档有助于进行合规性审核安全的静态分析ParasoftC/C++test中的静态分析准确地揭示了业界最广泛的缺陷、漏洞和不合规问题帮助您快速找到和修复代码缺陷与完整的路径分析，以及准确的违规检测支持预防性(模式)和检测(基于流的)静态分析技术，以及一套全面的代码结构度量标准跨团队和项目全面了解合规性:AUTOSARC++14、MISRAC2012MISRAC++2008、CERTC/C++、CWE、HIC++等。
支持使用专用的RuleWizard创建自定义规则。集中化报告和合规性审核，包括针对编码标准的专门法规遵从性报告和流程管理。易于部署:易于配置和自动化，非侵入性，并且可跨多个团队进行扩展。单元和集成测试功能强大的基于IDE的图形化环境，用于创建和管理测试用例。支持通过UI界面驱动的编辑器和直接在源代码中编辑。
支持全面的代码覆盖率指标：函数覆盖率、代码行覆盖率、语句覆盖率、代码块路径覆盖率、分支覆盖率、判定覆盖率、MC/DC、调用覆盖率、对象/汇编覆盖率。支持集成已有的测试用例，从开源测试框架中捕获覆盖率和报告结果，例如CppUnit和CppUTest。自动桩函数框架，用于轻松隔离测试中的代码。
使用ParasoftDTP进行集中报告，以合并手动和自动化测试的覆盖率，提供每个测试的覆盖率和随着每日构建的趋势结果报告。支持各种广泛的开发环境对应的目标环境（目标板）测试，如ARM、IAR、GreenHills,、Tasking,WindRiver等。
专注安全(SAFETY&SECURITY)的静态分析通过完整的路径分析来准确检测定位违规，帮助快速发现并修复代码缺陷。支持预防性（模式匹配）和检测性（基于流的）静态分析技术，以及代码结构的综合度量指标分析。跨团队和项目的全面标准遵从性。支持广泛的行业关键标准。
包括：AUTOSARC++14,MISRAC2012,MISRAC++2008,CERTC/C++,CWE,HIC++等等。支持使用专用规则创建向导的自定义规则创建集中的报告和合规性审计，包括专门的合规性报告和编码标准的流程管理。易于部署：易于配置和自动化，非侵入性的，并可跨多个团队进行扩展。
ParasoftC/C++test支持标准合规性ParasoftC/C++test检查代码是否符合各种功能安全、安全性和编码标准。提供自动生成标准合规性所需的文档。运行时错误检测C/C++test支持嵌入式C语言应用程序的运行时错误检测，帮助您识别安全漏洞和严重的运行时缺陷。
覆盖率分析除了单元测试和集成测试C/C++test还允许您捕获在单元测试框架之外执行的测试的类似覆盖指标，例如手动测试。需求的可追溯性能够将测试、源代码和代码覆盖率与需求关联，报告仪表板提供了功能安全标准要求的需求实施状态和可追溯性的详细细节。
应用与价值
1、尽早发现缺陷—节省成本通过更早地发现和修改缺陷来节省时间和成本，以防止出现更为复杂和更为昂贵的问题。
2、自动符合行业标准符合您的行业标准，并使用测试自动化自动生成验证报告。
3、不只是测试-要更智能地测试提高您的工作效率，利用我们AI和机器学习来减轻团队的负担，并确保优先解决严重的设计问题。
