收藏本站
《国防科学技术大学》 2002年
收藏 | 手机打开
二维码
手机客户端打开本文

面向路径的测试数据自动生成方法研究

单锦辉  
【摘要】: 软件测试是现阶段保障软件质量的重要手段。软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题在本文中简称为问题2,可以描述为:给定一个程序P和P中一条路径W,设P的输入空间为D,求(?)∈D,使得P以(?)为输入运行,所经过的路径为W。自动求解该问题将有效地提高软件测试的效率和质量。 求解问题2的实质在于约束系统的建立和求解。建立约束系统的困难是分析、化简路径W上的各种语句成分和各种数据类型,建立尽可能简洁的约束系统;求解约束系统的主要困难是处理可能存在的非线性约束。Matiyasevic和E.J.Weyuker等人的研究表明:不存在通用的有效的算法,对于任意的P和W,能生成使W被经过的输入数据。但是实际应用的需要迫使人们进行研究,并提出各种方法求解问题2。 本文首先简要介绍该领域的研究进展,将现有的求解方法分为四类——随机法、静态法、动态法和试探法,介绍和分析每一类中有代表性的方法,并探讨研究方向。 迭代松弛法是Neelam Gupta等人提出的一种自动求解问题2的方法。该方法通过分析W上各语句之间的静态、动态数据依赖关系,构造谓词片和输入依赖集,用线性算术表示对谓词函数进行线性化,仅能够用于白盒测试数据的自动生成。 Neelam Gupta等人将最小二乘解法用于求解问题2。Jon Edvardsson等人指出,对于谓词函数均为输入变量的线性函数的程序路径,Neelam Gupta等人提出的求解方法是不完备的和非终止的,并建议采用线性规划、线性(混合)整数规划方法。 本文改进迭代松弛法,省略构造谓词片和输入依赖集的过程。更进一步,当用均差作为谓词函数关于输入变量的导数的近似时,计算线性算术表示就全部转化为计算谓词残量,而后者无须分析W上各语句之间的静态、动态数据依赖关系。此时,改进后的方法比原方法生成测试数据的能力更强,能够用于黑盒测试数据的自动生成。改进后的方法建立线性约束系统的效率更高。 本文给出一种模型语言;给出一个比较完整的形式化描述,该描述可用于证明与静态、动态数据依赖关系有关的程序性质;给出迭代松弛法中各概念的形式化定义;深入研究迭代松弛法及其改进后的方法的程序理论,其结果包括:将Neelam Gupta等人提出的谓词片推广为路径静态切片,证明路径静态切片构造算法的正确性,证明改进后的方法与原方法所生成的线性约束系统相同。 本文提出一个面向路径的测试数据生成框架。该框架以改进后的迭代松弛法为核心算法,对于谓词函数均为输入变量的线性函数的程序路径,采用基于线性规划、线性(混合)整数规划的约束求解器;对于谓词函数中含有输入变量的非线性函数的程序路径,采用线性规划、线性(混合)整数规划和最小二乘解法相结合的约束求解器。它具有以下 国防科学技术大学研究生院学位论文 性质:若W上各谓词函数均为输入变量的线性函数,并且所有输入变量均无整数限制; 则框架迭代一次后,或者找到W的解,或者保证w不可行;当谓词函数中含有输入变 量的非线性函数时,可能需要迭代多次。 本文开发了面向路径的测试数据生成框架的一个原型工具。用实际的程序路径对该 工具进行实验。初步的实验结果表明框架是比较有效的,不仅能够用于白盒、黑盒测试 数据的自动生成,而且能够用于面向断言的测试数据自动生成和回归测试数据的自动生 成。
【学位授予单位】:国防科学技术大学
【学位级别】:博士
【学位授予年份】:2002
【分类号】:TP311.53

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 郭鲜凤;软件测试技术探讨[J];太原大学学报;2002年03期
2 曾凌峰;;浅谈软件测试方法[J];科技资讯;2006年03期
3 高峰;李晋惠;王学通;;基于BDI的测试用例生成Agent模型[J];计算机工程;2007年15期
4 程伟想;;学生成绩管理系统中黑盒测试用例的设计[J];中国电力教育;2007年S2期
5 罗娜;;浅谈企事业单位软件测试体系的建立[J];科技情报开发与经济;2007年32期
6 吴艳征;宋志强;;浅谈黑盒测试用例设计方法[J];科技信息(学术研究);2008年16期
7 郭雷;;基于要因组合的测试用例生成技术研究[J];计算机与数字工程;2011年08期
8 马朝红;软件测试工具应用研究[J];计算机与网络;1999年Z1期
9 张强,杨荣焱;生成黑盒测试数据的设计思想在学生成绩管理系统中的实现[J];北京电子科技学院学报;2003年02期
10 夏侯赟;钟海;;软件测试技术的探讨[J];福建电脑;2006年09期
中国重要会议论文全文数据库 前10条
1 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 王晖;杨柳青;高振平;张幼春;朱学东;;软件测试自动化中的工具使用[A];第三届中国测试学术会议论文集[C];2004年
3 孙玫肖;贾成强;;软件测试技术及其在客票系统中的应用探讨[A];扩大铁路对外开放、确保重点物资运输——中国科协2005年学术年会铁道分会场暨中国铁道学会学术年会和粤海通道运营管理学术研讨会论文集[C];2005年
4 刘静;;对GUI网管软件测试方法的研究[A];全国第十三次光纤通信暨第十四届集成光学学术会议论文集[C];2007年
5 刘静;;对GUI网管软件测试方法的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
6 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
7 谢善益;高新华;徐展强;邓大为;;电网调度自动化系统(主站系统)专业测试方法[A];广东省电机工程学会2003-2004年度优秀论文集[C];2005年
8 李冬红;战茅;宗建建;;面向对象设计的构件测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 王运霞;朱建军;;关于提高测试有效性的研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
10 栾静;贺英杰;;软件测试方法及用例的设计分析[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
中国重要报纸全文数据库 前10条
1 计算机世界实验室 韩勖;工具决定效率[N];计算机世界;2010年
2 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
3 任连仲;成功绝非偶然[N];计算机世界;2001年
4 江苏省滨海广电局 顾雷;压力测试结果不理想怎么办[N];中国计算机报;2007年
5 ;软件测试的基本方法[N];中国计算机报;2002年
6 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
7 武刚;测试是质量的关键[N];中国计算机报;2003年
8 中国航天科技集团·神舟航天软件技术公司 高级测试经理 潘艳;浅谈软件测试工程师的培训工作[N];科技日报;2004年
9 戴金龙;如何测试高可靠性软件[N];计算机世界;2005年
10 程中平(作者单位:巢湖市城乡建筑设计院);如何制定有效的测试计划[N];安徽经济报;2006年
中国博士学位论文全文数据库 前9条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 刘晓红;互联网端到端网络性能影响因素的分析与评估[D];北京邮电大学;2007年
3 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
4 张岩;列车运行控制系统软件故障相关形式化测试方法[D];北京交通大学;2012年
5 张建武;面向Web应用的安全评测技术研究[D];北京邮电大学;2012年
6 邢学智;基于TTCN-3语言的测试理论与技术研究[D];中国科学技术大学;2010年
7 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
8 崔应霞;组合测试技术的研究与应用[D];安徽大学;2011年
9 张波;基于测试覆盖的安全关键软件测试策略研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2012年
中国硕士学位论文全文数据库 前10条
1 呼晓黎;软件自动化测试技术的研究与实现[D];西南交通大学;2007年
2 李寰;单元测试用例自动生成分析与设计[D];太原理工大学;2007年
3 张莉;N3806手机软件黑盒测试管理过程与方法[D];北京邮电大学;2012年
4 张湘江;研究生教育管理信息系统的设计与实现[D];华北电力大学(河北);2010年
5 彭宁;医药行业仓储系统设计与实现[D];中南大学;2011年
6 徐琳;银行卡的测试方法及其模拟实现[D];吉林大学;2010年
7 王鹏;基于改进遗传算法的面向路径测试用例自动生成方法研究[D];大连交通大学;2007年
8 李戍军;颌面创伤患者流行病学和损伤严重度量化评分研究[D];第四军医大学;2004年
9 乐鑫喜;基于退火遗传算法的测试用例自动生成[D];武汉理工大学;2005年
10 张明;GIS工程中的软件测试方法与技术研究[D];成都理工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026