收藏本站
《太原理工大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

单元测试用例自动生成分析与设计

李寰  
【摘要】: 软件测试是保障软件质量的重要手段。传统的手工测试存在效率低,耗费人力、时间资源大,无法有效量化管理等缺点,自动化测试在软件测试中所占比重日益增加。测试自动化就是希望能够通过自动化测试工具或其他手段,按照测试工程师的预定计划进行自动测试,目的是减轻手工测试的劳动量,从而达到提高软件质量的目的。测试数据自动生成问题是软件测试自动化中的一个基本问题。能够高效自动生成满足测试需要的测试用例,是提高软件测试工作效率的重要手段。 面向路径的测试数据自动生成问题可以描述为:给定一个程序P和一条路径W,设P的输入域为D,求输入x,使得P以x为输入运行时所经过的路径为W。求解该问题可以转化为一个约束系统构建和求解的问题。构建约束系统的主要困难在于分析、化简路径上的各种语句成分和数据类型,尽可能将条件谓词表示成为输入变量的函数。而求解约束系统的主要困难在于路径上的非线性约束。已经证明不存在通用有效的方法求解非线性约束系统。 Neelam Gupta等人提出了迭代松弛法自动求解该问题,该方法通过分析路径上各语句之间的静态、动态数据依赖关系,构造程序切片和数据依赖集,用线性算术表示对谓词函数进行线性化,用数值计算的方法去求解该问题。由于该方法需要了解语句之间的静态数据依赖关系,因此该方法仅能用于白盒测试。 本文从三个方面对迭代松弛法进行改进,省略了构造谓词切片和数据依赖集的过程,选取主要路径,使用函数的导数来代替均差。改进后的方法无需分析路径上各语句之间的静态、动态数据依赖关系,因此可以应用于黑盒测试。改进后的方法比原方法构造线性约束系统的能力更强,效率更高。 本文提出了一个面向路径测试数据自动生成的框架,该框架以改进后的迭代松弛法为核心算法,对于路径上谓词函数均为线性函数的情况,该框架迭代一次即可找到路径的解,或者保证路径不可行。对于路径上谓词函数含有非线性函数的情况,该框架需要迭代多次,或者找到路径的解,或者增加该路径不可行的信心。 本文开发了一个以面向路径测试数据自动生成框架为蓝图的原型工具(PTDAG)。该工具采用面向对象的思想进行开发,采用Java语言进行编程,定义了一种简单的语言J用于实验,利用JavaCC为J语言自动生成词法分析器和语法分析器,利用MATLAB为线性约束系统求解。初步实验结果表明本文所提出的面向路径测试数据自动生成框架是正确和有效的。
【学位授予单位】:太原理工大学
【学位级别】:硕士
【学位授予年份】:2007
【分类号】:TP311.52

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 张润敏,杜英俊,郑丽英;心理学与软件测试探讨[J];甘肃科学学报;1995年01期
2 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
3 周鸿志;如何做好甲方对软件产品的检测[J];电子产品可靠性与环境试验;1999年04期
4 刘艳,舒云星;基于模块分割的软件测试自动化技术及应用[J];洛阳工业高等专科学校学报;2003年03期
5 车清太;软件测试方法和策略[J];山西电子技术;2003年06期
6 罗娜,林和平,袁福宇;面向对象软件测试的方法研究[J];东北师大学报(自然科学版);2004年01期
7 崔凤茹,宋巍,钱越英;气象水文软件测评系统建设研究[J];装甲兵工程学院学报;2004年02期
8 王炳晨;软件测试走向规范[J];微电脑世界;2005年07期
9 杨鹏;高职软件测试课程的教学探索与实践[J];番禺职业技术学院学报;2005年02期
10 ;非一般感觉 小试承启6800LE[J];电脑应用文萃;2006年01期
中国重要会议论文全文数据库 前10条
1 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
2 杨志文;沈森祖;韩红星;;基于集成电路测试程序的软件测试研究[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年
3 袁利;王磊;;深空探测器软件可测试性设计研究[A];中国宇航学会深空探测技术专业委员会第六届学术年会暨863计划“深空探测与空间实验技术”重大项目学术研讨会论文集[C];2009年
4 宋雪芬;王冠军;宋雪玲;;面向对象软件测试方法研究[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
5 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6 陈晓;;软件自动化测试的分析与实践[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
7 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
9 蔡远文;于小红;;航天测试发控系统软件测试研究[A];1999中国控制与决策学术年会论文集[C];1999年
10 高鹏;方圆;;软件测试技术在铁路客运清算分析系统中的应用[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
中国重要报纸全文数据库 前10条
1 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
2 王宇;过程决定质量[N];中国计算机报;2003年
3 仪芳媛;IT巨头京城上演软件测试人才掠夺战[N];中国企业报;2006年
4 本报记者  张咏梅;软件测试人才面临“回炉”[N];北京人才市场报;2006年
5 仪芳媛;IT毕业生跳动的职场脉搏你按住没有?[N];市场报;2006年
6 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年
7 本报记者 张旭东;软件测试 IT就业新热点[N];中国计算机报;2005年
8 ;软件测试的基本方法[N];中国计算机报;2002年
9 隋年;软件测试:2007需求再放大[N];就业时报;2007年
10 记者 兰昆;中国软件测试人才形成“科班培养”机制[N];中国经济导报;2005年
中国博士学位论文全文数据库 前10条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
3 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
4 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
5 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
6 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
7 史亮;测试数据自动生成技术研究[D];东南大学;2006年
8 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
9 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
10 李心科;软件故障分析及质量评估方法的研究[D];合肥工业大学;2001年
中国硕士学位论文全文数据库 前10条
1 乐鑫喜;基于退火遗传算法的测试用例自动生成[D];武汉理工大学;2005年
2 王鹏;基于改进遗传算法的面向路径测试用例自动生成方法研究[D];大连交通大学;2007年
3 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
4 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
5 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
6 刘维秀;基于缺陷管理的软件测试方法及应用[D];山东大学;2005年
7 张福民;信息系统开发中的自动化测试应用研究[D];大连海事大学;2006年
8 邹欣;基于函数摘要的非法计算故障检测方法的研究[D];北京邮电大学;2011年
9 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
10 陈和平;面向对象的自动化单元测试[D];武汉理工大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026