基于CPN 的on-the-fly测试方法研究

发布时间：2017-04-13 04:25

  本文关键词：基于CPN 的on-the-fly测试方法研究，，由笔耕文化传播整理发布。

【摘要】：随着信息技术的迅猛发展和网络化时代的到来,各种各样的Web应用系统高频率的出现在我们的日常生活、工作和学习中。对于多并发的Web应用系统,其状态图的规模是以并发数指数级增长,使得Web应用系统的验证和测试极为困难；此外,测试生成与测试执行的独立进行使测试成本代价高、耗时长。为了避免对整个状态图的遍历,及实现测试生成与测试执行的同步进行,本文采用了基于CPN的on-the-fly测试方法对Web应用系统执行测试。本文主要包括以下研究内容：第一,通过对on-the-fly算法的起源,核心思想及应用方面的研究和总结,给出了on-the-fly算法的定义。第二,深入了解和掌握on-the-fly测试算法的主要过程,并采用CPN层次建模和扩展可达图来实现对on-the-fly测试方法的描述,该部分包括以下几点：(1)定义on-the-fly测试算法中的规约和测试目的等模型,并给出了基于CPN的on-the-fly测试算法的主要过程。(2)为了确保算法实现的正确性和实用性,本文对同步乘积的算法进行测试和评估,并对结合IUT响应的深度优先遍历过程进行了理论设计。(3)研究UPPAAL TRON工具中on-the-fly测试算法的实现原理,为本文今后工作的改进提供了方向。第三,利用基于扩展可达图的on-the-fly算法测试火车售票系统,生成和执行测试例,并将测试结果与传统测试结果进行分析和比较。
【关键词】：on-the-fly测试 CPN层次模型 扩展可达图 同步乘积 Web应用系统
【学位授予单位】：内蒙古大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.09
【目录】：

• 摘要4-5
• ABSTRACT5-10
• 第一章 引言10-13
• 1.1 研究背景10
• 1.2 本文主要贡献及意义10-11
• 1.3 本文的组织结构11-13
• 第二章 相关工作13-22
• 2.1 Web应用系统的介绍13-14
• 2.2 on-the-fly验证的研究现状14-17
• 2.3 on-the-fly测试的研究现状17-19
• 2.4 形式化建模的研究现状19-22
• 2.4.1 形式化建模方法20-21
• 2.4.2 CPN建模的研究现状21-22
• 第三章 基本概念和理论22-28
• 3.1 CPN和扩展可达图的介绍22-24
• 3.1.1 Petri Nets22-23
• 3.1.2 扩展可达图23-24
• 3.2 on-the-fly测试算法的研究24-25
• 3.3 UPPAAL TRON及其特点25-27
• 3.4 本章小结27-28
• 第四章 基于扩展可达图的on-the-fly测试方法28-43
• 4.1 基于CPN的on-the-fly测试生成过程28
• 4.2 on-the-fly测试中模型的定义28-30
• 4.2.1 系统规约模型28-29
• 4.2.2 测试目的模型29
• 4.2.3 测试例模型29-30
• 4.2.4 同步乘积模型30
• 4.3 on-the-fly测试算法的功能分析30-36
• 4.3.1 同步乘积算法用于并发系统的可行性30-34
• 4.3.2 on-the-fly方法的测试例生成与执行34-36
• 4.4 on-the-fly方法中的同步乘积算法36-41
• 4.4.1 同步乘积算法描述36
• 4.4.2 同步乘积算法实现的流程图36-37
• 4.4.3 同步乘积算法的实现37-38
• 4.4.4 同步乘积算法的测试38-41
• 4.5 结合IUT实际响应的深度优先遍历过程41-42
• 4.6 本章小结42-43
• 第五章 基于CPN和on-the-fly算法的Web应用系统的测试43-50
• 5.1 火车售票系统的CPN层次建模43-45
• 5.2 基于on-the-fly算法的测试例生成45-48
• 5.3 基于on-the-fly算法的测试与传统测试的比较48-49
• 5.4 本章小结49-50
• 第六章 结论及下一步工作50-52
• 6.1 论文结论50-51
• 6.2 未来展望及下一步工作51-52
• 参考文献52-57
• 致谢57-58
• 攻读硕士期间发表的学术论文58-59
• 参加项目59

【参考文献】

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

1 吴立军;苏开乐;陈清亮;杨志华;;多主体系统时态认知规范的“On the Fly”模型检测算法研究[J];计算机研究与发展;2006年08期

2 姜瑛,辛国茂,单锦辉,张路,谢冰,杨芙清;一种Web服务的测试数据自动生成方法[J];计算机学报;2005年04期

3 宁亮;张志鸿;;基于有色Petri网的SPIN协议建模与分析[J];计算机工程与设计;2007年14期

  本文关键词：基于CPN 的on-the-fly测试方法研究，由笔耕文化传播整理发布。

本文编号：302815