收藏本站
《四川大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

自动化软件测试技术研究

金虎  
【摘要】: 从计算机的诞生开始,人们对程序正确性的追求就一直没有停止过。软件测试正好可以帮助人们确定和保证软件产品的质量,提高使用者对软件产品的信心。但是,软件测试同时也是一项非常困难和复杂的工作。无论从测试时间的花销和测试资源的耗费上都达到了整个软件项目的50%以上。因此,软件测试一直都是软件工程中相当活跃的研究领域,提高软件测试的性能和效率,对于软件工程具有非常重要的价值。 从上世纪70年代以来,伴随着软件工程的发展,对系统化的软件测试技术和方法的研究也随之不断地发展。软件测试从最初的静态分析,动态调试等简单的个体查错行为逐渐发展成为形式化、系统化的工程行为。各种形式化的证明与验证技术用于确保程序的正确性,大量的统计方法也被应用于软件测试,以评测软件产品的质量和软件系统的可靠性。随着软件系统规模的日益扩大,以及应用领域的不断拓展,对软件系统的测试也变得更加困难和复杂,传统的人工测试的局限性也越来越明显。软件测试技术的研究需要有革新性的发展。自动化软件测试技术正是在这样的背景下受到了密切的关注,成为近年来软件测试的重要研究方向。 自动化软件测试技术可以克服传统测试技术的许多问题。自动化测试所依据的是一套严密的测试法则和评估标准,具有完整的自动测试过程。因此,它可以避免测试人员惯性思维所导致的测试疏漏,也可减少由于手工测试中繁复的重复工作所导致的人为差错。同时,自动测试是严密控制的测试步骤,易于实现错误信息的追踪和场景的再现。另外,自动测试所带来的简便性,高效性无疑都能给测试分析人员提供极大的便利。因此,自动测试技术已成为提高测试效率,保证测试有效性的重要研究内容。 软件工程中,针对软件的CMM模型,曾经有对应的TMM测试模型。随着自动测试技术的研究发展,已经为不同的TMM测试级别形成了相应的自动化软件测试等级。自动化的测试管理配置工具,以及各种自动测试方法被应用于软件开发生命周期中的各个阶段,极大地提高了测试的效率,减少了测试资源的开销,节省了测试人员的占用,大大地缩短了测试的周期。如今,自动化测试技术的理论研究和工程应用相结合,正显现出强劲的发展势头,具有重要的理论意义和非常有价值的现实意义。 本文工作中主要的创新性研究成果和贡献如下: (1)提出了面向程序结构测试的一体化自动测试框架模型。在实际的软件工程应用中,由于软件测试具有很强的针对性,各种测试活动往往难以制定为统一的标准行为,为满足特定的测试目标,需要有效组织多种不同的测试活动。这使得设计和实现统一的高效的自动测试框架模型变得困难。自动测试框架模型可看作是组织和联系各个测试活动的容器,设计良好的自动测试框架模型,不仅能为各种测试活动提供很好地支持,具有较好的扩展性和兼容性;同时,应该能够适应不同测试目标的需求,尽量发挥不同测试活动的特点和性能。本文所提出的测试框架模型考虑到测试策略的动态性,根据测试策略对测试活动进行调配,有较强的适应性。同时,该模型可尽量提供对不同测试活动的支持,以及对不同自动测试活动的实现和扩展,尤其对自动化测试用例技术的支持,具有较好的可操作性。 (2)对自动化测试用例的生成技术进行了深入的研究后,针对不同的测试策略,设计了不同的测试用例自动生成的实现方法。在基于程序功能的测试用例自动生成中,设计和实现了基于程序规则说明和决策表技术的测试用例自动生成方法,从功能覆盖角度指导测试用例的自动生成。该研究中,针对功能测试中缺乏确定和公认的测试充分性判定标准,导致难以保证自动测试的充分性和完备性的问题,使用测试条件决策表技术用于指导测试用例的自动生成。该方法确保了针对功能的测试用例生成的完备性,有效解决了前述的自动测试标准问题。 (3)在基于程序结构的测试用例自动生成研究中,设计了使用遗传算法的测试用例自动生成方法。该方法是一种面向目标的自动测试技术,其目标是为了生成能够均匀覆盖程序各条动态执行路径的测试用例。程序的静态控制路径作为参照基础,并以路径信息将测试用例空间进行等价类划分,以等价类中的元素数量设计测试用例的适应度函数。通过动态调测试用例的整适度,可抑制冗余测试用例的生成,同时奖励可触发不易发生路径的测试用例生成。可有效避免由于测试用例空间分布不均匀性所导致的测试冗余或测试不充分情况,有效地提高了测试用例自动生成的效率。 (4)研究启发式学习算法在自动测试技术中的应用,针对路径CSP的自动求解设计了改进的前向检测算法。算法结合了边界测试数据选取技术和宽度优先的二叉树搜索技术,可以完成对实数域空间的有限数据集选取,但同时保证去处的数据可能导致解遗漏的几率低于特定的水平。再通过对该有限集合采用宽度优先的二叉树搜索方法,提高了问题的求解速度。软件测试中,为了检测程序中可能存在的不可达指令代码,需要对程序的动态执行路径进行分析,将程序指令的可达性测试表示成关于该指令所在路径的限制满足问题,则自动测试过程就对应了为对路径CSP的自动求解。因此,这种方法可有效解决自动化指令可达性。 (5)将有限状态自动机模型应用于建立自动化测试模型。本文应用该模型对TCP协议服务端进行检测,使用状态转移序列的安全路径和临界循环路径以及时钟检测技术,测试网络应用程序的安全性,是一种较为底层的验证模型。在实现测试自动化的过程中,该模型用于建立较高抽象层次的验证模型,以可执行规则说明提供的测试预测信息作为参照,实现自动测试过程中的错误检测和定位。研究表明,有限状态自动机模型这种形式化的方法,可为软件测试提供不同级别的验证支持。
【学位授予单位】:四川大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:TP311.52

