Omni Unittest
智能单元测试智能体

面向高可靠软件研发场景的智能单元测试 Agent

聚焦 C/C++ 单元测试的自动生成、覆盖率提升、功能验证与认证支撑

白皮书

产品概述

Omni Unittest融合 AI 生成、符号执行、静态分析、知识库增强和测试工程化能力,可自动生成测试脚本、测试用例和本地桩函数,构建「需求—代码—用例—执行结果—覆盖率—报告」的全链路闭环能力,帮助航空、航空航天、汽车电子、工业控制、轨道交通等行业客户提升测试覆盖度,构建可审计、可复用的单元测试工作。

相较传统单元测试工具,Omni Unittest不仅聚焦「代码层面覆盖率」,更关注「测试是否真正验证功能逻辑」;相较通用 Coding Agent,Omni Unittest 具备面向单元测试场景的工程化落地能力、覆盖率补齐能力、测试资产归档能力和认证支撑能力。

产品优势

  • 覆盖更深

    符号执行自动探索复杂路径、边界条件和异常分支,提升结构覆盖率,支撑高可靠行业对语句、分支、条件、MC/DC 等覆盖指标的要求。

  • 语义更准

    AI 结合代码上下文、需求文档和领域知识生成测试需求与功能断言,让测试用例不只"跑得通",还能验证真实业务逻辑。

  • 追溯完整

    自动建立需求、入口函数、测试用例、执行结果、覆盖率和报告之间的关联链路,支撑认证审计、质量复盘和持续维护。

  • 兼容开放

    支持独立使用,也可与 iUnit 平台深度集成,并可对接 C++test、TestBed、Tessy、VectorCAST 等第三方单元测试工具;同时支持客户端版本、IDE 插件版本及与主流 Coding Agent 协同,帮助客户在保留既有工具链和使用习惯的基础上,平滑引入智能单元测试能力。

  • 效率更高

    自动生成需求、用例和断言,减少人工编写、反复调试和覆盖率补充成本,提升测试资产生产效率,释放资深测试人员精力。

  • 过程可控

    AI 生成结果默认人工确认后落库,支持状态管理、任务追踪、结果审查和历史追溯,避免 AI 结果不可控进入正式测试资产。

产品功能

双引擎驱动:AI 生成与符号执行深度融合

Omni Unittest 融合大模型的语义理解能力与符号执行的路径探索能力,同时生成测试输入与功能断言,形成兼顾覆盖深度、业务语义和工程可执行性的单元测试资产。 符号执行负责探索代码路径、边界条件、复杂分支和约束条件,提升语句、分支、条件、MC/DC 等结构覆盖率;AI 负责理解需求语义、补充测试意图、生成测试需求、设计功能断言并优化测试用例。 该模式解决了传统工具“覆盖强但语义弱”、通用 AI“语义强但工程落地弱”的问题,让单元测试既能覆盖代码路径,也能验证真实功能逻辑。

AI 生成需求:从代码与文档中提炼测试意图

支持基于源代码、设计文档、需求说明、接口文档和领域知识生成标准化测试需求,自动识别被测函数的功能逻辑、输入输出约束、异常场景和边界条件。 生成结果默认进入待确认状态,用户审核确认后再正式落库,避免 AI 生成内容直接污染测试资产。通过该机制,团队可快速补齐需求缺口,建立需求驱动测试的基础。

AI 生成用例:自动生成可执行、可验证的测试资产

支持基于已确认测试需求或代码范围生成单元测试用例,自动构造输入数据、桩函数行为、预期结果和功能断言。 生成结果可自动关联入口函数、测试需求和覆盖率结果,并支持人工确认、编辑、执行和复用,帮助研发和测试人员快速完成测试用例设计,降低重复性编写成本。

AI 生成用例:自动生成可执行、可验证的测试资产

覆盖率补充:面向未覆盖代码自动补充测试

