检索结果-南通市图书馆

基于遗传算法高阶变异测试的测试数据生成方法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

科技经济导刊 2015年第18期 28-29页

作者：施静党向盈徐州工程学院

变异测试是一种面向缺陷的软件测试方法,分为一阶变异和高阶变异,其中高阶变异一直是变异测试的难点。本文在研究变异测试问题的基础上,提出一种基于遗传算法高阶变异测试的测试数据生成方法。该数据生成方法首先对原程序的某些原语句... 详细信息

变异测试是一种面向缺陷的软件测试方法,分为一阶变异和高阶变异,其中高阶变异一直是变异测试的难点。本文在研究变异测试问题的基础上,提出一种基于遗传算法高阶变异测试的测试数据生成方法。该数据生成方法首先对原程序的某些原语句进行静态分析,基于分支关系,将具有无关性的原语句进行分类;然后对原语句实施变异,生成变异体;最后基于遗传算法生成语句覆盖的测试数据。实验结果表明,采用该种方法生成的测试数据针对性更强,避免了高阶变异测试的耦合效应。

关键词：遗传算法变异测试测试数据生成

Randoop和Evosuite生成测试用例的变异检测能力分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

现代计算机 2020年第9期26卷 94-98,103页

作者：郭丹四川大学计算机学院成都610065

软件测试是软件开发过程的重要组成部分,高质量的测试用例可提高测试的效率,检测变异体的能力是评估测试用例质量的常用指标。使用单元测试工具Evosuite和Randoop对教材Data Structures and Algorithm Analysis中的基本数据结构和算法... 详细信息

软件测试是软件开发过程的重要组成部分,高质量的测试用例可提高测试的效率,检测变异体的能力是评估测试用例质量的常用指标。使用单元测试工具Evosuite和Randoop对教材Data Structures and Algorithm Analysis中的基本数据结构和算法代码自动生成测试用例,通过muJava比较不同测试用例的变异检测能力。从对被测系统生成的15种方法级别变异体的检测效果中分析发现,Randoop测试用例比Evosuite测试用例能够杀死更多数量的变异体。

关键词：单元测试自动生成测试用例变异测试

运用类复制变异和JPF技术生成类间测试用例

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2009年第8期30卷 1591-1595页

作者：钟诚唐春艳广西大学计算机与电子信息学院广西南宁530004

采用类复制变异方法,运用模型检测器Java PathFinder(JPF)来保证软件执行过程中产生的错误在输出结果中可见,同时将类间测试用例生成问题转化成模型检测中寻找反例的问题,自动生成满足变异覆盖准则的类测试用例,提出一种适用于类间调用... 详细信息

采用类复制变异方法,运用模型检测器Java PathFinder(JPF)来保证软件执行过程中产生的错误在输出结果中可见,同时将类间测试用例生成问题转化成模型检测中寻找反例的问题,自动生成满足变异覆盖准则的类测试用例,提出一种适用于类间调用的测试用例自动生成方法,并在程序模型检测器JPF上实现.实验结果表明,本文提出的方法能生成高效的Java类间测试输入数据,变异覆盖率高,可发现隐藏错误,并能显著减少测试生成的代价.

关键词：类间测试测试用例生成程序模型检测变异测试 Java PathFinder(JPF)

基于变异测试和OWL-S文档的Web服务测试用例生成

在线全文

学校读者我要写书评

暂无评论

计算机与数字工程 2011年第12期39卷 8-11页

作者：严满根许蕾南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还... 详细信息

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。

关键词： Web服务变异测试 OWL-S文档测试用例生成

基于OWL-S文档变异的Web服务测试用例生成

在线全文

学校读者我要写书评

暂无评论

基于OWL-S文档变异的Web服务测试用例生成

作者：严满根南京大学

学位级别：硕士

