覆盖并行待测行为的软件测试序列生成方法

发布时间：2017-12-06 20:00

  本文关键词：覆盖并行待测行为的软件测试序列生成方法

  更多相关文章： 待测行为 测试序列 着色Petri网 高覆盖性 低冗余性

【摘要】：并行软件在人们生活生产中扮演着越来越重要的角色。例如常见的网络软件、云计算软件等软件系统都具有并行行为特点。而作为保证软件质量的关键环节,软件测试起着关键作用。然而,并行软件由于其并行特点容易导致状态空间爆炸,而传统软件测试方法无法针对并行软件系统进行高效的测试,通常存在着低覆盖率、高冗余率、低测试效率等问题,因此并行软件测试问题成为研究热点。针对此类问题,本文选择形式化语言CPN(Colored Petri Net,着色Petri网)为待测并行软件系统建立模型,针对并行软件测试问题,做了以下几个方面的工作:(1)针对CPN模型提出面向待测行为的着色Petri网(Tested Behavior Oriented CPN,TBOCPN)的概念,将变迁集合细化为待测行为变迁集合、待测数据流相关行为变迁集合、无关行为变迁集合,进而引出待测相关行为模型单元概念,以描述此次测试目的。(2)提出覆盖并行待测行为的软件测试序列生成方法。首先,基于TBOCPN模型及其状态空间获取单个待测行为得到相关状态子图;其次,根据待测行为相关子图的交集关系划分并发行为集;最后,针对并发行为集,提出了完整的测试序列生成、连接和优化方法达到高覆盖性、低冗余率的并行软件测试效果。(3)针对待测及相关行为执行顺序全覆盖性和算法的低冗余性进行了分析,通过并行软件测试实例进行了本算法与传统测试方法的测试结果分析,从而验证了本算法的高覆盖性、低冗余性。
【学位授予单位】：内蒙古大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP311.53;TP301.1

【参考文献】

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

1 刘启明;;软件设计模式应用研究[J];电子技术与软件工程;2015年09期

2 蔡立志;;基于CPN状态空间的软件场景测试[J];计算机应用与软件;2010年09期

3 王站立;;利用MSXML解析XML文档[J];科技信息;2009年15期

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

1 孙涛;基于CP-nets模型的并行软件测试方法研究[D];内蒙古大学;2012年

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

1 刘璐;基于CP-nets的针对待测线性行为的测试序列生成工具的设计与实现[D];内蒙古大学;2016年

2 张玉荣;一种on-the-fly测试方法研究及其适配器的设计与实现[D];内蒙古大学;2016年

3 陈丽娜;数据约束下的业务流程Petri网模型的变化域分析与控制[D];安徽理工大学;2016年

4 闫璐;Web应用二阶SQL注入漏洞检测方法研究[D];天津大学;2014年

5 张晓迪;基于禁忌搜索的字符串型测试数据自动生成[D];北京化工大学;2013年

6 郭丽娟;基于即时验证的嵌入式软件验证技术研究[D];南京航空航天大学;2010年

7 方贤文;基于Petri网的并行程序分析与评价[D];山东科技大学;2004年

，

本文编号：1259765