题名 路径测试中基本路径集的自动生成
被引量:9
1
作者
张广梅
李晓维
韩丛英
机构
山东农业大学信息科学与工程学院
中国科学院计算技术研究所先进测试技术实验室
山东科技大学
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第22期195-197,共3页
文摘
路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支,该文测试了基本路径集中的路径,在测试资源有限的情况下得到较好的测试效果,并提出了基于图的深度优先搜索的基本路径集的生成方法,该算法采用的生成子路径的方法可以有效地减少路径生成过程中的搜索过程,提高路径生成的效率。
关键词
路径 测试
独立路径
基本 路径 集
Keywords
path test
independent path
basis path set
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 基本路径测试用例设计算法
被引量:9
2
作者
王敏
陈少敏
陈亚光
机构
武昌理工学院信息工程学院
中南民族大学生物医学工程学院
出处
《计算机应用》
CSCD
北大核心
2013年第11期3262-3266,共5页
基金
国家自然科学基金资助项目(61072075)
文摘
McCabe提出的基本路径测试法(McCABE T J.A complexity measure.IEEE Transactions on Software Engineering,1976,SE-2(4):308-320)是动态白盒测试技术中严谨而有效的方法,但存在测试用例设计效率较低的问题,影响了该方法在工程项目中的广泛应用。为了解决这一问题,从被测程序的基本结构出发,提出一种基于组合的基本路径测试用例设计方法。创建一种基于Z路径覆盖的基本单元图,构建由基本单元图组合形成控制流图的组合规则,以此为基础提出了基本路径组合算法,该算法只需一次扫描程序得到程序基本结构的路径集,将这些路径进行组合即可生成被测程序的基本路径集。该方法比McCabe所提出的方法构造过程简洁,能有效提高基本路径测试用例设计的效率。
关键词
基本 单元
基本 路径 测试
基本 路径 集
自动化测试
白盒测试
Keywords
basic unit
basic path testing
basic path set
automated testing
white-box testing
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 用于基本路径测试的路径字符串组合算法
被引量:5
3
作者
王敏
陈亚光
机构
武昌理工学院信息工程学院
中南民族大学生物医学工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2013年第12期134-140,共7页
基金
国家自然科学基金资助项目(60972158
61072075)
文摘
自McCabe提出基本路径测试法以来,人们一直在探索基本路径集的求解算法,以提高基本路径测试的效率。为此,提出一种基于路径字符串组合的基本路径集的求解算法,算法把被测程序看作是若干基本结构的组合,构建了各基本结构路径字符串的构成方式和组合方式,制定了路径字符串的组合规则。依据这些方式及规则导出了基本路径集的求解算法。实验表明,在满足相同覆盖准则的情况下,该算法比McCabe所提出的方法求解过程更简洁,并且输出的中间结果易于理解,便于测试用例集的优化。
关键词
路径 字符串
基本 路径 测试
基本 路径 集
白盒测试
Keywords
path string
basic path testing
basic path set
white-box testing
分类号
TP311.55
[自动化与计算机技术—计算机软件与理论]
题名 基于基本路径集算法生成最小长度测试序列的方法
被引量:4
4
作者
蒙移发
陈源凯
徐惠民
机构
广州新太科技开发中心
北京邮电大学电信工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2003年第16期180-182,共3页
文摘
在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章基于基本路径集的生成算法,获得不相交路径,并利用测试子序列的一个重要特征—“重叠”来获得连接正收敛边和不相交路径的最小费用迁移路径,从而减少了测试序列的长度。
关键词
测试序列
测试子序列
欧拉路径
正收敛边
基本 路径 集
Keywords
Test sequence,Test segment ,Euler path,Converging edge,Basis paths set
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 基于模型代数的基本路径集的自动生成
被引量:5
5
作者
赵会群
卢飞
机构
北方工业大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2017年第4期114-117,共4页
基金
北方工业大学优势学科项目资助
文摘
路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键。考虑到依赖程序控制流图生成基本路径集的低效性,提出基于模型代数的基本路径集的自动生成方法。该方法通过分析被测程序,自动生成程序的模型代数表达式,并在模型代数表达式的基础上生成基本路径集。最后通过经典案例证明了该方法的有效性。
关键词
路径 测试
白盒测试
基本 路径 集
模型代数
Keywords
Path test
White-box test
Basis path set
Model algebra
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
题名 路径测试中基本路径集自动生成方法的研究
被引量:4
6
作者
韩寒
姜淑娟
机构
中国矿业大学计算机科学与技术学院
出处
《微电子学与计算机》
CSCD
北大核心
2013年第1期104-109,共6页
基金
国家自然科学基金(60970032)
江苏省自然科学基金(BK2008124)
江苏省研究生培养创新工程(CXLX12_0950)
文摘
本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路径;最后向路径集中添加未找到可达路径的未覆盖边所在的不可达独立路径,及线性运算所需的不可达独立路径.实验结果表明,该基本路径集生成方法能有效地生成包含尽可能多的可达路径的基本路径集.
关键词
基本 路径 集
不可达路径
可达路径
依赖性分析
Keywords
basis path set
infeasible path
feasible path
dependency analysis
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于一种遗传算法的最小测试用例集自动生成
被引量:3
7
作者
刘冬
靳蓓蓓
阙向红
机构
皖南医学院第一附属医院计算机中心
华中科技大学网络与计算中心
安徽师范大学
出处
《计算机技术与发展》
2016年第4期86-89,共4页
基金
国家自然科学基金专项基金项目(81141073)
安徽省科技计划项目(1301042203)
+1 种基金
安徽省高校省级自然科学研究重点项目(KJ2015A241)
芜湖市科技计划项目(2012hm35-1)
文摘
测试数据的生成是一个复杂的问题,且其技术和方法还不成熟。在生成最小测试用例集过程中,为了避免基本遗传算法对已经满足测试需求的测试用例重复进行遗传操作,文中在基本遗传算法的基础上,最大提高遗传算法的稳定性,提出最大稳定遗传算法(LSGA)。该算法能很好地保证种群的最大稳定性,提高搜索性能,最后对该算法从概率角度理论证明其优越性。实例分析表明,利用该算法能较快生成最小测试用例集,从而实现对测试目标的充分测试,提高测试效率,降低测试成本。
关键词
测试用例集
测试用例
基本 路径 集
基本 遗传算法
软件测试
Keywords
test set
test case
basic path set
simple genetic algorithm
software testing
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
题名 一种基本路径集求解算法
被引量:2
8
作者
王敏
陈少敏
陈亚光
机构
武昌理工学院信息工程学院
中南民族大学生物医学工程学院
出处
《计算机应用与软件》
CSCD
北大核心
2014年第11期11-14,57,共5页
基金
国家自然科学基金项目(61072075)
文摘
McCabe提出的基本路径测试法被认为是动态白盒测试方法中严谨而有效的测试方法。如何提高基本路径测试的效率是人们一直在探索的问题。为此,从被测程序的基本结构出发,提出一种基于组合的基本路径求解算法。该算法首先创建一种基于Z路径覆盖的基本单元图;然后建立由基本单元图组合形成控制流图的组合规则;以此为基础,提出基本路径组合算法。该算法只需一次扫描程序得到程序基本结构的路径集,然后将这些路径进行组合生成被测程序的基本路径集。
关键词
基本 单元
基本 路径 测试
基本 路径 集
自动化测试
白盒测试
Keywords
Basic unit
Basic path testing
Basic path set
Automated testing
White-box testing
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
题名 基本路径测试方法在仿真训练软件测试中的应用
被引量:1
9
作者
马曾
董严红
王金树
机构
海军潜艇学院
出处
《数字技术与应用》
2014年第3期89-90,共2页
文摘
覆盖率测试是仿真训练软件白盒测试的重点。研究了仿真训练软件测试的特点,分析了仿真训练软件测试的关键点,应用基本路径测试方法间接的实现了仿真训练软件全路径覆盖问题。通过实例验证,该方法可以较好的提高仿真训练测试效率、降低测试成本。
关键词
仿真训练软件
基本 路径 测试
基本 路径 集
白盒测试
Keywords
Simulation training software The basic path test The basic path set White box testing
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 基于LSGA的最小测试用例集自动生成
被引量:1
10
作者
刘冬
靳蓓蓓
阙向红
机构
皖医弋矶山医院计算机中心
华中科技大学网络与计算中心
安徽师范大学
出处
《微电子学与计算机》
CSCD
北大核心
2011年第12期115-118,共4页
基金
安徽省教育厅自然科学基金(KJ2010B363)
皖南医学院中青年科研基金(WK201038F)
文摘
测试数据的生成是一个复杂的问题且其技术和方法还不成熟.根据实现语句覆盖的测试目标,提出了最大稳定遗传算法(LSGA).该算法充分考虑了遗传算法的稳定性并在构造适应度函数和路径编号时提出了"邻近者优先"原则和"就近路径编号"原则.这个算法可以生成满足测试目标的最小用例集且其性能明显优于遗传算法.
关键词
测试用例集
测试用例
基本 路径 集
最大稳定遗传算法
遗传算法
软件测试
Keywords
test suite
test case
basic path suite
largest steady genetic algorithm
genetic algorithm
software testing
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 面向路径和变量的插装器研究
11
作者
马超
牟永敏
机构
北京信息科技大学计算机学院
出处
《计算机仿真》
北大核心
2020年第7期319-327,372,共10页
基金
北京市自然科学基金资助项目(.Z160002)
网络文化与数字传播北京市重点实验室开放课题资助(ICDD2017XX)
研究生教育(71D1811013)。
文摘
插装既是一些测试的前期工作又是关键工作,插装的正确与否直接影响测试结果的准确性。通过路径插装能够知道测试的路径覆盖率提高测试的效率。通过变量的插装,能够在代码版本变更之后数据发生异常时检测到异常点位置。上述插装器主要是面向基本路径和函数调用路径以及变量的数据变化域两个功能进行插装,首先面向不同的功能使用不同的方法对代码进行预处理及分析,得到存有相关信息的中间文件,然后利用中间文件确定探针位置,在确定的位置上插入装点函数,最后导出存有插装代码的文本文件。实验结果表明该多功能插装器能够按照不同的功能准确的进行插装,并在降低代码膨胀率的基础上提高插装的效率。
关键词
插装
基本 路径 集
函数调用路径
变量
Keywords
Instrumentation
Basic path set
Path of function call
Variable
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 多粒度数据变更影响域分析方法
被引量:1
12
作者
胡文华
牟永敏
机构
北京信息科技大学计算机学院
出处
《计算机工程与设计》
北大核心
2019年第9期2483-2488,共6页
基金
北京市自然科学基金项目(Z160002)
网络文化与数字传播北京市重点实验室开放课题基金项目(ICDD2017XX)
文摘
完整准确提取程序变更影响范围是分析由数据变化引发程序错误的关键,能够有效缩短回归测试的周期。为此,提出一种基于多粒度的数据变更影响域分析方法。通过静态分析,结合程序局部控制信息和数据信息流规则,提取关键函数,得到影响函数调用路径,以程序影响函数调用路径为分析集,提取受变更影响的基本路径集,即从函数粒度和语句粒度对数据变更影响域进行分析,分别得到影响函数调用路径和影响基本路径集。大量实验结果表明,该方法能够完整准确提取程序影响函数调用路径和影响基本路径集,定位数据变更影响域,提高回归测试的效率。
关键词
多粒度
关键函数
数据流信息规则
影响函数调用路径
影响基本 路径 集
数据变更影响域
Keywords
multi-granularity
key function
data information flow rules
affected function call path
affected basic path set
data change impact domain
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]