绝大多数安全关键行业设立的标准规范都包含单元测试要求,如GJB5000A、ISO26262、EN50128、IEC61513、DO178等标准。
传统的单元测试工具界面与流程复杂,学习成本高,在用例设计、测试执行、报告文档编制等方面耗费大量的人力和时间成本,实际测试工作难以落地,软件质量无法保障。针对行业现状与客户的实际需求,应用学术界最新理论研究成果,经过持续设计研发并反复迭代优化,泛联新安推出了一款拥有完全自主知识产权的智能单元测试平台iUnit。
产品概述
基于在程序分析技术方向的长期积累,采用动态符号执行与约束求解技术研发,iUnit是一个针对C和C++语言的自动化单元测试平台。
针对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小时。
大规模项目单元测试支持
支持最大百万行量级代码库分析与自动化单元测试。
本文内容不用于商业目的,如涉及知识产权问题,请权利人联系51Testing小编(021-64471599-8017),我们将立即处理