基于UML状态图和基本Petri网生成测试用例_论文

维普资讯 http://www.cqvip.com 交 通 与计 算机 2 0 第 4期  第 2 06年 4卷  总 1 1期  3 基于 UML状态 图和基本 P ti er 网生成测试用例  崔 尚森  孙 琳  ( 安 大 学  西 安 7 0 6 ) ( 安交 通 大 学 。 西 安 70 4 ) 长 10 4  西 1 0 9  摘  要 结 合 UML状 态 图 和 P t 网提 出 了一 种 生 成 测试 用例 的方 法 。将 UM L状态 图转 换  er i 成 对 应 的 E 一系 统模 型 , 用 E 系 统 的性 质 检测 并 排 除 UML状 态 图 中 的不 可 达 状 态 和事 件 的  N 利 N一 冲 突 和 冲撞 ; 应 用 与 合 理 的 UM L状 态 图对 应 的 E 系统 生成 - i  ̄ 态 图 , 用 可 达 状 态 图 生成  再 N一 ,/ Is 利 测 试 用 例 。 方 法 一方 面 可 以很 好地 实现 并 行 子 状 态 的 嵌 套 问 题 , 免 了 将 并 行 的UML子 状 态 展  该 避 平 成 E S 时 引 起 的状 态 爆 炸 问 题 ; 一 方 面 , FM 另 由于 测 试 用 例 的覆 盖 标 准 是 基 于 可 达 状 态 图 的 基  路 径 、 件 和 可 达 状 态 覆 盖 , 以 还 很好 地解 决 了对 系 统 的 不 同 测 试 要 求 和状 态 的可 达 性 问题 。 事 所   关键词 UML状 态 图 ; 本 P ti ; 试 用 例 ; 试 覆 盖 标 准 ; 达 状 态 图 基 er 网 测 测 可   文献标识码 :  A 中 图法 分 类 号 : 3 1 TP 1   O 引  言    面 向 对 象 技 术 和 统 一 建 模 语 言 ( nf d u ie   i mo e n  a g a e UML) dl gl ug , i n 在软 件 工 程 发展 进 程  子状 态和并 发子状 态 。如 图 1中的活动状 态 的子  状 态—— 处 理 和计 时 , 既是 并发 子状 态 又 是 与状  态 。处理状 态 的正在 审查和 正在解决 是顺 序子状  态 , 理状 态 的子 状态 讨论 和验证 既 可 以是 或状  处 态也 可 以是顺 序 子状 态 。UML状态 图 中的转 换  中具 有 里 程 碑 的意 义 , UML对 开 发 高 质 量 软件  起 了很 大 的促进 作用 , 仍不 能保证 软件 零缺 陷 , 但   还 给 软件测 试 带来 了新 的挑 战L ] 1。 。  P ti er 网是 一种 可用 图形 表 示 的数学 对象 , 借  助 数学 开 发 的 P ti er 网分析 方 法 和技 术 既 可 以用  于静 态 的结构 分 析 , 可 以用 于动态 的行 为分析 , 又   是状 态间 的关 联 。当某 实体在某 一状态 中执行 一  定 的动作 , 在 某个 特 定事 情 发生 和某 个 特定 的  并 条件 满 足时进入 下一个 状态 。   时  、  它 能有 效 地 对 信 息 系统 进 行描 述 和建 模 , 对 系  并 统 的并 发性 、 步 性 和 不确 定 性 具有 很 强 的动 态  异 分 析能 力 , er 网通 过 建立 系统 的可 达 图来描 述  P ti 系统 的行 为是 P ti er 网模 型 的主要 分析方 法之 一 。   笔者 结合 UML状态 图和 P ti er 网提 出了一种  可 以很 好地解 决 状态 可达 性和 路径 爆炸 问题 的方  法。   图1 B   UG 管 理 系 统 中 的 B UG 状 态 图  2 基 本 P ti er 网模 型  基本 P ti ee nayn t y tm, N一 er 网(lme tr e  se E 系  s 1 UM L状 态 图    状态 图是 UML中对 系统 动 态方 面建 模 的 图  统 ) 由条 件和 事件 两 种节 点 以及 连接 这 两种 节  是 点的弧组 成 的有 向 图。文献 [] E 系统 的形  6对 N一 式化定 义如下 :   一 形工 具之 一[ 引。状 态 图通 过建 立类 对 象 的生 命周  期模 型来 描 述对 象 随时 间变化 的动态 行 为 。状 态  图的 内容包 括状 态 和转换 。状 态 图 中的状态集 表  现为基 本 状 态 ( a i sae 和 由其 它 子 状态 组 合  b s  tt ) c 个四   : ( ,; , ) 元组 一 BE Ft 是一个E 一 i n N  系统 , 当且 仅 当 :   1 B U E≠  ( )    网非空 ) B n E 一  ( 元  ,   - 性 )  。 成 的 复 合 状 态 (o o i  tt ) 种 形 式 , 合  c mp s esae 两 t 复 状 态 又 可 分 为 或 状 态 ( rsae 和 与 状 态 (n - o—tt ) a d  sae ; tt) 复合 状 态 的子 状 态 以两 种 形 式 出现 : 序  顺 收稿 日期 :06 l1 ; 20一 一8修改稿 收到 日 :060—   O 期 20—60 8 2   ( × E)U ( × B) 流关 系仅在 B )F B E (   元素 与 E元 素之 间)  。 3 o ( Ucd( 一BUE( 有 孤 立 元  )d r F)   a o F) 没 素 )  。 维普资讯 http://www.cqvip.com 基 于 UML 状 态 图和 基 本 P ti er 网生 成 测 试 用 例 —— 崔 尚森 孙 琳  4 )网 ( E; 是一 个 条 件 和事 件 构 成 的有  B,

相关文档

基于UML状态图的类测试用例生成
基于LTL的UML状态图测试用例生成方法
UML状态图映射为Petri网模型的方法研究
基于改进蚁群算法UML状态机图的测试用例生成
基于UML状态图的类测试用例实现的研究和设计
基于Petri网的联锁软件测试用例动态生成
基于UML状态图和Petri网的冷却水实时控制系统建模与分析
基于蚁群算法UML活动图的测试用例生成研究
基于UML活动图的测试用例自动生成方法研究
基于UML协作图的测试用例生成方法与实现
电脑版