Evosuite和Randoop单元测试用例生成工具覆盖率对比分析

在软件测试中,测试用例对被测软件的覆盖率,是发现软件缺陷的重要前提之一.本文采用软件工程实验方法,基于Defects4J数据集,对Evosuite和Randoop工具在不同的生成时间限制下,生成的测试用例对程序模块的覆盖率,程序分支的覆盖率等进行实验分析,发现当生成时间超过20 s时,虽然Randoop生成的测试用例多于Evosuite,但Evosuite测试用例的覆盖率明显优于Randoop.本文同时对影响覆盖率的因素进行了分析.该研究对于如何使用这两种工具生成高覆盖率的测试用例,以及对工具的改进具有参考价值.     

面向对象CASE工具中的代码自动生成

代码的自动生成可以极大地提高软件的生产率,而面向对象技术则为代码的自动生成提供了强有力的支持,本文引放了一个面向对象软件设计的规格说明方法,并在此基础上,介绍了面向对象ＣＡＳＥ中心信息库的作用和面向对象代码自动生成工具的系统构成及其实现。     

JUTA: 一个Java自动化单元测试工具

描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果.     

基于死锁的并发类单元测试用例自动生成

自动生成多线程程序的单元测试用例是一种能节约测试成本的技术。为提高并发类单元测试用例生成效率,先依据死锁故障的特征分析出并发类中潜在的死锁代码,然后再针对这些代码自动生成测试用例。实验在7个常用Java类库中的并发类上进行验证。实验结果显示提出的方法(CTCG)不仅找到了现有死锁故障,而且当检测到死锁故障时,其所生成的测试用例数更少,其所花费的时间更少,提高了并发类单元测试用例自动生成的效率。     

面向对象单元测试的案例教学法

该文介绍了在软件测试课程的教学过程中,结合学生所学的Java的相关知识,用案例教学法来讲解面向对象单元测试这一教学内容,让学生既能理解理论知识又能掌握实践技能,提高学生的学习兴趣,培养学生的动手能力。     

和欣编程环境中进行单元测试覆盖率分析的方法

本文提出了在和欣项目中一种分析代码覆盖率的简单而经济的方法。和欣项目有多种测试手段用以保证软件质量,如单元测试已经积累了大量测试用例。但是如果不应用应用代码覆盖率分析,很难发现未测试到的被测对象和重复的测试用例。我们应用了基本块度量方法,并且移植和应用了GCOV和LCOV工具到和欣开发环境,建立了一种代码覆盖率分析方法。另外本文还演示了对一个简单单元测试的分析。基于这种覆盖率分析方法,可以开展进一步的流程改进工作,比如：灵巧的回归测试以及测试驱动开发等。     

基于代码相似性的测试用例重用及生成方法

为在测试用例自动化生成中有效利用现有用例信息,降低测试用例生成成本,提高生成效率,提出一种基于代码相似性的测试用例重用及生成方法。设计基于文本和度量的被测代码相似性检测方法,分别从语法和语义上检测并划分相似类型;针对不同相似类型,采用更名重用和补充重用生成测试用例。将代码相似性应用于测试用例生成,综合考虑代码的语法、语义等多维相似信息,提升代码相似性检测的准确性,能更有效运用重用技术提升测试用例生成效率。实验结果表明,所提方法具有更高的重用召回率和重用精度,在相同时间成本下生成的测试用例覆盖率更高。     

面向路径的测试数据自动生成工具的设计

设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。     

基于测试内容及覆盖率的嵌入式软件单元测试工具比对分析

从对单元测试内容和要求出发,明确了单元测试过程及形成的文档要求,并结合实际工作经验,梳理了单元测试的测试类型的要求,以及对不同重要度等级的软件单元测试覆盖率的要求.从支持的平台、对覆盖率要求的满足情况、实际使用过程3个方面对LDRA TestBed 9.4和C++Test 9.2两款单元测试工具进行了详细的比对分析,并以表格对比的形式,详细的描述了两款测试工具的比对分析结果和数据.     

