新西兰医疗科技公司Kitea Health在开发颅内压监测系统时，选择Parasoft C/C++test验证植入式传感器Kitea Sensor及手持读取设备Kitea Wand的安全关键固件。
面对超过35,000行C代码和1,000多个单元测试用例，Parasoft C/C++test帮助团队开展静态分析、单元测试和结构覆盖率验证。应用后，完整测试约30分钟即可执行完成，固件开发时间缩短25%。
让千余项测试真正跑起来
Kitea Health需要围绕IEC 62304 Class B相关要求开展软件验证。项目不仅要管理大量测试用例，还要处理系统调用、库依赖、覆盖率采集和验证记录等工作。
Parasoft C/C++test将这些工作集中到统一环境中。团队可以通过测试用例编辑、桩函数和参数化配置隔离被测单元，让依赖硬件、底层接口或特定运行条件的代码也能进入单元测试。
开发人员可以在编码阶段执行静态分析，及时处理代码缺陷和编码规范问题；测试人员可以持续复用测试用例，快速验证代码修改是否带来新的影响；质量与法规人员则可以获得语句、分支和MC/DC覆盖率，以及可复查的测试结果和追溯记录。
遇到测试环境问题时，Parasoft技术支持团队还通过复现相关环境协助定位和解决问题，推动自动化测试在项目中真正落地。
30分钟完成完整测试
Kitea Health项目取得了明确成果：
- 超过1,000个测试用例约30分钟完成；
- 固件开发时间缩短25%；
- 语句覆盖率达到99%至100%；
- 分支覆盖率超过90%；
- MC/DC覆盖率达到80%至90%。
30分钟的意义不只是“跑得更快”。完整测试可以在代码持续变化的过程中反复执行，团队不必等到项目后期才集中确认问题。测试结果和覆盖率数据也能随开发过程持续更新，让每一次修改都有相应的验证依据。
把每次代码变化变成可验证结果
安全关键软件的质量，不来自某一次测试通过，而来自代码发生变化后仍能快速重新验证。
Parasoft C/C++test将静态分析、单元测试、结构覆盖率和验证报告连接起来：问题可以更早暴露，修改可以重新测试，覆盖缺口可以准确定位，测试结果可以持续留存。
这套流程对不同角色意味着不同价值：
- 对开发人员，问题位置和规则信息更加清楚，修改后可以及时复验；
- 对测试人员，大规模测试用例能够持续复用，不必反复搭建割裂的验证流程；
- 对质量与合规人员，需求、测试、结果和覆盖率能够形成可追溯的证据链；
- 对项目负责人，软件质量不再只依赖阶段汇报，而是有持续更新的数据支撑。
Parasoft C/C++test获得TÜV SÜD功能安全认证，可支持汽车、医疗、工业、轨道交通等行业相关的软件验证与合规流程，并能够融入IDE、目标环境和CI/CD流程。
不止于植入式医疗设备
Kitea Health展示的是医疗场景，但其面对的大规模测试、复杂依赖、结构覆盖和证据追溯问题，同样存在于汽车控制器、工业设备、轨道交通系统和航空航天软件中。
行业不同，软件要回答的问题高度相似：关键代码是否经过测试、测试是否足够、修改后是否重新验证、结果能否被复查。
Parasoft C/C++test让这些问题不再依赖零散工具和人工汇总，而是落实到可执行、可量化、可追溯的软件验证流程中。测试不再只是项目结束前的一道检查，而是伴随研发持续运行的质量能力。
如需了解Parasoft C/C++test在安全关键软件项目中的应用，可申请产品演示，或结合现有C/C++项目开展测试与覆盖率需求评估。
这里是慧都产品智能化，欢迎沟通交流~
