单元测试是软件测试中最早期最底层的环节,高质量单元测试可协助快速确认代码功能实现,并尽早发现软件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相关推荐

  1. 墙裂推荐一个高质量的数据分析学习平台

    墙裂推荐一个高质量的数据分析学习平台 大家好,我是Peter呀~ 这是一篇无关任何技术的文章,主要是将近期自己写作的文章和资料进行了整理和汇总.也推荐下一个python数据分析的平台:尤而小屋 Pan ...

  2. 在佛山如何找到一个高质量的股票交易API平台?

    股票交易API平台是量化交易和金融工具中最重要的组成部分.股票交易API平台就是一个帮助用户实现股票交易的过程,它可以实时监测市场交易情况,并且设定一些条件,一旦当市场交易情况满足这些条件时就自动执行 ...

  3. 掌握5个核心要点,做一个高质量的数据分析报告

    作为职场人,在日常工作中肯定少不了要写月报.年报等各种分析报告.虽然时下数据分析已成为人人必备的技能,但不会写数据分析报告的人还是很多,大多数人的通病是分析报告只是呈现数据.罗列事实,但却没有结论,或 ...

  4. 如何开发出一个高质量的J2EE(转载)

    如何开发出一个高质量的J2EE系统板桥里人 http://www.jdon.com 2005/06/20 J2EE学习者越来越多,J2EE本身技术不断在发展,涌现出各种概念,本文章试图从一种容易理解的 ...

  5. 社交时代,如何组建并运营一个高质量的社群?

    ---恢复内容开始--- 简介:石皮先生,一个从Coder转为运营的斜杠青年. 微信公众号:石皮先生 何为社群,日前常见的社群形式有哪些? 社群即基于兴趣或需求的某一人群的集合,常见的社群形式有:微信 ...

  6. 初学者如何开发出一个高质量的J2EE系统

    J2EE学习者越来越多,J2EE本身技术不断在发展,涌现出各种概念,本文章试图从一种容易理解的角度对这些概念向初学者进行解释,以便掌握学习J2EE学习方向. 首先我们需要知道Java和J2EE是两个不 ...

  7. 1个已知CVE,7步,找到一个高质量RCE并获奖金

     聚焦源代码安全,网罗国内外最新资讯! 编译:奇安信代码卫士团队 印度研究员 Aman Rai 通过 CVE-2018015473 找到一个高质量的 RCE 漏洞并获得赏金,如下是具体步骤: 1. 找 ...

  8. 如何提交一个高质量的bug?

    在日常的软件测试工作中,测试人员发现bug之后,接下来就需要提交bug.关于如何提交一个高质量的bug,是一个很值得思考的问题,因为这关系到开发能不能接受bug,也决定了后续的工作流程是否能顺利进行. ...

  9. SEO 技巧,如何设计一个高质量的 URL 和标题

    在过去的几年里,搜索引擎的影响力发生了一些变化--其影响力的趋势是逐渐变弱.应用程序已经变成了流量的一个大入口,当然搜索引擎也还是一个大的入口.搜索引擎优化看上去并没有那么重要,企业靠活动.运营来挖掘 ...

最新文章

  1. 吴恩达《Machine Learning》Jupyter Notebook 版笔记发布!图解、公式、习题都有了
  2. c语言求婚代码大全,这是我见过最浪漫的程序员求婚方式
  3. maven编译不通过:软件包com.sun.org.apache.xml.internal.security.utils.Base64 不存在
  4. php给一个参数布尔值,php – 布尔值和字符串条件
  5. Android中的Handler的机制与用法详解
  6. 安全防御——防病毒网关
  7. 开源BI工具对比(二):宜信 davinci
  8. 大数据技术原理与应用答案 林子雨 第二版
  9. MCU设计电路的总结
  10. 人民币大写数字 C++
  11. 计算机课程设计家庭,家庭无线局域网组建-课程设计.doc
  12. 安卓投屏软件_免费领取15天懒人听书会员+安卓美食菜谱整合app+安卓乐播投屏+办公软件幕布405天免费领取...
  13. 尝试用visio画个等边三角形
  14. 大数据实践:数据指标中心的建设思路
  15. 为论文添加目录的方法
  16. redis分布式方案redis cluster的介绍和实践
  17. c语言修炼内功,助你升级打怪!!
  18. 职业梦想是计算机的英语作文,我梦想的职业高中英语作文
  19. 拯救全球变暖,人工智能被用于寻找可降温地球的珊瑚礁
  20. 10.25软件测试学习总结

热门文章

  1. 二进制空间权重矩阵_白话空间统计之二十五:空间权重矩阵(三)解构空间权重矩阵...
  2. 指令系统 - CISC 和 RISC
  3. Discuz! 帖子外链自动添加nofollow的方法
  4. PHP现代濒危动物毕业论文,保护濒危动物(论文).doc
  5. 监测高铁公路隧道可以用什么工具?
  6. 死囚试毒酒问题(改编)
  7. 码云的首次使用—将本地项目上传到码云
  8. 30万条弹幕大军都推荐你去看的《山海情》,是怎样一部最搞笑最土味的扶贫剧
  9. 51Nod 1433 0和5
  10. Photoshop cc 2018基础