Web服务是面向服务体系结构(Service-Oriented Architecture, SOA)中的一种主流实现技术。在Web服务发布、发现和组合过程中,服务的描述文档都是核心内容之一,常见的服务描述语言包括WSDL、OWL-S等。对比于WSDL文档,OWL-S文档对服务的... 详细信息

Web服务是面向服务体系结构(Service-Oriented Architecture, SOA)中的一种主流实现技术。在Web服务发布、发现和组合过程中,服务的描述文档都是核心内容之一,常见的服务描述语言包括WSDL、OWL-S等。对比于WSDL文档,OWL-S文档对服务的描述更为全面,包含的信息更为丰富,更适合作为服务测试的信息来源。变异测试是基于错误的测试方法,通过生成变异体的方式模拟程序的错误版本,可以用变异充分度(Mutation Score)评价测试用例集的优劣。变异测试应用范围广泛,现有研究包括规范层的变异测试以及应用变异测试优化Web服务测试用例集等。若直接以杀死变异体为目标设计测试用例,则可保证生成的测试用例集具有高效的查错能力。本文提出了一个对OWL-S文档进行变异测试的测试用例生成框架,该框架具有覆盖率较高、通用性和拓展性较强等特点。主要研究工作是：分析测试用例能够杀死变异体需要满足的条件,采用弱变异标准,以满足变异语句的可达性条件和必要性条件为目标,设计能够杀死变异体的测试用例。具体如下： (1)结合传统变异算子和OWL-S文档中Service Model部分的特点,提出了16个变异算子,并为各变异算子的不同变异方式归纳出必要性条件。 (2)建立了一个表示Web服务的模型：FG4CWS (Flow Graph for Composite Web Service),将OWL-S文档内的控制流信息和数据流信息包含在其中。根据变异语句在OWL-S文档中的位置和FG4CWS中结点的可达性条件,得出变异语句的可达性条件。利用模型中包含的数据流信息,将两个约束条件处理到与Web服务的输入相关。 (3)以Web服务Find-cheaper-book为例,建立其FG4CWS模型,并将13个变异算子作用在其OWL-S文档上,针对生成的各个变异体,分析出能够杀死各个变异体的约束条件,求解约束条件,即可得到最终的测试用例。通过不同变异充分度要求下需要的测试用例数目的对比,说明用本文方法可以用较少的测试用例达到较高的测试效果。另外,还结合实例分析了选择变异的必要性,以及在实例中应用的13个变异算子用于生成测试用例的效果。

关键词： OWL-S文档变异测试测试用例生成变异算子

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于扩展WSDL变异的Web服务测试方法

计算机应用 2007年第7期27卷 1725-1728,1731页

作者：陈佳蕊蔡国永桂林电子科技大学计算机与控制学院广西桂林541004

提出一种基于扩展WSDL变异的Web服务测试方法,并设计算法,自动产生变异后的WSDL文件。为了产生Web服务的接口变异,该测试方法在扩展WSDL文档中应用变异算子,从而能够测试出WSDL文档中的定义错误以及Web服务中的逻辑错误。最后通过一个... 详细信息

提出一种基于扩展WSDL变异的Web服务测试方法,并设计算法,自动产生变异后的WSDL文件。为了产生Web服务的接口变异,该测试方法在扩展WSDL文档中应用变异算子,从而能够测试出WSDL文档中的定义错误以及Web服务中的逻辑错误。最后通过一个实例验证了该方法的有效性。

关键词： Web服务变异测试接口变异扩展WSDL

在线全文

学校读者我要写书评

暂无评论

一种基于层次聚类的测试用例集约简方法

北京邮电大学学报 2023年第4期46卷 9-14页

作者：朱瑞文王雅文林欢李帅赟吴彦芳北京邮电大学网络与交换技术国家重点实验室北京100876 广西密码学与信息安全重点实验室桂林541004

为降低测试用例集约简过程中故障检测能力的损失,减少偶然正确性现象对测试可靠性的不利影响。提出了一种基于层次聚类的测试用例集约简方法,使用欧氏距离计算测试用例的相似性,得出相异矩阵作为聚类的输入;另外,基于变异测试能够提高... 详细信息

