基于覆盖准则的软件测试用例自动化生成方法的研究与实现

发布时间：2017-12-12 21:05

  本文关键词：基于覆盖准则的软件测试用例自动化生成方法的研究与实现

  更多相关文章： 自动化测试 覆盖准则 测试用例生成 符号执行 模型检查 基于模型的测试

【摘要】：软件测试作为软件实践中最常用的软件验证技术,其基本过程主要分为三步：(1)针对待测系统设计有效的测试用例；(2)执行这些测试用例；(3)将测试用例的执行结果与预期结果进行比对,确认程序输出是否正确。其中,测试用例的设计需要大量的人力投入,因为测试人员只有在熟悉待测系统的需求规范,甚至代码结构的情况下,才能设计出有效的测试用例。为了系统且充分地测试某个软件系统,在理想情况下,测试人员需要找出所有的程序输入值的组合,力求将待测系统的各个部分(各种行为)都测试到,但这很难实现。一种比较通用的测试用例选择方法,是按照某些测试覆盖准则(Test Adequacy Criteria)来指导用例的选取,它的优势在于：(1)测试覆盖准则能确定测试用例的选取标准,指导测试人员如何设计测试用例；(2)通过使用不同的覆盖准则可以满足不同的软件测试需求,比如更复杂的测试覆盖准则可以增强测试用例集在检测软件错误时的有效性；(3)测试覆盖率能给软件开发人员、测试人员、以及项目管理者提供了一个可参考、可跟踪的软件质量的度量值,反映被测软件的可靠性程度。但是,在基于覆盖准则的测试用例生成问题上,现有的自动化测试方法仍然存在着许多问题：(1)现有的测试方法较少考虑如何快速地生成满足目标覆盖的测试用例,或者往往只考虑单独某一种目标覆盖；(2)现有的研究工作更多地聚焦于实现一些简单的覆盖标准,如语句覆盖、分支覆盖等,但是针对较复杂、较高级的覆盖标准(如数据流覆盖、基本路径覆盖)的研究工作相对较少,由于缺乏高效的测试方法,这些高级覆盖准则很难在软件测试中发挥其巨大的潜力；(3)现有的测试方法较多地考虑CLI (Command Line Interface)软件,往往以待测程序的源代码作为处理对象,而对于现在比较流行的GUI (Graphical User Interface)软件,如何生成基于覆盖准则的测试用例,仍然缺乏有效的测试方法。为此,本文以软件测试中的覆盖准则为基础,研究测试用例自动化生成这一问题,并在如下几个方面进行了深入研究：1.基于控制流覆盖准则的测试用例自动化生成方法。该方法主要针对控制流覆盖准则,如语句覆盖、分支覆盖、MC/DC覆盖,提出了一个统一的测试用例自动化生成框架,该框架基于动态符号执行技术,以目标覆盖准则为导向,力求快速有效地生成满足对应覆盖准则的测试用例。2.基于数据流覆盖准则的测试用例自动化生成方法。以数据流覆盖准则为对象,自动化生成测试用例,该方法结合了符号执行技术和模型检查技术,提供了一个高效的数据流测试框架,为可达的测试对象生成用例的同时,也可检测出不可达的测试对象。3.基于混合覆盖准则的GUI测试用例自动化生成方法。以移动app (GUI软件的典型代表)为对象,同时从抽象模型层的覆盖准则和具体代码层的覆盖准则出发,引导并优化GUI测试用例的生成。我们相信,上面提出的这些自动化测试方法,将有助于进一步提高测试用例生成的自动化程度,同时也能为尽早发现软件缺陷提供有效的手段。
【学位授予单位】：华东师范大学
【学位级别】：博士
【学位授予年份】：2016
【分类号】：TP311.53

【相似文献】

中国期刊全文数据库 前10条

1 路晓丽;葛玮;陈新丽;郝克刚;;支持共享和复用的测试用例库系统的设计[J];计算机科学;2006年05期

2 胡珊;杨丰玉;张晔;刘琳岚;;基于测试项抽取的测试用例复用方法[J];微电子学与计算机;2010年01期

