收藏本站
《西南大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网的并发程序测试路径生成

霍敏霞  
【摘要】:随着并发软件的广泛应用,并发软件的测试成为很多学者的研究对象。然而,并发程序执行测试路径时的不确定性使其测试难度加剧。Petri网在描述并发方面具有其它系统模型无法比拟的优势。针对并发程序测试路径的不可预测性,Petri网利用自身优势,通过构建并发程序问题描述的Petri网模型,为并发程序及其测试路径的生成提供了桥梁作用。 目前,基于Petri网的软件测试路径生成方面的研究还存在一些问题。基于可达图的测试路径生成算法采用了热点优先和拓扑排序方法,该方法的优点是能够去掉不可行路径,但存在测试集爆炸问题。基于可达树方法通过对可达树中是否存在循环节点来分类生成软件的测试路径,算法较为复杂。因此,研究并发程序的测试路径生成并减少测试集就具有十分重要的意义。 本文通过相关理论的学习,在已有研究成果的基础上,提出了基于Petri网的并发程序测试路径的生成方法,主要进行以下几个方面的探讨和研究: 1)利用Petri网建模工具PIPE 3.0(Platform Independent Petri Net Editor)构建并发程序的Petri网模型并进行模型验证,以分析并发程序的基本性质。 2)利用可达图的测试路径生成算法,以及结合UML状态图、扩展状态机和Petri网采用可达图和有向图搜索算法来生成类的测试路径的思想,本文提出一个适用于并发程序的测试路径生成算法,使得原有的Petri网工具具有测试路径生成功能。实验采用分段路径测试方法能够覆盖网中所有的节点并达到减少测试集的目的。 3)本文通过Petri网模型的建立、模型验证、矩阵的转化和测试路径生成四步来完成,并通过实验对生成算法进行验证和评估。实验表明Petri网在并发程序测试路径生成中的应用具有可行性和有效性。
【学位授予单位】:西南大学
【学位级别】:硕士
【学位授予年份】:2011
【分类号】:TP311.53

