单元测试是软件测试中最早期最底层的环节，高质量单元测试可协助快速确认代码功能实现，并尽早发现软件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小时。
大规模项目单元测试支持
支持最大百万行量级代码库分析与自动化单元测试。