3 张德平;查日军;;划分测试用例选择的风险决策方法[J];计算机应用研究;2010年12期

4 杨翊;陈挺;许峥;;证券软件的测试用例设计充分性实践[J];中国证券期货;2012年07期

5 张智轶;陈振宇;徐宝文;杨瑞;;测试用例演化研究进展[J];软件学报;2013年04期

6 杨悦;秦湘河;杨永安;郭荣;;航天测控软件测试用例标准及应用研究[J];无线电工程;2013年09期

7 王侃,卢庆龄,彭艳丽;测试用例自动生成的链方法研究与实现[J];装甲兵工程学院学报;2001年03期

8 李顺华;测试用例管理方法探讨[J];飞航导弹;2001年05期

9 徐仁佐,陈斌,陈波,吴闽泉,熊忠伟;构造面向对象软件可复用测试用例的模式研究[J];武汉大学学报(理学版);2003年05期

10 陈绍英;金成姬;;性能测试用例[J];程序员;2004年11期

中国重要会议论文全文数据库 前10条

1 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年

2 李磊;曹先彬;;基于进化的软件测试用例生成方法[A];2005年“数字安徽”博士科技论坛论文集[C];2005年

3 徐李勤;王洁宁;;基于层次有色Petri网的软件测试用例选取研究[A];全国第二届信号处理与应用学术会议专刊[C];2008年

4 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年

5 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集（一）[C];2008年

6 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年

7 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];中国计量协会冶金分会2008年会论文集[C];2008年

8 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年

9 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文（摘要）汇集[C];2009年

10 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年

中国重要报纸全文数据库 前6条

1 深圳市信息无障碍研究会 戴杰;“听”软件的IT工程师[N];人民政协报;2014年

2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年

3 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年

4 《网络世界》记者 郑楠;ONF测试步伐有条不紊[N];网络世界;2014年

5 ;找错[N];计算机世界;2002年

6 信息产业部软件与集成电路促进中心 于明邋唐仕武;驶入测试“快车道”[N];计算机世界;2007年

中国博士学位论文全文数据库 前10条

1 罗玲;扩展π演算的建模、验证与测试[D];西安电子科技大学;2015年

2 王志强;基于模糊测试的漏洞挖掘及相关攻防技术研究[D];西安电子科技大学;2015年

3 涂径玄;基于覆盖分析的自动化错误定位关键技术研究[D];南京大学;2016年

4 苏亭;基于覆盖准则的软件测试用例自动化生成方法的研究与实现[D];华东师范大学;2016年

5 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院（长春光学精密机械与物理研究所）;2010年

6 黄如兵;组合测试用例的自适应随机生成与优先级排序方法研究[D];华中科技大学;2013年

7 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年

8 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年

9 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年

10 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年

中国硕士学位论文全文数据库 前10条

1 田春艳;基于灰色关联逼近理想解方法的测试用例评价模型研究[D];昆明理工大学;2009年

2 唐海鹏;基于Additional策略回归测试用例优先级排序优化研究[D];西南大学;2015年

3 陈梦云;基于圈复杂度和调用次数的测试用例排序方法[D];上海师范大学;2015年

4 姚瑞超;广东电网测试用例自动生成工具的研究与设计[D];华南理工大学;2015年

5 张泽林;基于数据挖掘的软件多故障定位与分析技术[D];南京理工大学;2015年

6 邹炳松;嵌入式软件的图形化测试用例生成系统设计与实现[D];哈尔滨工业大学;2015年

7 李锦程;基于微信平台的医疗就诊系统设计与实现[D];哈尔滨工业大学;2015年

8 赵群;软件错误定位中的巧合正确性问题研究[D];哈尔滨工业大学;2015年

9 常龙辉;Web应用的测试用例优化生成与优先级技术[D];上海大学;2015年

10 王令赛;基于粒子群优化算法的测试用例生成技术研究[D];中国矿业大学;2015年

，

本文编号：1283932