手机知网App
【引证文献】
中国期刊全文数据库 前4条
1 胡文倩;汪培;李彬雅;丁兵;吴允平;李汪彪;苏伟达;;面向功能的嵌入式系统多串口测试软件设计[J];电子测量技术;2013年07期
2 马胜男;孙翊;陈玉忠;孙亮;;软件测试与Web服务测试研究进展[J];标准科学;2009年09期
3 赵淑芳;;引入自动化测试功能对工程算量软件的影响[J];建材技术与应用;2011年09期
4 王华;刘焕敏;段慧芬;顾培;李磊;;一种软件自动测试系统[J];计算机系统应用;2013年01期
中国硕士学位论文全文数据库 前10条
1 黄玮;基于RFT自动化测试的设计与实现[D];电子科技大学;2011年
2 郭晓燕;基于J2EE构架的关键字驱动自动化软件测试技术研究[D];郑州大学;2011年
3 代云华;基于拓扑调度的软件自动化测试技术的研究与实现[D];西南交通大学;2011年
4 黄得女;面向视频监控的软件自动化测试技术的研究与应用[D];杭州电子科技大学;2010年
5 黄艳玲;复杂数据类型测试用例自动生成技术研究[D];华中科技大学;2011年
6 尹春娇;自动化单元测试中MOCK技术的研究与应用[D];安徽大学;2011年
7 肖春艳;基于模型的软件测试自动化研究[D];江南大学;2012年
8 黄蓉;基于Android操作系统的自动化测试系统的研究与实现[D];北京邮电大学;2012年
9 王文军;Java ME程序测试平台的若干关键技术研究[D];大连海事大学;2008年
10 董贤伟;关键字驱动的自动化软件测试的研究[D];南京理工大学;2009年
【参考文献】
中国期刊全文数据库 前3条
1 姚实颖,肖沙里,谭霞,唐跃林;软件测试自动化中建立可维护脚本的技术[J];计算机工程;2003年11期
2 李建华,王孙安;最优家族遗传算法[J];西安交通大学学报;2004年01期
3 徐小良,汪乐宇,周泓;自动测试系统的对象框架[J];浙江大学学报(工学版);2004年01期
【共引文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 晏海华,胡佳,张丽凤,贺飞;基于文档状态的软件质量保证过程管理[J];北京航空航天大学学报;2001年04期
3 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
4 唐发根,钱红兵;Ada软件数据流分析方法及其实现[J];北京航空航天大学学报;1997年01期
5 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
6 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期
7 黄湘武,陈英,霍欣刚,严伟;面向对象语言编译器自动测试工具[J];北京理工大学学报;2002年05期
8 梁应宏,陈绍强;用YACC实现程序插装器[J];北京邮电大学学报;1997年01期
9 唐科,汪文勇,刘利枚;嵌入式软件覆盖测试的研究[J];成都信息工程学院学报;2005年05期
10 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
中国重要会议论文全文数据库 前10条
1 孟涛;李俊;张立新;赵曦晶;;军用软件的可靠性及其保证[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
2 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
3 高鹏;高清柳;;多路充值系统终端模拟程序的开发与实现[A];中国高速公路管理学术论文集(2009卷)[C];2009年
4 赵永强;李刚;;大时滞系统的自寻优模糊控制[A];全国炼钢连铸过程自动化技术交流会论文集[C];2006年
5 占建伟;吕志成;张国柱;欧钢;;基于面向对象框架的北斗接收机自动测试系统[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
6 张继辉;刘志刚;于钧;;浅谈单片机系统常用的软件抗干扰措施[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
7 张杰;林晓欲;;弹载软件系统测试方法研究[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
8 翟志华;单锦辉;孙萍;;软件故障预防方法探讨[A];第五届中国测试学术会议论文集[C];2008年
9 董娜;宫云战;金大海;;一种过程内及过程间数组越界故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
10 张志刚;;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力:中国质量学术与创新论坛论文集(下)[C];2010年
中国博士学位论文全文数据库 前10条
1 晁冰;基于支持向量机的软件可靠性模型分类及失效分析[D];武汉大学;2010年
2 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
3 袁修华;开放式数控系统软件故障自诊断、自愈合的研究[D];吉林大学;2011年
4 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
5 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
6 王成光;流程工业大型实时数据库理论、技术与应用[D];浙江大学;2003年
7 赵敏;机动车安全性能测控系统关键技术研究[D];南京航空航天大学;2002年
8 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
9 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
10 曹星平;HLA仿真系统的校核、验证与确认研究[D];国防科学技术大学;2004年
中国硕士学位论文全文数据库 前10条
1 邹雄;基于FPGA的弹载计算机调试方法研究[D];南昌航空大学;2010年
2 王冲;某发射控制盒综合测试系统设计[D];哈尔滨工程大学;2010年
3 罗晨;基于网络的库存管理系统的研究与应用[D];哈尔滨工程大学;2010年
4 杨晨;基于PAR平台的最弱前置谓词生成器的设计与实现[D];江西师范大学;2010年
5 王卫锋;FSCS自适应随机测试算法的边界效应及运行效率研究[D];华东师范大学;2010年
6 华韵子;强对流天气识别系统的设计与实现[D];华东师范大学;2010年
7 梁剑勇;顺德社会治安视频监控系统中心平台建设[D];华东师范大学;2010年
8 邓海东;某银行软件外包质量控制研究[D];华南理工大学;2010年
9 何天添;嵌入式软件模块高可靠性设计与验证技术研究[D];华东理工大学;2011年
10 杨晶;基于UML状态图的自动化测试框架研究与实现[D];华东理工大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 韩冬;JavaBean在JSP中的应用[J];安徽电子信息职业技术学院学报;2003年06期
2 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
3 周伯生 ,刘超 ,陈代翔;软件测试技术及其支持环境[J];北京航空学院学报;1988年04期
4 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
5 李秋英;姜梦岑;;软件可靠性验证测试最小测试量的必要条件[J];北京航空航天大学学报;2010年02期
6 刘超,金茂忠;软件测试过程的基本模型POCERM[J];北京航空航天大学学报;1997年01期
7 杨树林;胡洁萍;;JDBC访问数据库的优化策略[J];北京印刷学院学报;2006年04期
8 李永忠;;软件测试中有效利用自动化测试方法的研究[J];长沙交通学院学报;2006年02期
9 袁万莲;C++的多态机制与虚函数的实现[J];滁州学院学报;2005年01期
10 罗娜,林和平,袁福宇;面向对象软件测试的方法研究[J];东北师大学报(自然科学版);2004年01期
中国博士学位论文全文数据库 前10条
1 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
2 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
3 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
4 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
5 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
6 张广梅;软件测试与可靠性评估[D];中国科学院研究生院(计算技术研究所);2006年
7 杨静;UML模型的语义模型[D];贵州大学;2006年
8 秦莉娟;基于内容的自动视频监控研究[D];浙江大学;2006年
9 赵瑞莲;软件测试方法研究[D];中国科学院研究生院(计算技术研究所);2001年
10 史亮;测试数据自动生成技术研究[D];东南大学;2006年
中国硕士学位论文全文数据库 前10条
1 吴志永;石油勘探测井系统软件测试的实施[D];北京邮电大学;2010年
2 梁利亭;基于UML的面向对象的软件测试研究与应用[D];南京理工大学;2010年
3 向东红;多功能综合测试仪功率频率计模块设计[D];电子科技大学;2011年
4 刘晓宇;多功能综合测试仪4通道数据采集模块设计[D];电子科技大学;2011年
5 王春卉;多功能测试仪软件设计[D];电子科技大学;2011年
6 谢敬林;1GHz合成扫频源硬件电路设计[D];电子科技大学;2011年
7 石红霞;软件测试运行规划及自动化测试工具的研究[D];成都理工大学;2011年
8 焦鹏欢;基于敏捷软件过程的软件测试研究与应用[D];西安建筑科技大学;2011年
9 蒋薇;数字存储示波表的软件设计[D];电子科技大学;2003年
10 申小军;面向对象软件自动化单元测试技术研究[D];西安电子科技大学;2004年
【二级引证文献】
中国期刊全文数据库 前3条
1 吕雪芹;敖振浪;陈冰怀;;基于VK3234的共享中断编程关键技术[J];电子测量技术;2014年04期
2 苑立娟;张育玉;;基于模糊测试的软件安全性测试框架的研究与设计[J];煤炭技术;2010年08期
3 王小巍;;基于Sikuli的自动化测试研究与应用[J];软件导刊;2012年04期
中国重要会议论文全文数据库 前1条
1 游争光;刘建勋;唐明董;;分布式Web服务测试系统的设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
中国硕士学位论文全文数据库 前10条
1 梁家安;自动化软件测试技术研究[D];江南大学;2011年
2 郭晓燕;基于J2EE构架的关键字驱动自动化软件测试技术研究[D];郑州大学;2011年
3 张永超;自动化测试框架的研究与实现[D];西南交通大学;2011年
4 代云华;基于拓扑调度的软件自动化测试技术的研究与实现[D];西南交通大学;2011年
5 刘非非;青岩寺风景区网络服务平台的研究与开发[D];电子科技大学;2011年
6 陈琳;嵌入式软件自动化测试平台的研究与实现[D];南京航空航天大学;2010年
7 谈飞;基于代码生成技术的自动化测试工具的设计与实现[D];华中科技大学;2010年
8 庞小飞;GDI打印驱动自动化测试系统的设计与实现[D];天津大学;2012年
9 曾雪梅;基于FitNium的关键字驱动的Web测试框架的研究与实现[D];南京理工大学;2012年
10 曹闪;跨网融合业务自动测试系统的设计与实现[D];北京邮电大学;2012年
【二级参考文献】
中国期刊全文数据库 前3条
1 张铃,ahu.edu.cn,张钹;遗传算法机理的研究[J];软件学报;2000年07期
2 张铃,张钹;统计遗传算法[J];软件学报;1997年05期
3 庄健,王孙安;自调节基因移民遗传算法的研究[J];西安交通大学学报;2002年11期
【相似文献】
中国期刊全文数据库 前10条
1 饶芳蕾,温晓慧;银行业务应用系统2000年测试[J];中国金融电脑;1998年09期
2 何新华,张威,赵宇,卢庆龄;软件可靠性数学仿真测试平台设计与研制[J];装甲兵工程学院学报;1998年01期
3 冯柳平,武小年,周德新;软件测试技术在医保管理系统中的应用[J];桂林电子工业学院学报;2001年01期
4 王毅,蔡建平;基于API测试的分布式测试框架的研究与实现[J];计算机工程与设计;2004年08期
5 段红玉,陈炎龙;程序调试技巧[J];郑州牧业工程高等专科学校学报;2005年02期
6 张元华;王峻;;通过软件测试提高航空电台软件质量[J];电讯技术;2006年03期
7 贺青春;叶柏龙;;完全路径覆盖测试法[J];矿业研究与开发;2007年01期
8 刘海鹏;;手机软件测试简介[J];科技咨询导报;2007年01期
9 刘杰;;软件测试与测试中的复用技术[J];科技资讯;2007年04期
10 李宝林;李志蜀;李斌;金虎;王莉;;基于Bayes的软件可靠性模型研究[J];计算机工程与科学;2007年10期
中国重要会议论文全文数据库 前10条
1 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
4 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
7 王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
10 孟洛明;;安全性测试及基于属性文法的测试用例生成器[A];第四次全国计算机安全技术交流会论文集[C];1989年
中国重要报纸全文数据库 前10条
1 通文;罗德与施瓦茨:HSDPA测试“软硬兼施”[N];通信产业报;2006年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 刘昶;多媒体移动终端的MMS一致性测试[N];通信产业报;2005年
4 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
5 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
6 刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
7 罗德与施瓦茨中国有限公司 周云;罗德与施瓦茨领跑HSPA测试[N];通信产业报;2006年
8 武刚;测试是质量的关键[N];中国计算机报;2003年
9 罗德与施瓦茨中国有限公司 刘昶;用规范化“通畅”PoC测试[N];通信产业报;2006年
10 特约撰稿 张勇;基于需求的测试:确保需求与软件的统一[N];计算机世界;2011年
中国博士学位论文全文数据库 前10条
1 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
3 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
5 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
6 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
7 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
8 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
9 陈翔;组合测试技术及应用研究[D];南京大学;2011年
10 张琛;基于UML2.0模型的测试与验证方法[D];西安电子科技大学;2012年
中国硕士学位论文全文数据库 前10条
1 牟余鑫;基于测试用例的缺陷跟踪管理工具的设计与实现[D];吉林大学;2004年
2 章烨;Fuzz安全测试技术研究[D];西安电子科技大学;2010年
3 高凯;嵌入式实时操作系统性能测试方法的研究与应用[D];青岛大学;2010年
4 许扬;ATE软件测试策略及实例研究[D];电子科技大学;2004年
5 黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
6 殷广丽;软件测试管理与测试应用实践[D];山东大学;2005年
7 高超;实时CORBA平台一致性测试的研究与实现[D];北京邮电大学;2006年
8 高秋;GMTAF测试自动化框架的设计与实现[D];浙江大学;2007年
9 杨帆;基于系统测试的测试管理工具的开发及其应用研究[D];同济大学;2007年
10 周秋丹;软件测试在IBM域管理系统中的应用[D];大连理工大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026