Petri网在软件测试中的应用研究

来源 :中国石油大学(华东) | 被引量 : 0次 | 上传用户:paokahh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件规模的不断扩大,软件错误也越来越容易产生。尽早地检测软件中的错误是软件开发过程中的一个重要任务,也是降低软件开发成本的主要手段,因此很多的软件测试技术应运而生。特别是在面向对象技术应用于软件开发过程之后,提出了许多针对面向对象软件的测试技术和方法。但相对于面向对象的分析、设计技术而言,面向对象软件测试技术显得比较薄弱。Petri网是的一种描述同步、并发行为的信息系统及其相互关系的网型数学模型。它具有一整套严格的理论分析方法和工具,将其应用在软件测试领域,可以有效的进行软件的形式化分析和测试。为此,本文应用了着色Petri网对面向对象软件测试中类及交互进行测试的技术和方法,并详细地给出了完整的实现方案。 首先,讨论了着色Petri网与面向对象概念之间的关系,根据其关系,将面向对象的概念映射到着色Petri网中,根据其类图和状态图,得到相应类的着色Petri网,利用着色Petri网的理论分析方法,对类进行测试;其次,讨论了如何利用着色Petri网来优化交互测试中的抽样方法——正交阵列测试方法。利用着色Petri网的颜色集特性,表示交互中状态节点的前驱节点和后继节点集合,提出交互测试路径算法,根据该算法解决了交互测试中测试用例过多而产生的测试用例“爆炸”以及不易扩展性的问题。最后,对论文工作进行了全面的总结,并对今后的研究工作做出了展望。
其他文献
随着单个web站点的日益庞大,web超链结构的日趋复杂,传统的建立在单个网页和单纯超链结构上的web模型已很难适应基于各种不同应用需求的web分析。为有效解决web分析所需知识的
在软交换体系中,SIP协议以其简洁、灵活、易扩展的特点得到了广泛的研究和应用,占有重要的地位;多媒体网络会议模型因为其低廉的成本、丰富的表现手段而具有广阔的市场前景,因此,
随着网络和多媒体技术的快速发展,经典的静态图像压缩算法JPEG已不能满足人们的需要;因此,联合图像专家组设计和制定了新的图像压缩标准JPEG2000。JPEG2000的出现,带来了图像
教学参考信息是高校教学必不可少资源,因此如何有效的管理和利用这些信息资源是国内外高校都十分重视的课题。随着信息时代的发展,当前的计算机技术、网络技术、数据库技术以及
网络行为测量是互联网流量工程的重要组成部分。随着互联网的发展,理解网络行为对于网络管理、规划和发展都有重要意义。作为网络行为测量的一个分支,网络流量监测对网络的资源
伪相关反馈技术利用用户初始查询结果排序靠前的文档进行查询相关反馈,并假设这些反馈文档是用户查询相关的,但多数情况下这个假设并不成立。不相关文档参与查询相关反馈会带入
现代化的生产系统具有多变量、时变、非线性等特点,应用传统的控制理论已不能满足现代化的工业生产要求,只能应用智能控制理论,再加上计算机的快速运算、强大的信息储存能力以及
对等网络是近年来国际计算机网络领域研究的一个热点,是下一代Internet的关键技术。作为一种新兴技术,P2P网络技术还不够成熟和完善。P2P网络不仅有传统的C/S模式中的安全问
本文首先分析了网格的安全需求,提出了一个可实现的网格安全策略模型,并给出了模型的物理视图和逻辑视图。然后在分析RBAC模型的基础上,结合网格环境,扩展了RBAC,提出了基于角色的
本文研究了一个属于图论领域的优化问题,即MaximumSimpleSharing(MSS)问题。MsS问题的目标,是在一个二分无向图上寻找由互不相交的路径所构成的集合,并要求这个集合满足一些特定