单元测试的自动化实践

介绍了单元测试的概念以及自动化的方法,并结合C语言测试框架Check的具体应用进行了分析。     

面向路径的测试数据自动生成工具的设计与实现

面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松驰方法求解该问题。文献[2]改进了该方法，证明改进后的方法与原方法生成的约束系统相同，文章以改进后的方法为核心算法，根据软件工程的思想，采用面向对象的方法，使用UML进行设计，并且在Linux Red Hat7.0操作系统下用C＋＋语言言实现一个为程序路径自动生成测试数据的原型工具，然后将它移植到Windows操作系统。     

单元测试自动化工具的研究与实现

软件测试的自动化技术是软件测试技术研究的重点问题,对于提高软件测试的客观性和效率有着非常重要的意义.实现了一个可以自动生成、执行测试用例的工具,该工具针对软件测试过程中的单元测试,以容易发生异常例外的条件语句为中心,对其进行覆盖检查,实现了单元测试的自动化.     

基于退火遗传算法的自动化单元测试方法分析

为了提高单元测试的工作效率,基于退火遗传算法提出一种自动化单元测试方法。采用基于分支距离的方法,构造适应值函数,并根据相应的代码转换功能,将判定结点处的代码转换平行结构、将分支距离量化为[0,1]之间的数。根据实验结果,这种自动化单元测试方法可以在更短的时间内获得更高的代码覆盖率,有效提高了单元测试的工作效率。     

面向智能主体的数值分析软件自动生成系统

本文提出了一个面向智能主体、支持面向对象程序设计的数值分析软件自动生成系统。该系统以系统自组织理论为指导,提供了一套专职于软件模块自适应组织的智能体,以使模块相关的描述性知识、过程性知识有机结合在智能体统一框架之中,模块在宏观上具备自组织能力,系统由此实现软件快速自动生成的目的。以此为基础,系统进一步提供了数值分析软件模块自组织方式,包括侍者方式、继续方式。     

C＋＋ Test在单元测试中的应用研究

首先介绍了C＋＋ Test的基本功能,然后详细介绍了该工具各种功能的使用方式,并对其专利功能模块和特殊应用方式进行了重点分析。该工具已经应用到了多个项目的测试中并取得了良好效果。     

多媒体MIS的自动生成工具模型

传统的ＭＩＳ开发费时费力，无法解决日益突出的软件供求矛盾。解决问题的途径之一是提供ＭＩＳ自动生成工具。     

通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法

覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效率.文中分析了代码行覆盖次数与功能覆盖率的内在联系,建立了基于代码行覆盖次数的概率模型,提出一种新的通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法--FOCDGAG.通过代码行覆盖次数计算验证输入序列的适应度,选取对提高功能覆盖率贡献较高的输入序列,使用遗传算法自动生成新的输入序列组.实验结果表明,采用FOCDGAG时不需要功能覆盖信息,可以将全随机输入生成的功能覆盖率收敛速度提高10倍以上,将约束随机输入生成的功能覆盖率收敛速度提高20倍以上.     

一种应用于动态污点分析的路径自动生成方法

在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术。借助二进制静态分析技术获取目标程序的指令序列,以基本块为粒度计算执行覆盖率,在目标程序动态执行中抓取其运行轨迹,由收集到的路径约束条件构造新的路径约束条件,经约束求解生成覆盖其它路径的新的测试用例。借助虚拟化技术实现动态污点分析各用例的并行执行,较大幅度提高污点分析的路径覆盖率和执行效率。     

一种C++单元测试支持工具的研究与设计

单元测试是针对单个功能模块的测试,能尽早发现缺陷,降低滞后纠错的高成本。当今面向对象软件开发强调迭代和增量式的开发方法,单元测试为其提供了质量保证支持。在单元测试实践的基础上提出了一种单元测试支持工具的设计方法,该工具提供了一个灵活有效的单元测试框架和基于该框架的测试用例管理和优化方法。