下载文档原格式
基于Petri网的软件测试用例生成方法孙琳;刘久富;杨振兴【摘要】软件测试数据的生成目前主要采用的人工、半人工的方法,工作量大、测试周期长且容易遗漏;基于Petri网的测试用例生成方法主要应用于场景类测试,通过Petri网理论对测试模型建模,再对模型分析验证,最后生成测试用例集;该方法支持回归生成测试用例集,弥补了对测试用例集需求变化的情况;同时,支持测试用例的自动生成;该方法可以有效地描述系统的状态行为,并且保证了较高的覆盖率指标,有助于提高测试的效率和质量.【期刊名称】《计算机测量与控制》【年(卷),期】2010(018)009【总页数】5页(P2019-2022,2025)【关键词】测试用例;Petri网;场景;覆盖率【作者】孙琳;刘久富;杨振兴【作者单位】南京航空航天大学自动化学院,江苏,南京,210016;南京航空航天大学自动化学院,江苏,南京,210016;南京航空航天大学自动化学院,江苏,南京,210016【正文语种】中文【中图分类】TP3110 引言软件测试的关键问题就是构造一个测试用例的合理而有限的集合,尽可能地覆盖被测软件的问题空间。
而Petri网是一种图形化的形式化语言表示法,该方法采用具有形式语义的图形语言,图形化表示法易于理解,而且非专业人员能够使用,因此是一种通用的系统确定表示法[1]。
鉴于Petri网具有很好的解决异步并发模型的特点,而场景级测试中测试用例生成需要面对异步并发的问题,因此使用Petri网模型作为测试用例生成方法的建模方式。
1 软件测试用例自动生成方法研究软件测试用例生成是软件测试的核心步骤之一,目前出现的很多测试用例生成方法都致力于生成合理而有效的测试用例集[2]。
金虎等[3-4]研究了用遗传算法来生成软件测试用例的技术,通过进化计算指导测试用例生成。
张毅坤等[5-6]将 UM L状态图应用到测试用例自动生成中,使得UML在面向对象建模及测试中得到了统一。
基于Petri网的联锁软件测评仿真建模
宫杰;陈邦兴
【期刊名称】《计算机应用与软件》
【年(卷),期】2009(026)002
【摘要】车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例.该模型有助于提高铁路联锁软件测试系统的安全性与精确性.
【总页数】4页(P11-13,52)
【作者】宫杰;陈邦兴
【作者单位】同济大学电子与信息工程学院信通系,上海,201804;同济大学电子与信息工程学院信通系,上海,201804
【正文语种】中文
【中图分类】TP3
【相关文献】
1.联锁软件的Petri网模型化 [J], 杨扬;王晓明;何梅芳;肖蒙
2.基于Petri网的联锁软件测试用例动态生成 [J], 强生杰;任恩恩
3.联锁软件的统一建模语言和Petri网建模 [J], 杨晋辉;郦萌
4.基于UML和Petri网的铁路联锁软件建模 [J], 杨晋辉;郦萌
5.基于Petri网的联锁软件安全性测试的研究 [J], 魏臻;周霞;鲍红杰;韩进
因版权原因，仅展示原文概要，查看原文内容请购买。
Vol. 39 No. 5Oct 2019第39卷第5期2019年10月弹箭与制导学报Journal of Projectiles , Rockets , Missiles and GuidanceDOI ： 10.15892/j. cnki. djzdxb. 2019.05. 011导弹作战流程Petri 网建模及测试用例生成方法黄耀华(西安现代控制技术研究所，西安710065)摘要：随着导弹作战流程复杂度和自动化程度的提升，基于模型的系统分析和测试技术已成为导弹武器系 统作战流程测试验证技术的重要发展方向。
通过对某型导弹武器系统作战过程信息流程的梳理，建立了作战流程的Petri 网模型，对系统的特性进行了分析，并基于Petri 网模型的数学工具构造出了测试用例的自动生 成算法。
该算法能够将系统状态变迁的测试用例整理为符合导弹武器系统测试场景的测试序列集合，实现对系统状态变迁的完整性覆盖。
关键词：导弹作战流程；状态变迁；Petri 网模型；测试用例生成中图分类号:TJ760.6文献标志码：APetri Net Modeling and Test Case Generation Method ofMissile Operation ProcessHUANG Yaohua(Xi * an Modem Control Technology Research Institute , Xi' an 710065, China)*收稿日期：2019 - 07 - 05第一作者简介:黄耀华（1974 -），男,河北人，研究员,研究方向:武器系统应用。
Abstract : Model-based system state analysis and test technology have become an important development direction in the field of missileweapon system operation process , along with the promotion of the complexity and automation of missile operation process. After summari zing the operation process of a concrete missile weapon system , the Petri net model is established and applied to analyzing of the system. Then the algorithms is built based on the mathematical tools of Petri net theory , which can generate test sequences to cover the state transi tions. The test sequences have the form that is suitable to be implemented in the missile weapon system.Keywords : missile operation process ； state transition ； Petri net model ； test case generationo 引言作战流程是导弹武器系统作战运用的关键内容, 是实现武器系统作战能力的基础。
检测认证基于Petri网的车站计算机联锁系统建模与仿真■巴宝莲李珊珊王雅孝李贵红(兰州职业技术学院）摘要：本文应用Petri网技术对联锁软件测试现场的联锁设备建立系统仿真模型，采用面向对象的程序设计方法、VC++编程完成需求模块的程序设计，实现模拟实际站场作业。
关键词：PetH网技术，联领，仿真D O I编码：1〇.3969/j.issn.1002-5944.2020.05.032M o d e lin g an d S im u la tio n o f S tation C o m p u te r In ter lo ck in g S y stem B a sedon P etri N etBA Bao-lian LI Shan-shan WANG Ya-xiao LI Guan-hong(L a n z h o u V o c a t io n a l T e c h n ic a l C o lle g e)Abstract：In this paper, Petri net technology is applied to establish a system sim ulation model for interlocking equipment on the interlocking software test site, and object-oriented programming method and VC++ programming are adopted to complete the programming of the requirement module, to realize the simulation of actual station operations. Keywords：Petri net technology, interlock, simulation铁路计算机联锁系统保证铁路运输安全，其核 心需确保联锁软件正确性，测试联锁系统时要对测试现场设备信号机、道岔和轨道区段建立系统模型。
基于面向对象petri网的ERP动态过程建模研究祁凯【摘要】制造业信息化是提升企业核心竞争力的关键因素,而ERP系统在制造业信息化中发挥着重要作用.鉴于目前ERP系统在动态环境下缺乏柔性等问题,建立通用的动态的企业过程模型将成为系统开发的基础.针对制造业过程多层次复杂性等特点,本文基于面向对象Petri网及CIM-OSA的思想对其动态过程进行建模,这不仅为软件设计及开发方法提供了一种新思路,同时对支持柔性ERP的快速开发及重构具有重要的现实意义.【期刊名称】《科技与管理》【年(卷),期】2014(016)004【总页数】5页(P28-32)【关键词】制造业ERP;过程建模;面向对象petri网【作者】祁凯【作者单位】哈尔滨师范大学管理学院,黑龙江哈尔滨150025【正文语种】中文【中图分类】F272.3;TP311.52面对全球化知识经济的快速发展，制造企业将先进的制造技术、信息技术以及现代管理技术有机融合，以此增加企业的核心竞争优势。
在制造企业中成功应用ERP 系统，可以促进企业实现最优资源配置，同时集成化管理企业的物流、资金流、信息流以及工作流，从而提高企业的社会效益和经济效益。
因此，为了满足企业在管理上对环境的动态性及敏捷性能够快速适应等需求，制造企业需要柔性的ERP 系统作为支持。
如何设计、开发并有效实施柔性ERP 系统是目前急需解决的问题，同时也是制造企业和软件开发商共同关注的问题。
即使在ERP开发过程中已经应用了一些先进的信息技术，在某种程度上增加了ERP 的灵活性，但是由于在开发ERP 系统的过程中，对于企业的运作过程及运行规律并没有真正掌握，导致ERP 系统的柔性仍然存在局限性。
企业过程建模理论可以准确描述企业的运行规律，同时也是优化企业业务流程的核心环节。
通过对文献的梳理分析，国内外许多学者在企业建模方法体系，以及企业诊断及模型仿真方面都做出了很多贡献，同时也深入研究了信息化整体解决方案［1］。