为降低测试用例集约简过程中故障检测能力的损失,减少偶然正确性现象对测试可靠性的不利影响。提出了一种基于层次聚类的测试用例集约简方法,使用欧氏距离计算测试用例的相似性,得出相异矩阵作为聚类的输入;另外,基于变异测试能够提高测试用例集故障检测能力的特性,给出偶然正确性概率的计算公式,在结果簇中使用基于变异测试的测试用例选择算法获取约简后的测试用例集。实验结果表明,所提方法比充分的和其他不充分的测试用例约简方法分别降低了9.8%和12%的故障检测能力的损失。

关键词：层次聚类测试用例集约简变异测试偶然正确性故障检测能力

DFSampling:一种数据流分析指导的变异体精简策略

在线全文

学校读者我要写书评

暂无评论

软件学报 2022年第9期33卷 3407-3421页

作者：孙昌爱卫新洁刘镇贤宫云战北京科技大学计算机与通信工程学院北京100083 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 北京邮电大学网络技术研究院北京100876

软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSamp... 详细信息

软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSampling),设计了启发式规则,基于这些规则对随机选择技术与基于路径感知的变异体精简技术(PAMR)进行了改进.采用经验研究的方式评估了DFSampling的有效性,比较了DFSampling与随机选择技术、PAMR技术的有效性,实验结果表明DFSampling是一种有效的变异体精简策略,提高了变异测试的效率.

关键词：软件测试变异测试数据流分析变异体精简随机选择策略

在线全文

学校读者我要写书评

暂无评论

面向安卓自动化测试工具综合评估

软件学报 2023年第4期34卷 1630-1649页

作者：钟怡石孟雨房春荣赵志宏陈振宇计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 深圳研究院(南京大学) 广东深圳518063

自动化测试工具是安卓应用质量保障的主要手段.随着安卓版本多样性、底层硬件差异性(碎片化)以及逻辑复杂性增加,自动化测试迎来新的挑战.为解决这些问题,近年来,业界开发出大量自动化测试工具.但是现有工具数量多,并且测试重点多样,测... 详细信息

自动化测试工具是安卓应用质量保障的主要手段.随着安卓版本多样性、底层硬件差异性(碎片化)以及逻辑复杂性增加,自动化测试迎来新的挑战.为解决这些问题,近年来,业界开发出大量自动化测试工具.但是现有工具数量多,并且测试重点多样,测试人员选择工具时存在一定的困扰.为帮助测试人员选择最佳测试工具,实现对自动化测试工具的统一评估,提出了面向安卓自动化测试工具多特征综合评估方法(comprehensive evaluation of Android automated testing, CEAT),并将其实现为便于测试人员使用的平台. CEAT在引入测试领域广泛接受的3个评估指标,即代码覆盖率、异常检出率、融合多版本兼容度得分的基础上,进一步基于变异测试的思想引入变异杀死率,并从用户体验出发引入UI控件覆盖率.以上5个指标构成CEAT整个体系,从而实现安卓自动化测试工具的综合多维评估.为验证CEAT的效果,生成了1 089个变异应用的待测应用集,在包含6个移动设备的真机集群中部署实验,对5个自动化测试工具适配并执行5 040次测试任务.最终结果表明:i) 5个指标从不同角度对自动化测试工具进行评估,更加多维地反映不同工具的测试效果,验证了CEAT的有效性;ii) CEAT支持测试人员为5个指标分配不同的权重,根据实际测试需求得到综合评估结果,具有一定的灵活性;iii) CEAT可自动改造APP获得变异应用,同时为工具设置特定平台用于测试,操作具备简单性. CEAT可以有效地根据不同测试需求为测试人员选择最佳的安卓自动化测试工具提供参考依据.

关键词：自动化测试碎片化变异测试 UI控件覆盖率多维评估