基于语句、分支、条件、MC/DC 等覆盖率结果,自动识别未覆盖代码片段、复杂判断条件和关键路径缺口,辅助生成补充需求或补充测试用例。 通过覆盖率反馈驱动测试资产持续优化,帮助客户更快达成高覆盖率目标,减少人工分析未覆盖代码、手动补充用例和反复调整数据的工作量。

覆盖率补充:面向未覆盖代码自动补充测试

知识库增强:提升 AI 生成的准确性与专业性

支持接入需求文档、详细设计、架构设计、接口说明、行业规范和项目经验资料,通过知识库检索增强 AI 对业务逻辑、接口约束和测试目标的理解。 在生成需求、用例和断言时,AI 可结合项目知识与代码上下文,减少脱离业务语境、断言不准确、场景遗漏等问题,提升测试资产的专业性、完整性和贴合度。

知识库增强:提升 AI 生成的准确性与专业性

工程化管控:生成结果可确认、可追溯、可审计

AI 生成的需求和用例默认进入待确认状态,支持人工查看、编辑、确认、删除和追溯;任务执行过程支持进度跟踪、结果查看、失败记录和历史审计。 通过“AI 生成 + 人工确认 + 结果落库”的管控机制,在提升效率的同时保障质量可控,满足企业级研发管理、质量审计和认证过程要求。

工程化管控:生成结果可确认、可追溯、可审计

应用场景

高可靠行业单元测试

面向军工、航空航天、汽车电子、轨道交通、工业控制、医疗设备等对软件质量要求严格的行业,支持高覆盖率单元测试、需求驱动测试和过程审计。

通过自动生成测试需求、测试用例和功能断言,建立需求、函数、用例、覆盖率和报告之间的追溯关系,支撑 GJB、ISO 26262、IEC 61508、DO-178C 等高可靠软件质量体系建设。

研发自测与快速回归

在研发人员日常编码、代码提交和版本迭代过程中,Omni Unittest 可识别变更影响范围,生成增量测试需求和补充用例,帮助研发人员在提交前完成更充分的自测。

结合覆盖率反馈和执行结果,可快速发现未覆盖路径、断言缺失和潜在逻辑问题,降低缺陷流入集成测试、系统测试和客户现场的风险。

存量项目测试资产补齐

针对历史项目需求缺失、用例不足、文档不完整、测试资产不可追溯等问题,Omni Unittest 可基于现有代码和资料自动生成测试需求与测试用例,补齐项目测试资产。

帮助客户将存量代码逐步转化为结构化、可维护、可复用的测试资产,降低老项目补测、认证补证和质量整改成本。

覆盖率达标与认证支撑

面向需要满足结构覆盖率要求的认证测试场景,Omni Unittest 可自动分析未覆盖代码和复杂分支,辅助补充测试用例,提升语句、分支、条件、MC/DC 等覆盖率达标效率。

结合测试报告和追溯关系,形成可审查、可验证、可复用的测试证据链,降低认证准备、测试报告整理和审计追溯工作量。

第三方单元测试工具智能增强

面向已使用 VectorCAST、C++test、TestBed、Tessy 等单元测试工具的客户,Omni Unittest 可作为 AI 智能生成能力增强层接入现有工具体系。

客户无需替换现有工具链,即可复用已有工程环境、测试资产和质量流程,在既有单元测试体系上叠加 AI 生成、知识库增强、覆盖率补强和测试资产治理能力,降低迁移成本和推广阻力。

Coding Agent 协同测试

支持与 Claude Code、Cursor 等主流 Coding Agent 协同,研发人员可在熟悉的 AI 编程环境中调用 Omni Unittest 的测试需求生成、用例生成、覆盖率补强等能力。

通过将智能单元测试能力嵌入研发工作流,减少工具切换成本,让测试活动更贴近代码开发过程,提升研发团队使用频率和落地效果。

服 务 热 线