【引证文献】
中国硕士学位论文全文数据库 前1条
1 赵涛;多通道压力测试系统petri网建模及其性能分析[D];电子科技大学;2012年
【参考文献】
中国期刊全文数据库 前10条
1 任爱华,牛锦中,张永鸣;一种基于面向对象 Petri 网的并发程序建模方法[J];北京航空航天大学学报;1998年04期
2 桂志波,任占江;基于弱引发加时Petri网并发系统逻辑验证与资源优化[J];弹道学报;1999年01期
3 蔡菊;王迪;李必信;;基于扩展的层次有色petri网的组合服务测试用例生成[J];东南大学学报(自然科学版);2008年04期
4 戚晓芳;徐宝文;周晓宇;;一种基于程序可达图的并发程序依赖性分析方法[J];电子学报;2007年02期
5 林红昌;胡觉亮;丁佐华;;基于Petri网的软件测试用例的产生及分析[J];计算机工程与应用;2009年17期
6 葛敬军;黄华;胡建明;;面向语义Web服务组合的模糊Petri网推理算法[J];计算机科学;2009年09期
7 杨劲松;凌培亮;;一种模糊Petri网的逆向知识推理方法设计实现[J];计算机科学;2009年12期
8 丁志军,蒋昌俊;并发程序验证的时序Petri网方法[J];计算机学报;2002年05期
9 蒋昌俊;Petri网的叠加运算[J];计算机学报;1994年S1期
10 蒋昌俊;吴哲辉;;Net Operations[J];Journal of Computer Science and Technology;1992年04期
中国博士学位论文全文数据库 前1条
1 卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年
中国硕士学位论文全文数据库 前6条
1 方贤文;基于Petri网的并行程序分析与评价[D];山东科技大学;2004年
2 唐燕飞;基于Petri网的用例建模研究[D];西南大学;2006年
3 王红英;基于Petri网的软件模型验证[D];华东师范大学;2007年
4 丁宁;异步消息通信环境下并发程序的可达性测试研究[D];华中科技大学;2006年
5 王静;基于事件约束的并发程序测试方法研究[D];华中科技大学;2007年
6 吴道华;基于着色Petri网的测试用例生成及其在列控系统中的应用[D];北京交通大学;2010年
【共引文献】
中国期刊全文数据库 前10条
1 黄妮;吴晓军;;基于时间约束的软件工程资源配置petri网检测模型[J];办公自动化;2011年20期
2 李哲;洪志国;吕家国;;基于SPN的LEO卫星网络建模分析[J];中国传媒大学学报(自然科学版);2008年01期
3 任爱华,金茂忠;基于OOPN的实时软件开发方法与环境的研究[J];北京航空航天大学学报;2001年04期
4 吴海;孙永雄;付庆兴;徐佳琪;;UML图转有色Petri网图文法[J];吉林大学学报(信息科学版);2011年04期
5 廖臣;周俊;刘大刚;刘盛纲;;粒子模拟软件中电磁场计算并行算法的研究[J];材料导报;2007年S2期
6 牟小玲;丁晓明;张望;;基于Petri网的测试用例生成研究进展[J];重庆交通大学学报(自然科学版);2012年01期
7 冯英华;许志才;王娟;;基于NicheGA和FPN的独立全局约束Web服务组合优化方法[J];滁州学院学报;2010年05期
8 陈晓波;杨为民;余强;褚一平;;一种用于检测及控制的实时多任务操作系统[J];东北大学学报;1996年02期
9 肖凡;张涛;刘勇志;;基于对象Petri网和可视化技术的弹道仿真方法研究[J];弹箭与制导学报;2010年01期
10 廖臣;祝大军;刘盛纲;;五点差分格式求解泊松方程并行算法的研究[J];电子科技大学学报;2008年01期
中国重要会议论文全文数据库 前4条
1 逄建;张广胜;于朝萍;;基于Petri网的网络系统脆弱性评估[A];第十九次全国计算机安全学术交流会论文集[C];2004年
2 王商武;张长水;韩曾晋;;FMS运行中死锁的预测和避免[A];1993中国控制与决策学术年会论文集[C];1993年
3 洪志国;石民勇;王永滨;;基于SPN模型的卫星网络中BGP-S协议的性能评价[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
4 韩耀军;吴哲辉;;基于Petri网的数据库并发控制的可串行化与死锁检测(英文)[A];第十七届全国数据库学术会议论文集(技术报告篇)[C];2000年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 张帆;基于MPI和GPU直流电法和大地电磁法三维正演的并行算法研究[D];中国地质大学(北京);2011年
3 何倩;P2P系统性能优化若干关键技术研究[D];北京邮电大学;2010年
4 董存祥;应急事件处置流程建模及其过程协同研究[D];天津大学;2010年
5 李良明;基于动态行为模型的构件及组装测试的研究[D];南京航空航天大学;2010年
6 金涛斌;不同结构DGS微波滤波器的传输特性研究[D];天津大学;2011年
7 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
8 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
9 叶志宝;支持企业业务过程持续改善的应用系统开发方法[D];中国科学院研究生院(软件研究所);2002年
10 张予川;基于组件的机械CAD并行开发方法的研究[D];武汉理工大学;2002年
中国硕士学位论文全文数据库 前10条
1 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
2 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
3 刘涛;遥感图像分块分类技术的研究与应用[D];山东科技大学;2010年
4 裴保梅;基于物理特征的二维流场的并行拓扑结构分析[D];中国海洋大学;2010年
5 修桂生;CTCS-3级列车载设备测试平台—列车运行仿真器的建模与实现[D];北京交通大学;2011年
6 杨珏;基于并行环境求解TSP问题[D];昆明理工大学;2009年
7 苏平;嵌入式多核环境下的并行程序建模与正确性验证[D];山东大学;2010年
8 金炳娥;基于Petri网的柔性制造系统调度问题的研究[D];西安电子科技大学;2010年
9 赵晋强;基于UML与Petri网的软件需求建模与验证[D];西安电子科技大学;2009年
10 何立亭;基于UML的集成化CASE系统设计与实现[D];河北科技大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 由勇,张凤鸣,由俊生;DFS控制网络系统延时分析[J];计算机工程与应用;2002年23期
2 郑红;李师贤;;分层的面向对象Petri网模型分析[J];计算机科学;2002年03期
3 王琦;韩江洪;王青山;;Petri网合成理论及应用综述[J];计算机仿真;2008年12期
4 顾杨;尹红顺;任铭林;程荣辉;;加温加压压气机试车台在发动机研制中的作用[J];燃气涡轮试验与研究;2008年01期
5 焦天佑;陆宝富;;坚持预研先行、促进航空动力又好又快发展——回顾航空动力预研三十周年[J];燃气涡轮试验与研究;2009年01期
6 卓家靖;孟晨;;基于Petri网的并行测试系统任务过程建模[J];计算机工程与设计;2010年02期
7 蒋昌俊,疏松桂,郑应平;随机Petri网同步并发行为的定量分析方法[J];通信学报;1995年01期
8 刘大响;SB101连续气源航空发动机高空模拟试车台[J];燃气涡轮试验与研究;1996年03期
9 何鹏;李文锋;;基于随机Petri网的物流配送流程建模与分析[J];武汉理工大学学报(信息与管理工程版);2010年03期
10 于新奇;;OSI参考模型与TCP/IP模型的异同及关联[J];中国西部科技;2009年27期
中国博士学位论文全文数据库 前2条
1 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
2 廖伟志;混杂生产过程的混杂Petri网建模及分析技术研究[D];西安电子科技大学;2007年
中国硕士学位论文全文数据库 前4条
1 王志宏;基于MIL-STD-1553B总线的航空电子综合系统总线通讯研究[D];南京理工大学;2004年
2 何治斌;ARINC629航空通信总线数据收发装置开发研究[D];西北工业大学;2005年
3 钟文燕;铁路信号系统的Petri网建模与分析研究[D];西南交通大学;2005年
4 赖诚;多通道压力在线测试系统设计[D];西南交通大学;2005年
【二级引证文献】
中国硕士学位论文全文数据库 前1条
1 刘军;Petri网分析软件设计与实现[D];电子科技大学;2013年
【二级参考文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期
3 周颖 ,郑国梁 ,李宣东;面向模型检验的UML状态机语义[J];电子学报;2003年S1期
4 张予川;基于Petri网的并行设计建模和分析[J];鄂州大学学报;2000年02期
5 蒋昌俊,张兆庆,乔如良;基于 PN 的并行程序设计方法[J];高技术通讯;1998年01期
6 陆维明;论活网中冻结标志的意义[J];中国科学(A辑 数学 物理学 天文学 技术科学);1988年07期
7 蒋昌俊;Dynamic invariance of Petri net[J];Science in China(Series E:Technological Sciences);1997年06期
8 蒋昌俊;Petri网的动态不变性[J];中国科学E辑:技术科学;1997年06期
9 梁煜,李舒,张辉,韩承德;并行程序的时序测试[J];计算机研究与发展;1999年09期
10 卢梅,李明树;软件需求工程——方法及工具评述[J];计算机研究与发展;1999年11期
中国硕士学位论文全文数据库 前7条
1 郑旭飞;一种面向方面的非功能需求框架AONFRF建模研究[D];西南师范大学;2004年
2 王志航;用例驱动的面向对象方法的研究及应用[D];中国海洋大学;2004年
3 李丹;基于面向对象有色Petri网的合同网协议建模研究[D];华中师范大学;2008年
4 郑晓东;基于Petri网的组件化软件系统可靠性研究[D];苏州大学;2008年
5 袁敏;软件测试技术及软件构件验证的研究[D];湖南师范大学;2008年
6 杨夏妮;基于Petri网的负载平衡双层调度模型的研究[D];广西大学;2008年
7 赵瑞芳;基于服务的动态网格工作流模型研究[D];中南大学;2008年
【相似文献】
中国期刊全文数据库 前10条
1 李涛,伍良富,彭康;面向对象的并发程序设计语言[J];四川大学学报(工程科学版);1996年05期
2 鞠小林;并发进程的一种跟踪与重演算法[J];南通工学院学报(自然科学版);2003年04期
3 孙辉霞,马振新;LINUX操作系统的优势[J];甘肃高师学报;2002年05期
4 刘震;缪力;;互斥并发程序的程序切片算法研究[J];计算机工程与科学;2007年01期
5 孙寿康;;计算机高级语言并发设施的比较[J];西北师范大学学报(自然科学版);1988年04期
6 丁志军,蒋昌俊;并发程序验证的时序Petri网方法[J];计算机学报;2002年05期
7 王洪民;LINUX操作系统的发展问题分析[J];绥化师专学报;2002年04期
8 章靠;丁佐华;;基于事件图的并发软件测试[J];四川大学学报(工程科学版);2007年S1期
9 P.B.Hansen ,陈志才;关于并发程序设计的演说[J];系统工程与电子技术;1980年04期
10 韩锴;方妙;;Java并发程序的单元测试[J];程序员;2007年10期
中国重要会议论文全文数据库 前5条
1 缪力;张大方;杨学东;;计算有互斥机制的并发程序的程序切片[A];第十届全国容错计算学术会议论文集[C];2003年
2 章靠;丁佐华;;基于事件图的并发软件测试[A];第四届中国软件工程大会论文集[C];2007年
3 李双权;陈火炎;孙玉霞;;一种Java多线程可达性测试框架系统的研究与实现[A];第十届全国容错计算学术会议论文集[C];2003年
4 李志民;赵一丁;底恒;;操作系统进程同步的教学实践[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
5 苑洪亮;郭长国;史殿习;;ORB内核并发粒度控制机制的研究[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
中国重要报纸全文数据库 前3条
1 清华大学 林闯 谭章熹;通信技术—减少时延[N];计算机世界;2003年
2 武汉大学法学院 戴钢书;21世纪企业文化咋构建?[N];亚太经济时报;2000年
3 本报记者 刘学习;李未:中国计算机理论的拓荒者[N];计算机世界;2010年
中国博士学位论文全文数据库 前8条
1 沈悦;基于导航通信多模应用的位置服务技术研究[D];中国科学技术大学;2012年
2 卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年
3 何倩;P2P系统性能优化若干关键技术研究[D];北京邮电大学;2010年
4 易晓东;面向C程序验证的切片执行方法[D];国防科学技术大学;2006年
5 吕嘉;基于开放时态逻辑的面向方面程序形式化验证和模块推理研究[D];浙江大学;2009年
6 李勇;基于软件事务内存的并行程序验证[D];中国科学技术大学;2011年
7 林英;多核软件形式化建模、验证及性能评价方法研究[D];云南大学;2013年
8 吕正;多核处理器存储系统的验证方法研究[D];西北大学;2013年
中国硕士学位论文全文数据库 前10条
1 吴熳娜;一个自适应的并发程序测试框架[D];浙江大学;2010年
2 朱一清;并发程序原子图挖掘及违背检测[D];上海交通大学;2012年
3 罗清宙;基于回放分析的并发错误重现与检测[D];上海交通大学;2010年
4 黄实秋;基于自动化静态分析工具对锁使用模式的研究[D];上海交通大学;2013年
5 封煜佳;基于JDT的并发程序错误模式检测工具设计与实现[D];南京大学;2011年
6 牛如美;针对并发错误的异常处理机制的设计与实现[D];上海交通大学;2012年
7 李桢;可信软件并发正确性测试技术的研究与应用[D];广东工业大学;2014年
8 霍敏霞;基于Petri网的并发程序测试路径生成[D];西南大学;2011年
9 丁力;基于Petri网的一类并发程序死锁预防策略[D];浙江大学;2011年
10 胡敏;对涉及到多变量的原子性违例错误的动态检测[D];上海交通大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026