收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于FSM的测试用例生成和测试优化

刘攀  
【摘要】:随着软件复杂性的增长、软件不断向其它领域的渗透及对软件可靠性要求的增加,如何保证软件的质量和可信性变得越来越困难,相应的成本也不断增加。早期的研究表明测试成本已经占软件开发总成本的50%以上,未经充分测试的软件会带来严重的经济影响。 基于模型的测试是指由软件的行为模型产生测试用例,再测试实际的软件实现是否与模型一致。模型描述了软件“做什么”而不是“怎么做”,因此由模型导出测试用例时不必考虑到程序的具体实现。 过去,一些基于模型的测试生成方法和测试准则已被相继提出。例如W方法、UIO方法、DS方法、状态覆盖准则、迁移覆盖准则和迁移对覆盖准则等等。然而,由于测试意图的不同,上述这些测试生成方法和测试准则并不能解决所有的问题且具有一定的局限性。例如,虽然W方法具有很强的错误探测能力,但该方法生成的测试序列包含大量的冗余,导致测试成本的急剧增加。为此,PW方法和R-PW方法被相继提出。这些方法具有与W方法相同的测试效率,同时可减少测试序列中的冗余。然而这些被提议的方法同样也有其自身的缺点,例如实现算法的效率问题。 本文主要研究基于FSM模型的测试用例生成和测试用例优化。采用的建模语言为有限状态机。本文的研究成果同样适用于带标签迁移系统(LTS)、约束逻辑程序和Petri网等。基于状态机的理论,本文提出了一整套基于FSM模型的测试用例生成及测试优化的理论和技术。 首先本文研究了基于模型的测试理论,包括三种主要的建模语言(约束逻辑程序、有限状态机、标签迁移系统)的理论基础。其中重点是介绍了有限状态机的原理,由有限状态机产生测试用例的前提和假设,常见基于模型的测试生成方法的理论基础,测试覆盖准则及它们适用范围,并对现有测试覆盖准则进行了一定的理论评估。另外还介绍了常用的测试优化技术等。 接着本文讨论了现有的一些基于模型的测试生成算法及满足测试覆盖准则的一些经典算法,并分析了不同算法的时间效率和空间效率。针对现有的特征集合和迁移覆盖集合的算法效率过低问题,提出了两个改进算法,并采用形式方法给出了这两个算法的理论支持,最后实验对比了这两个算法与现有算法的效率。 软件测试的目的是用最小的成本测试软件中的每一部分。然而,实际软件测试中,穷尽测试软件中的每一部分是不现实的。因此需要对测试成本和测试效率进行权衡。依据程序中80%的错误来源于20%的代码原理,本文提出了确定性有限状态机的最小测试成本迁移覆盖准则。由该准则产生一组测试序列集合具备完备性、无冗余或冗余较小、集合较小、测试序列总长度较短,有效的平衡了测试成本和测试效率。 在针对复杂系统进行测试时,本文建议采用正则表达式来描述系统的有限状态机模型,再对正则表达式进行有效分解,获取相关的子正则表达式,最后由子正则表达式产生相关的测试用例。该方法的重点及难点是如何获取正则表达式的有效分解,使得测试用例来源于被分解的正则表达式与来源于原表达式的测试用例具有相同的错误探测能力。这种测试生成方法与最小测试成本迁移覆盖相互补充,弥补了最小测试成本迁移覆盖对FSM模型中循环部分测试不足的问题。 为解决测试序列集合中的冗余问题,本文也提出了解决方案。一类是针对由某个测试覆盖准则产生测试用例时存在冗余问题的解决。本文将一个测试序列看成一个字符串,利用字符串匹配的方式约简冗余的字符,同时增加满足该覆盖准则的必要约束条件,保留满足约束条件的冗余,删除不满足约束条件的冗余。随后设计了一组转换规则,将约简后的无效测试片段转换成有效的测试序列。 为设计有效测试用例,本文建议首先采用逻辑运算进行约简,再采用了逻辑覆盖准则设计测试用例。随后本文讨论了现有的逻辑覆盖准则,分析了逻辑覆盖准则与测试用例生成之间的关系,并提出了一种新的逻辑覆盖准则(TTJ准则)。 最后本文开发了一个基于FSM模型的测试生成工具。该工具整合了上述所有的测试生成及测试优化算法。利用该工具,能建立软件系统的可视化FSM模型,并能由该模型产生有效的测试用例。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 辛欣;;一种从UML模型生成测试用例方法的研究与实现[J];电脑知识与技术;2009年23期
2 朱凯;毛宜军;叶俊民;;软件体系结构测试研究与进展[J];现代计算机(专业版);2009年09期
3 黄陇;郭玉福;吴际;金茂忠;;基于JUnit和元模型的模型存储测试设计与实现[J];北京航空航天大学学报;2007年04期
4 曾红卫;缪淮扣;;优化基于模型检验的测试生成[J];计算机辅助设计与图形学学报;2011年03期
5 刘龙霞;吴军华;;基于UML活动图的Web应用测试用例生成[J];江南大学学报(自然科学版);2011年03期
6 周航;黄志球;孙海燕;张广泉;祝义;;基于OCL约束的多态性时序图测试用例生成方法[J];解放军理工大学学报(自然科学版);2008年03期
7 万琳;张威;赵鹏宇;;如何改善路径测试用例生成的搜索算法[J];装甲兵工程学院学报;2006年02期
8 陈小光;陈蔚薇;郭丽丽;;嵌入式软件运行剖面建模及测试用例生成[J];微计算机信息;2008年11期
9 王子元;徐宝文;聂长海;;组合测试用例生成技术[J];计算机科学与探索;2008年06期
10 李路军;谢彦峰;;蒙特卡罗方法在黑盒测试用例生成中的应用[J];太原科技;2010年01期
11 万琳;;路径测试用例自动生成中的搜索算法分析[J];计算机工程;2006年01期
12 付剑平;陆民燕;阮镰;;软件测试用例生成中的前置条件分析[J];计算机应用研究;2007年03期
13 江曼;王天青;潘金贵;;一个面向对象软件自动测试框架的设计和实现[J];计算机应用与软件;2007年03期
14 徐博;樊晓光;田涛;;扩展UML状态图在软件测试中的应用[J];计算机工程;2007年24期
15 熊利;周宽久;;基于使用模型的嵌入式软件测试用例生成研究[J];计算机技术与发展;2010年05期
16 李志强;邵培南;朱辉;;基于UML顺序图的测试用例生成[J];计算机工程;2010年22期
17 郭健强;蔡希尧;;基于方法序列规范的测试用例生成[J];计算机科学;2000年01期
18 郑明辉,周慧华,杨木祥;测试用例生成算法TCBSA研究[J];计算机工程与应用;2005年22期
19 赵翔;李志蜀;;基于不变量探测的JUnit测试用例自动生成的实现[J];计算机应用;2007年S1期
20 赵翀;高鹏;;基于线索的测试用例生成研究[J];计算机与数字工程;2008年10期
中国重要会议论文全文数据库 前10条
1 李磊;曹先彬;;基于进化的软件测试用例生成方法[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
2 周瑞杰;江国华;;基于遗传算法的面向对象类测试用例生成研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
3 侯晨光;汪启华;;基于UML分层模型的机载软件可靠性测试用例生成技术探讨[A];探索 创新 交流(第4集)——第四届中国航空学会青年科技论坛文集[C];2010年
4 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
5 贲可荣;米磊;;一种基于UML活动图的软件可靠性测试用例生成方法[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(下册)[C];2006年
6 曹文静;徐胜红;;基于数据流图的测试用例生成技术研究[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年
7 王晓峰;赵瑞莲;;面向对象软件和EFSM规范测试覆盖准则比较[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
8 周杨;王峰;;FSM——基于子图同构和结构同构的频繁子图挖掘算法[A];第二十四届中国数据库学术会议论文集(研究报告篇)[C];2007年
9 高建华;陈茹;;基于多层次功能模型的代价分析回归测试技术研究[A];第三届中国测试学术会议论文集[C];2004年
10 黄萍;戴志华;;指控系统软件测评技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
中国博士学位论文全文数据库 前10条
1 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
2 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
3 宋波;Web应用交互的建模和测试用例生成[D];上海大学;2010年
4 朱彬;基于用户界面规格说明的Web应用建模与测试用例生成[D];上海大学;2011年
5 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
6 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年
7 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
8 江胜;基于进化测试的用例生成方法研究[D];华中科技大学;2009年
9 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
10 赵岭忠;基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究[D];西安电子科技大学;2007年
中国硕士学位论文全文数据库 前10条
1 靖焱林;基于UML-XML的车载设备测试用例生成方法研究和实现[D];北京交通大学;2011年
2 冯星星;一种面向对象系统功能的测试用例生成方法研究[D];华中师范大学;2011年
3 熊芳;基于CNMARC标准的测试用例生成方法的研究与应用[D];北方工业大学;2010年
4 赵艳军;基于CHAM的类测试用例生成[D];太原理工大学;2011年
5 刘瑞;基于改进PSO算法的测试用例生成方法研究[D];河南大学;2011年
6 吴道华;基于着色Petri网的测试用例生成及其在列控系统中的应用[D];北京交通大学;2010年
7 尚建强;计算机测试方法的研究与应用[D];西安电子科技大学;2008年
8 朱佳;基于MSDN FORUMS项目的软件测试研究与实现[D];西北工业大学;2006年
9 赵明;类状态测试用例自动生成方法与实现[D];西安理工大学;2004年
10 陈小光;航天嵌入式软件任务剖面建模研究[D];中国科学院研究生院(空间科学与应用研究中心);2007年
中国重要报纸全文数据库 前5条
1 李运;英国实行单一金融监管[N];中国城乡金融报;2002年
2 吴世湘;亚洲光纤连接器工业潜力巨大[N];中国电子报;2000年
3 王逸;税收战略管理论坛[N];中国税务报;2002年
4 人行上海分行 丛阳;英国防范洗钱犯罪法规概述[N];上海金融报;2001年
5 海燕;施乐全面推广增值服务[N];中华工商时报;2000年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978