覆盖率90%+，新一代软件质量护卫｜泛联新安iUnit智能单元测试平台

技术文档

当前，软件行业在数字化转型与AI技术驱动下保持高速增长，而智能单元测试工具作为保障软件质量、提升研发效率的核心环节，其应用和发展正呈现出前所未有的活力与深度。

而覆盖率则在单元测试中扮演着至关重要的角色，是一个非常有价值的诊断工具和衡量指标。它帮助我们评估测试的全面性，指引我们查漏补缺，从而提升代码质量和研发效率。其重要性主要体现在以下几个方面：

衡量测试的广度与完整性

覆盖率是评估单元测试是否全面覆盖代码的关键指标。它通过量化的方式反映测试用例覆盖代码的哪些部分（如语句、分支、路径等），帮助开发者发现未被测试的代码区域。

提升代码质量与稳定性

高覆盖率的单元测试能够更早地发现潜在缺陷，减少代码中隐藏的逻辑错误，也降低了后期维护的成本。

支持自动化与持续集成

覆盖率是持续集成（CI）流程中的核心指标之一，通过工具生成覆盖率报告，开发者可以实时了解代码质量变化。

适应AI与自动化开发趋势

在AI编程时代，覆盖率的重要性进一步凸显。完善的测试覆盖率能让AI工具自动验证代码变更的正确性；高覆盖率的代码库可减少对人工测试的依赖，提高开发效率。

泛联新安iUnit智能单元测试平台自2019年正式发布，秉持“以极致效率与可靠质量，加速每一行代码交付”的理念，以超90%的高覆盖率为航空、航天、兵器、船舶、工业、信息技术等多领域提供精准、高效、智能的测试解决方案，赢得广泛认可。

技术筑基：双轮驱动，成就90%+高覆盖率

iUnit 专注于 C/C++ 语言的单元测试，持续引领行业覆盖率标杆（90%+），源于技术与产品的双重深耕：

强大的符号执行引擎

符号指针：采用可重定位指针符号化算法，精准支持指针比较、绝对地址抽象等复杂场景（如指针迭代器、嵌入式绝对地址操作或比较）。

浮点约束求解：攻克浮点运算的约束构建和求解难题，有效覆盖金融计算、科学计算等场景。

高MC/DC覆盖率优先：结合编译与静态分析，结构化路径信息，智能搜索满足高 MC/DC覆盖率的路径，优化路径爆炸问题，提升实用性。

函数自动打桩：基于指针符号化技术，动态处理指针类型参数/返回值，自动生成桩数据。

高可靠源代码插桩技术

低膨胀率：采用bitmap 的hash方式保存覆盖率数据，降低插桩膨胀率。

灵活适配：采用栈和数据区动态可调整的覆盖信息收集接口，根据工程、目标环境特性调整插桩方案，充分利用目标设备的存储空间达到覆盖率收集的目的。

AI驱动覆盖率再突破

目标导向输入生成：结合控制流/数据流分析，构建路径约束，利用程序属性驱动 LLM 迭代求解，生成精准触发目标代码的测试输入。再融合符号执行技术，生成更高覆盖率的测试套件。

广泛环境兼容：持续扩展C/C++的多样性开发环境和运行目标的适配工作，全面支持GNU、Clang、VS、ARM、ARM Clang、CCS、Keil、IAR、QNX等主流开发环境和目标设备。

灵活用例编辑：提供表格用例、代码用例、混合编辑等多种测试用例编辑方式，满足不同用户习惯。

覆盖率是单元测试的“质量仪表盘”，它帮助开发者从广度上验证代码的健壮性，同时为持续改进提供数据支持。然而，覆盖率只是手段而非目标——真正的核心在于通过测试发现并修复问题，确保代码在功能、性能和安全性上满足需求。结合合理的覆盖率目标与高效的测试策略，才能在AI时代构建出高质量、可维护的软件系统。

泛联新安iUnit智能单元测试平台，以深厚技术积累为基石，积极拥抱AI创新，不仅持续刷新覆盖率标杆，更实现了从自动化到智能化的跨越，为高安全、高可靠性领域提供强大质量保障，并成功拓展至实际硬件测试环境，是软件研发全流程质量守护的可靠伙伴。