一个高质量的智能单元测试平台——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小时。
大规模项目单元测试支持
支持最大百万行量级代码库分析与自动化单元测试。
一个高质量的智能单元测试平台——iUnit相关推荐
- 墙裂推荐一个高质量的数据分析学习平台
墙裂推荐一个高质量的数据分析学习平台 大家好,我是Peter呀~ 这是一篇无关任何技术的文章,主要是将近期自己写作的文章和资料进行了整理和汇总.也推荐下一个python数据分析的平台:尤而小屋 Pan ...
- 在佛山如何找到一个高质量的股票交易API平台?
股票交易API平台是量化交易和金融工具中最重要的组成部分.股票交易API平台就是一个帮助用户实现股票交易的过程,它可以实时监测市场交易情况,并且设定一些条件,一旦当市场交易情况满足这些条件时就自动执行 ...
- 掌握5个核心要点,做一个高质量的数据分析报告
作为职场人,在日常工作中肯定少不了要写月报.年报等各种分析报告.虽然时下数据分析已成为人人必备的技能,但不会写数据分析报告的人还是很多,大多数人的通病是分析报告只是呈现数据.罗列事实,但却没有结论,或 ...
- 如何开发出一个高质量的J2EE(转载)
如何开发出一个高质量的J2EE系统板桥里人 http://www.jdon.com 2005/06/20 J2EE学习者越来越多,J2EE本身技术不断在发展,涌现出各种概念,本文章试图从一种容易理解的 ...
- 社交时代,如何组建并运营一个高质量的社群?
---恢复内容开始--- 简介:石皮先生,一个从Coder转为运营的斜杠青年. 微信公众号:石皮先生 何为社群,日前常见的社群形式有哪些? 社群即基于兴趣或需求的某一人群的集合,常见的社群形式有:微信 ...
- 初学者如何开发出一个高质量的J2EE系统
J2EE学习者越来越多,J2EE本身技术不断在发展,涌现出各种概念,本文章试图从一种容易理解的角度对这些概念向初学者进行解释,以便掌握学习J2EE学习方向. 首先我们需要知道Java和J2EE是两个不 ...
- 1个已知CVE,7步,找到一个高质量RCE并获奖金
聚焦源代码安全,网罗国内外最新资讯! 编译:奇安信代码卫士团队 印度研究员 Aman Rai 通过 CVE-2018015473 找到一个高质量的 RCE 漏洞并获得赏金,如下是具体步骤: 1. 找 ...
- 如何提交一个高质量的bug?
在日常的软件测试工作中,测试人员发现bug之后,接下来就需要提交bug.关于如何提交一个高质量的bug,是一个很值得思考的问题,因为这关系到开发能不能接受bug,也决定了后续的工作流程是否能顺利进行. ...
- SEO 技巧,如何设计一个高质量的 URL 和标题
在过去的几年里,搜索引擎的影响力发生了一些变化--其影响力的趋势是逐渐变弱.应用程序已经变成了流量的一个大入口,当然搜索引擎也还是一个大的入口.搜索引擎优化看上去并没有那么重要,企业靠活动.运营来挖掘 ...
最新文章
- 吴恩达《Machine Learning》Jupyter Notebook 版笔记发布!图解、公式、习题都有了
- c语言求婚代码大全,这是我见过最浪漫的程序员求婚方式
- maven编译不通过:软件包com.sun.org.apache.xml.internal.security.utils.Base64 不存在
- php给一个参数布尔值,php – 布尔值和字符串条件
- Android中的Handler的机制与用法详解
- 安全防御——防病毒网关
- 开源BI工具对比(二):宜信 davinci
- 大数据技术原理与应用答案 林子雨 第二版
- MCU设计电路的总结
- 人民币大写数字 C++
- 计算机课程设计家庭,家庭无线局域网组建-课程设计.doc
- 安卓投屏软件_免费领取15天懒人听书会员+安卓美食菜谱整合app+安卓乐播投屏+办公软件幕布405天免费领取...
- 尝试用visio画个等边三角形
- 大数据实践:数据指标中心的建设思路
- 为论文添加目录的方法
- redis分布式方案redis cluster的介绍和实践
- c语言修炼内功,助你升级打怪!!
- 职业梦想是计算机的英语作文,我梦想的职业高中英语作文
- 拯救全球变暖,人工智能被用于寻找可降温地球的珊瑚礁
- 10.25软件测试学习总结