一个高质量的智能单元测试平台——iUnit

单元测试是软件测试中最早期最底层的环节，高质量单元测试可协助快速确认代码功能实现，并尽早发现软件Bug，在提高软件质量上具有最高的性价比。

绝大多数安全关键行业设立的标准规范都包含单元测试要求，如GJB5000A、ISO26262、EN50128、IEC61513、DO178等标准。

传统的单元测试工具界面与流程复杂，学习成本高，在用例设计、测试执行、报告文档编制等方面耗费大量的人力和时间成本，实际测试工作难以落地，软件质量无法保障。针对行业现状与客户的实际需求，应用学术界最新理论研究成果，经过持续设计研发并反复迭代优化，泛联新安推出了一款拥有完全自主知识产权的智能单元测试平台iUnit。

产品概述 

基于在程序分析技术方向的长期积累，采用动态符号执行与约束求解技术研发，iUnit是一个针对C和C++语言的自动化单元测试平台。

能够针对源代码自动生成高覆盖率单元测试用例，自动生成测试驱动程序并模拟执行，配合代码缺陷深度检测算法。iUnit能够大幅度提高开发和测试人员的效率，缩短软件开发周期，同时发现并协助修复软件缺陷。

针对GJB 5000A需求，iUnit还能提供一站式单元测试解决方案。

产品功能

简单易用的自动化智能单元测试平台

基于动态符号执行与约束求解技术，iUnit能够自动分析代码可执行路径并生成覆盖所有路径的测试用例、测试驱动与测试套件（TestSuite），批量执行测试用例并统计测试覆盖率。

高覆盖率单元测试用例自动生成与执行

针对不同的代码覆盖率需求，iUnit能够快速生成高覆盖率的单元测试用例并自动执行，支持多种主流代码覆盖率：行覆盖率、分支覆盖率、条件覆盖率与修订的条件/ 判定覆盖率（MC/DC），自动生成的测试用例覆盖率接近100%。   

                     

回归测试自动执行

iUnit支持一键自动执行回归测试用例，避免代码变更后引入新的软件缺陷。

 

单元测试用例自定义

通过对代码的解析，iUnit能够获取函数的参数表、全局变量与桩函数信息，提供可视化单元测试用例自定义功能，包括单元测试用例的创建、修改与执行，支持测试用例程序执行路径图形化展示。

 

测试报告一键生成

iUnit支持测试报告定制，支持符合GJB5000A标准的测试报告模板，支持报告一键导出。

 

产品优势及指标

产品优势

降低测试工作成本

单元测试工作高度自动化，节省传统单元测试工作中的大量人力时间成本，极大缩短项目周期。

精准诊断软件缺陷

精准发现软件代码中存在的缺陷和错误，每个缺陷都有实际测试用例验证，没有误报。

协助符合行业标准

为被测软件自动化生成高覆盖率测试用例，并一键生成符合GJB5000A/GJB438B/ISO 26262/DO-178B/C等。

全面适配主流开发环境

支持DSP、 CPU、CPU 等嵌入式平台；麒麟、天脉、翼辉、VxWorks、Linux等国内外软件运行环境；适配CCS、Tornado、Keil、Qt等多种编译器。

国产自主可控

iUnit是源自国防科大理论实践的完全自主知识产权产品，打破了国外厂商在软件测试工具的行业垄断，采用B/S云架构，完美支持国产自主可控的测试环境。

 

产品指标

高覆盖率单元测试用例自动生成

绝大部分函数自动生成测试用例可达到100%行覆盖率。

支持测试用例手动/自动执行

支持手动/自动方式执行单个或多个单元测试用例，统计覆盖率信息并生成测试报告。

主流覆盖率支持

行覆盖率、分支覆盖率、条件覆盖率与修订的条件/判定覆盖率（MC/DC）。

测试用例自定义

提供测试用例修改接口，支持单元测试用例自定义。

测试用例执行路径图形化展示

支持图形化展示测试用例执行路径，方便开发人员调试代码。

测试用例高效率生成

1万行嵌入式C/C++代码测试用例自动生成与执行时间小于2小时。

大规模项目单元测试支持

支持最大百万行量级代码库分析与自动化单元测试。