基于Petri网的联锁软件测试用例动态生成
基于Petri网的联锁软件测评仿真建模
假定 Petri网的原始状态 M 0 = {1, 0, 0, 0, 0, 0} ,则其的可达 性图如图 2 所示 。
3. 1 进路信号灯的基本 Petr i网模型
信号灯在联锁系统中是用来提供给列车信号的装置 。进站 信号灯是用来防护列车进入车站区的 ,正常情况下 ,它根据来车 的不同类型显示不同颜色状态 ,同时要考虑到故障注入的因素 , 在灯丝断丝后 ,应该按照联锁规则对断丝的信号灯采用降级显 示 ,因此在建立仿真模型的过程中 ,应把信号的显示状态 、 该信 号机所受的联锁控制以及信号机的故障等作为需要考虑的重要
摘 要 车站联锁软件一直有着严格的测试要求 ,仿真模块是软件测试的重要组成部分 , Petri网作为形式化语言的一种 ,有着准 确与完备的特点 ,对于联锁软件这类安全苛求软件的测试尤为适合 ,提出了一种使用 Petri网对联锁软件测试中仿真模块建模的方 式 ,并分别给出了用基本 Petri网和有色 Petri网的 2 个建模实例 。该模型有助于提高铁路联锁软件测试系统的安全性与精确性 。 关键词 联锁 软件测试 建模 Petri网
第 26 卷第 2 期 2009 年 2 月
计算机应用与软件 Computer App lications and Softw are
Vol126 No. 2 Feb. 2009
基于 Petr i网的联锁软件测评仿真建模
宫 杰 陈邦兴
(同济大学电子与信息工程学院信通系 上海 201804)
表 1 进路信号灯状态转换 Petr i网中各库所 , 变迁物理意义 库所
S1 S2 S3 S4 S5 S6
物理意义 红灯 白灯 双黄灯 单黄灯 单绿灯 灭灯
变迁
T1 T2 T3 T4 T5 T6 T7 T8 T9 T10 T11, T12, T13, T14
基于Petri网的软件测试用例生成方法
基于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网的软件测试分析
（ ｎ ｕ Ｕｎ ｅ ｉ ｆ ｃ ｎｅａｄＴ ｃｎ ｌ ｙＨｕ ｉ ｎ２ ２ ０ ，ｈｎ） Ａ ｈ ｉ ｉ ｒ ｔ ０ Ｓ ｉ ｃ ｅｈ ｏｏ ， ａ ａ ３０ １Ｃ ｉａ ｖ ｓｙ ｅ ｎ ｇ ｎ
在文献 ［ ］ 提 出了软件测试过程的 Ｐ Ｃ Ｒ 模 型。 ３ 中， Ｏ ＥＭ 文献［ ］ ， 出了软件测试过 程框架 Ｆ Ｉ ４中 提 Ｄ ＷＭ。文献
方 贤文 ， 赵 艳 ， 志 祥 殷
（ 徽理 工 大学 ， 安 安徽 淮 南 ２２ ０ ） ３０ １
摘 要： 软件 测试是 发现 软件 中错误 而检查 文档 、 运行程 序 的一个过 程 。对 软件 文 档和 代码 进行 测试 ， 贯 穿于 整个 开发 是
生命周 期 的 ， 在开发早 期 ， 作 用更为重 要 。Ｐｔ 网是 一种 好 的分析 工具 ， 能 够动 态 运行 程 序模 型 ， 析 模型 中存 尤其 其 ｅｉ ｒ 它 分 在 的死锁 、 并发 、 冲突等 问题 ， 程序 正确 性进行 验证 和分析 。 对
ｌ Ｐ ｔｉ ｅｒ 网的基本知识
这里仅 给 出几 个与 此 文 密 切 相 关 的概 念 ， 它 其
汁、 详细设 计 ， 以及 程序 编码 等各 个 阶段所 得 到 的文
档， 包括需求规格说 明、 要设计 规格说 明 、 细设 计 概 详
Ｐ ｔ 网术语可参见文献 ［ ，］ ｅｉ ｒ ６７ 。 定义 １ ， 满足下列条件 的三元组 Ｎ ＝ （ Ｔ； ［ ６】 Ｐ，
Ａｂ ｔａ ｔＴｈ ｏｔ ｒ ｅ ｔｉ ｒ ｃｓ ｏｉｓ ｅ ｔｔｅｄ ｅｍａｎ ｓａ ｄｔ ｕ ｒ ｇ ａ ｆｒｄｓｏ ｅ ｎ ｈ ｓｒ ｃ ： ｅｓｆｗａｅｔ ｓ ｓａｐ ｏ ｅｓｔ ｎ ｐ ｃ ｈ ｏ ｔ ｅ ｔ ｎ ｏｒｎ ｐｏ ｒｍ ｏ ｉ ｖ ｒ ｇｔ ｅｍ ｉ ａ ｅｉ ｈ ｏｔ ｒ ． ａ ｒｉｇ ｃ ｉ ｓ ｋ ｎｔｅｓｆｗａ ｅ Ｃ ｒｙｎ ｔ
基于Petri网的联锁软件测评仿真建模
基于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], 魏臻;周霞;鲍红杰;韩进
因版权原因，仅展示原文概要，查看原文内容请购买。
Petri网详细介绍与学习
模型改进
针对传统Petri网的不足，研究者们不断尝试对其进行改 进和优化，以提高其适用性和性能。例如，通过引入新 的元素或规则，改进Petri网的表达能力；优化Petri网的 推理算法，提高其推理速度等。
有界性、安全性与死锁
01
03
有界性
Petri网中的每个库所至多 包含有限个标记，且每个 变迁最多可以消耗和产生 有限个标记。
安全性
Petri网中不存在死锁状态 ，即对于任意一个状态， 总存在一个后继状态。
死锁
当Petri网中存在一个状态 ，从该状态无法通过任何 变迁到达其他状态时，称 该状态为死锁状态。
Petri网与其他建模方法的融合
融合方法
为了更好地描述和分析复杂系统，研究者们尝试将 Petri网与其他建模方法进行融合。例如，将Petri网与 流程图、状态图等图形化建模方法相结合，可以更直 观地描述系统的结构和行为。
融合优势
通过融合不同的建模方法，可以取长补短，提高对复 杂系统的描述和分析能力。同时，这种融合也有助于 推动不同领域之间的交叉和融合，促进多学科研究的 开展。
实例分析学习
案例分析
分析不同类型Petri网的特点和适用场景，如同步Petri 网、时间Petri网和有色Petri网等。
通过学习经典的Petri网实例，深入理解Petri网的实际 应用和建模技巧。
对比不同Petri网实例的建模效果，提高对Petri网的实 际操作能力和应用水平。
实践应用学习
导弹作战流程Petri网建模及测试用例生成方法
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网的车站计算机联锁系统建模与仿真■巴宝莲李珊珊王雅孝李贵红(兰州职业技术学院）摘要：本文应用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网的组合服务测试用例生成
ｏ ｔｌｇ ｎ ｕｇ ｏ ｅ ｉ ｓ（ Ｌ — ）ｄ ｃ ｍｅｔｉ ｍａｐ ｄ ｔ ｅ ｔ ｄ ｄｈｅａｃｉａ ｃ ｌｒｐｔ ｎｏｏ ｙｌ ｇ ａｅｆｒ ｒ ｃ ａ ｓｖ ｅ ＯＷ Ｓ ｏ ｕ ｎ ｓ ｐ ｅ ｏ ｘ ｎ ｅ ｉｒ ｈｃｌ ｏｏ ｅ ｉ ｅ ｒ ｒ
ｎｅ ｈｃ ｎ ｌ ｄ ｓｔ ｅ ｓ ｍ ａｉ ｔｗ ｉｈ ｉ ｃｕ ｅ ｅ ｔｃ，ｃ ｎｒ ｌｆｏ ａ ｄ ｄａａ ｆｏｗ ｎ ｏ ｍ ａｉ ｎ． Ｔｈ ｎ，ｕｓｎ ｈ ｓｐ ｔｉｎ ｔ ｈ ｏ ｔｏ ｗ ｎ ｔ ｌ ｌ ｉｆ ｒ ｔ ｏ ｅ ｉ ｇ ｔ ｉ ｅ ｒ ｅ ， ｈ ａａ ｆ ｗ ｓ ｍ ｉ ｌ ｎ ｌ ｚ ｄ ｔ ｄ ａｌ ｕ ｐ ｔｉｐｕ — ｅ ｅ ｕ ｅ ｃ ａｎ． ｔ ｅ ｄ ｔ ｏ ｉ ａｎ ｙ ａ ａｙ ｅ ｏ ｆｎ ｌ ｏ ｔ ｕ —ｎ ｔｄ ｆｎ — ｓ ｈ ｉ Ｔｈ ｓ ｈａｎ ｅ ｅ ｔ ｎ ｅ ｌ ｉ ｉ ｏ ｅ ｃ ｉ ｓａ ｘ ｅ ｄ ｄ ｒ ｔ ｒ ｘ ｃ ａ ｌ ｅ ｔｓ ｑ ｅ ｃ ｓ Ｆ ｎ ｌｙ，ｔ ｅｔ ｓ ｅ ｕ ｎ ｅ ａ ｄ ｔ ｅ ｔｓ ａａ ａｅ ｃ ｍ ｂ ｎ ｄ ｔ ｅ ｅ － ｏ ｆ ｍ ｅ ｅ ｕｔｂ ｅｔ ｓ ｅ ｕ ｎ ｅ ． ｉ ａ ｌ ｈ ｅ ｔｓ ｑ ｅ ｃ ｎ ｅ ｔｄ ｔ ｒ ｏ ｏ ｈ ｉ ｅ ｏ ｇ ｎ ｒ
Ａｂｓｒ ｃ ｔ ａ ｔ：Ｔｏ ｔｓ ｈ ｎ ｅ ａ ｔｖ ｅ ａ ｉ ｓ ｂ ｔ ｅ ｎ Ｗ ｅ ｅ ｖ ｃ ｓ ｉ ｎ ｏ ｐ ｉｅ ｓ ｒ ｉ ｅ，ａ ｘ ｅ ｔｔ ｅ １ｔ ｒ ｃｉ ｅ ｂ ｈ ｖｏｒ ｅｗ ｅ ｂ ｓ ｒ ｉｅ ｎ ｏ ｅ ｃ ｍ ｏｓｔ ｅ ｃ ｖ ｎｅ ’ ｔｎ ｄ ｈ ｅ ａｃ ｉａ ｏ ｏ ｅｒ ｅ— ａ ｅ ｅ ｔｃ ｓ ｅ ｅ ａｉ ｎ ａ ｐ ｏ ｃ ｓ ｐ ｏ ｏｓ ｄ． Ｆｉｓ ，ｔ ｅ Ｗ ｅ ｅ ｄｅ ｉｒ ｒ ｈ ｃ ｌｃ ｌ ｒ ｐ ｔｉ ｎ ｔｂ ｓ ｄ ｔ ｓ ａ ｅ ｇ ｎ ｒｔｏ ｐ ｒ ａ ｈ ｉ ｒ ｐ ｅ ｒｔ ｈ ｂ
IPv6基本首部的Petri网建模及测试生成
第 ２ 卷第 ７ ３ 期
２０ ０Байду номын сангаас６年 ７月
计 算机 应 用与软件
Ｃｏ ｕ ｅ ｍｐ ｔｒ Ａｐｐ ｉａｉ ｎ ｎ ｏ ｔ ｒ ｌｃ ｔｏ ｓ ａ ｄ Ｓ ｆ ｗａ ｅ
Ｖｏ ． ３， ． １ ２ Ｎｏ ７
Ｊ １２ ０ ｕ．０ ６
具有完善 的数学表达 ， 借助数学开发 的 Ｐｔ 网分析方 法和技术 ｅｉ ｒ 既可 以用 于静态 的结 构分析 ， 又可用 于动态 的行为 分析 ， 以我 所 们使用 Ｐｔ 网对 Ｉｖ 基本描述协议说 明进行建模 。 ｅｉ ｒ Ｐ６
定 义 １ 一个 Ｐｔ 网定义为一个 ５元组 ， ｅｉ ｒ ：（ Ｔ Ｆ Ｗ， Ｐ， ， ，
档就 可能 有多种不同的理解 ， 而也会 导致多种 不 同的协议 实 从
ＭＯ ， 中： ＝ ｛ ｌ ｐ ，… ， ｍ ｝ 位置 的有限集 ， ）其 Ｐ ｐ ，２ ｐ 是 ｍ≥Ｏ Ｔ ；
：
现。为了更好 地进行协议一 致性 测试 ， 需要借 助形式描 述技 术
（ ｏ ａ Ｄ ｓｒ ｔ ｎＴ ｃ ｎ ｕｓ 简 称 Ｆ Ｔ ） 将 协议 说 明 形 式 Ｆ ｒ ｌ ｅｃｉ ｉ ｅｈ ｉ ｅ ， ｍ ｐｏ ｑ Ｄｓ ， 化。Ｆ Ｔ 可分为形式描述语言 和形式描述 模型 。Ｐ ｔ 网（ ｅ ｉ Ｄｓ ｅ ｉ ｒ Ｐ ｔ ｒ Ｎ ｔ， ｅ 简称 Ｐ ｓ 是一 种形 式描 述模 型 。由于其 本身 的 直观性 、 ｓ Ｎ）
并行性和可执行性等卓越性 能 ，ｅ ｉ Ｐ ｔ 网技术 已成为 软件测试 和 ｒ
分析复杂事件之 间 的先 后顺 序 、 并发 、 步等 关 系 。Ｐ ｔ 网 异 ｅｉ ｒ
１ 引 言
要想使 Ｉｖ Ｐ６网络在国际 网络间无差 错 、 透明地进行 数据传 输 ，必须要进行协议一致 性测试 ， 协议 的实 现符 合该协议 的 使
基于面向对象petri网的ERP动态过程建模研究
基于面向对象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］。
基于UML状态图和基本Petri网生成测试用例
基于UML状态图和基本Petri网生成测试用例
崔尚森;孙琳
【期刊名称】《交通信息与安全》
【年(卷),期】2006(024)004
【摘要】结合UML状态图和Petri网提出了一种生成测试用例的方法.将UML状态图转换成对应的EN_系统模型,利用EN_系统的性质检测并排除UML状态图中的不可达状态和事件的冲突和冲撞;再应用与合理的UML状态图对应的EN_系统生成可达状态图,利用可达状态图生成测试用例.该方法一方面可以很好地实现并行子状态的嵌套问题,避免了将并行的UML子状态展平成EFSM时引起的状态爆炸问题;另一方面,由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖,所以还很好地解决了对系统的不同测试要求和状态的可达性问题.
【总页数】4页(P116-119)
【作者】崔尚森;孙琳
【作者单位】长安大学,西安,710064;西安交通大学,西安,710049;长安大学,西安,710064
【正文语种】中文
【中图分类】TP311
【相关文献】
1.基于LTL的UML状态图测试用例生成方法 [J], 高莉
2.基于UML状态图的软件系统测试用例生成方法 [J], 陈君耀;祝义;栾家伟
3.UML状态图和Petri网络在类测试用例生成的应用 [J], 陈志德;曾凡平
4.基于LTL的UML状态图测试用例生成方法 [J], 高莉;
5.基于UML状态图测试用例生成的策略研究 [J], 栾家伟; 吴陈
因版权原因，仅展示原文概要，查看原文内容请购买。
基于Petri网的软件测试用例的产生及分析
基于Petri网的软件测试用例的产生及分析
林红昌;胡觉亮;丁佐华
【期刊名称】《计算机工程与应用》
【年(卷),期】2009(045)017
【摘要】软件测试不仅要考虑到功能的正确性、覆盖的完整性,也应该考虑到测试用例的可行性.一种常用的产生测试用例的方法是路径覆盖,它是通过分析控制流来产生的,但是这样很可能产生不可行路径.论文运用Petri网来描述程序,并且按照一定的数学规则将此Petri网进行分解,得到独立的段组(Independent Segment Group,ISG)并产生测试用例,最后设计一个算法找到满足覆盖准则的最少测试用例.【总页数】4页(P57-60)
【作者】林红昌;胡觉亮;丁佐华
【作者单位】浙江理工大学,数学计算与软件工程中心,杭州,310018;浙江理工大学,数学计算与软件工程中心,杭州,310018;浙江理工大学,数学计算与软件工程中心,杭州,310018
【正文语种】中文
【中图分类】TP311
【相关文献】
1.基于Petri网的联锁软件测试用例动态生成 [J], 强生杰;任恩恩
2.基于Petri网的并发程序测试用例产生方法 [J], 霍敏霞;丁晓明
3.基于Petri网的软件测试用例生成方法 [J], 孙琳;刘久富;杨振兴
4.基于共性分析的软件测试用例复用技术研究 [J], 刘沅斌
5.基于office的软件测试用例处理与统计分析方法研究 [J], 黄星; 郭皓蓉; 沈晓雪; 王锐鑫
因版权原因，仅展示原文概要，查看原文内容请购买。
基于Petri网的协议测试例自动生成
基于Petri网的协议测试例自动生成
郑啸;秦锋
【期刊名称】《华中科技大学学报：自然科学版》
【年(卷),期】2006(34)3
【摘要】Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.
【总页数】4页(P25-28)
【关键词】协议测试;Petri网;测试和测试控制表示法(TTCN-3);测试例产生
【作者】郑啸;秦锋
【作者单位】安徽工业大学计算机学院
【正文语种】中文
【中图分类】TP301.2;TP393.04
【相关文献】
1.基于着色Petri网测试用例的自动生成 [J], 任雪利
2.基于着色Petri网的IS-IS路由协议互操作性测试的研究 [J], 赵玉兰;冀超;蒋凤仙;朱洋洋;雷厉霆;张志斌
3.基于随机Petri网模型的网络协议性能测试 [J], 徐明伟;林闯;吴建平
4.基于Petri网的WIA-PA协议一致性测试工具 [J], 郝飞飞;王冠雄;朱郴林
因版权原因，仅展示原文概要，查看原文内容请购买。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
Ｐ ｅ ｔ ｒ ｉ网故 障树 的最 小割集求解算 法以及基于形 式化 故障树最小 割集 的测试用例动 态生成算法 。虚拟站场上 的测 试结果表 明， 该 方法能 有效地 降低测试过程 的资源 消耗 ，提高软件测试 的效率 ，为联锁软件 的设计与 改进提供测试依据 。 关健 词 ：Ｐ ｅ ｔ ｒ ｉ 网；逆 网；最小割集 ；联锁软件 ；测试 用例
第３ ９卷 第 １ 期
Ｖ０ ｌ － ３ ９
・
计
算
机
工
程
２ ０ １ ３ 年 １月
Ｊ ａ ｎ ｕ ａ ｒ ｙ ２ ０ １ ３
ＮＯ． １
Ｃｏ ｍｐｕ ｔ ｅ ｒ Ｅｎｇ ｉ ｎｅ ｅ ｒ ｉ ｎ ｇ
软件技术与数据库 ・
文 章 编 号： １ ０ ０ ｍ － ３ ４ ２ ８ （ ２ ０ １ ３ ） ０ １ — ＿ ０ ０ ５ ４ — － ０ ４ 文 献 标 识 码ｔ Ａ
Ｐｅ ｔ ｒ ｉ ｎ ｅ ｔ ｆ ａ ｉ ｌ ｕ ｒ ｅ ｔ ｒ ｅ ｅ ａ ｎ ｄ ｄ ｙ ｎ ａ ｍｉ ｃ ｇ ｅ ｎ ｅ ｒ ａ ｔ ｉ ｏ ｎ ｏ ｆ ｓ ａ ｆ ｅ ｔ ｙ ｔ ｅ ｓ ｔ ｃ ａ ｓ ｅ ｂ ａ ｓ ｅ ｄ ｏ ｎ ｆ ｏ ｒ ｍａ ｌ ｆ ａ ｉ ｌ ｒｅ ｕ ｔ ｒ ｅ ｅ ｍｉ ｎ ｉ ｍａ ｌ ｃ ｕ ｔ ｓ ｅ ｔ ｓ ａ ｒ ｅ ｐ ｒ ｅ ｓ ｅ ｎ ｔ ｅ ｄ ． Ｔ ｈ ｅ
［ Ａｂ ｓ ｔ ｒ ａ ｃ ｔ ］Ａ ｃ ｃ ｏ ｒ ｄ ｉ ｎ ｇ ｔ ｏ ｔ ｈ ｅ ｃ ｈ ａ ｒ ａ ｃ ｔ ｅ ｒ ｉ ｓ ｔ ｉ ｃ ｓ ｏ ｆ Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ｃ ａ ｎ ｄ ｙ ｎ ａ ｍｉ ｃ ａ ｌ ｌ ｙ ｄ ｅ ｓ ｃ ｒ ｉ ｂ ｅ ａ ｎ ｄ ａ ｎ ａ ｌ ｙ ｚ ｅ ａ ｓ ｙ ｓ ｔ ｅ ｍ， ａ ｓ ｅ ｃ ｕ ｒ ｉ ｔ ｙ ｒ ｅ ｑ ｕ ｉ ｒ ｅ ｄ ｍｏ ｄ ｅ ｌ
中 田 分 类 号。 Ｕ ２ ８ ４
基于 Ｐ ｅ ｔ ｒ ｉ 网的联 锁 软 件 测试 用例 动 态 生成
强生杰 ，任恩恩
（ 兰州交通 大学光电技术 与智能控教 育部重 点实验 室 ，兰州 ７ ３ ０ ０ ７ ０ ）
摘
要 ：根据 Ｐ ｅ ｔ ｒ ｉ 网可 动态描述和分析系统行为 的特性 ，设计铁路计算机联锁软件 安全需求 Ｐ ｅ ｔ ｒ ｉ 网 模 型 ，进而提出基于
Ｄｙ ｎ ａ ｍｉ ｃ Ｇｅ ｎ ｅ ｒ ａ ｔ ｉ ｏ ｎ ｏ ｆ Ｉ ｎ ｔ ｅ ｒ ｌ ｏ ｃ ｋ ｉ ｎ ｇ Ｓ ｏ ｆ ｔ ｗａ ｒ ｅ Ｔ ｅ ｓ ｔ Ｃ ａ ｓ ｅ
Ｂａ ｓ ｅ ｄ ｏ ｎ Ｐｅ ｔ ｒ ｉ Ｎｅ ｔ
ＱＩ Ａ ＮＧ Ｓ ｈ ｅ ｎ ｇ － ｊ ｉ ｅ ， ｌ Ｉ Ｅ Ｎ Ｅ ｎ － ｅ ｎ
ｖ ｉ ｒ ｔ ｕａ ｌ ｓ ｔ ａ ｔ ｉ ｏ ｎ ｔ ｅ ｓ ｔ ｒ ｅ ｓ ｕ ｌ ｔ ｓ ｓ ｈ ｏ ｗ ｔ ｈ ａ ｔ ｔ ｈ ｉ ｓ ｍｅ ｔ ｈ ｏ ｄ ｃ ａ ｎ ｅ ｆｅ ｃ ｔ ｉ ｖ ｅ ｌ ｙ ｒ ｅ ｄ ｕ ｃ ｅ ｔ ｈ ｅ ｒ ｅ ｓ ｏ ｒｃ ｕ ｅ ｃ ｏ ｎ ｓ ｕ ｍｐ ｔ ｉ ｏ ｎ ， ｉ ｍｐ ｒ ｏ ｖ ｅ ｔ ｈ ｅ ｅ ｉｃ ｆ ｉ ｅ ｎ ｃ ｙ ｏ ｆ ｓ ｏ ｆ ｔ ｗａ ｒｅ ｔ ｅ ｓ ｔ ｉ ｎ ｇ ａ ｎ ｄ ｉｎ ｆ ａ ｌ ｌ ｙ ｐ ｒ ｏ ｖ ｉ ｄ ｅ ｔ ｅ ｓ ｔ ｂ ａ ｓ ｉ ｓ ｆ ｏ ｒ ｔ ｈ ｅ ｉ ｎ ｔ ｅ ｒ ｌ ｏ ｃ ｋ ｉ ｎ ｇ ｓ ｏ ｆ ｔ ｗａ ｒ ｅ ｄ ｅ ｓ ｉ ｇ ｎ ａ ｎ ｄ ｉ ｍｐ ｒ ｏ ｖ ｅ ｍｅ ｎ ｔ ．
［ Ｋｅ ｙ ｗｏ ｒ ｄ ｓ ］Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ； ｒ ｅ ｖ ｅ ｒ ｓ ｅ ｎ ｅ ｔ ； Ｍｉ ｎ ｉ ｍａ ｌ Ｃ ｕ ｔ Ｓ ｅ ｔ ｓ （ ＭＣＳ ） ； ｉ ｎ ｔ ｅ ｒ ｌ ｏ ｃ ｋ ｉ ｎ ｇ ｓ ｏ ｆ ｔ ｗａ ｒｅ ； ｔ ｅ ｓ ｔ ｃ ａ ｓ ｅ
Ｄ ＯＩ ： １ ０ ． ３ ９ ６ ９ ￣ ． ｉ ｓ ｓ ｎ ． １ ０ ０ ０ － ３ ４ ２ ８ ． ２ ０ １ ３ ． ０ １ ． ０ １ １
１ 概述
铁路联锁系统是典型的安全苛求系统 ，其可靠 性和 安全 性是需要着重考 虑的关键性 因素 。相应 地， 嵌入其中的联锁软件 的逻辑设计也必须做到合 理及安全 。在对联锁软件进行软件测试时，提高测 试过程的 自动化程度，改变传统的依靠经验产 生测 试用例 的做法，不仅可以提高软件测试效率 ，减少 测 试 工作 量 ，同时 也可 以确 保 测试 质 量 。 Ｐ ｅ ｔ ｒ ｉ网是一种用于系统描 述及模拟 的数学分
（ Ｋｅ ｙ Ｌ ａ ｂ ｏ ｆ Ｏ ｐ ｔ ｏ — ｅ ｌ ｅ ｃ ｔ ｒ ｏ ｎ ｉ ｃ ｓ Ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ ｇ ｙ ａ ｎ ｄ Ｉ ｎ ｔ ｅ ｌ ｌ ｉ ｇ ｅ ｎ ｔ Ｃ ｏ ｎ ｒ ｔ ｏ ｌ ， Ｍｉ ｎ ｉ ｓ ｔ ｒ ｙ ｏ ｆ Ｅ ｄ ｕ ｃ ａ ｔ ｉ ｏ ｎ ， Ｌ ａ ｎ ｚ ｈ ｏ ｕ Ｊ ｉ ａ ｏ ｔ ｏ ｎ ｇ Ｕｎ ｉ ｖ ｅ ｒ ｓ ｉ ｔ ｙ ， Ｌ ｎｚ ａ ｈ ｏ ｕ ７ ３ ０ ０ ７ ０ ， Ｃ ｈ ｉ ｎ ａ ）