基于uml交互概览图的测试方法研究精选资料.docVIP

基于UML交互概览图的测试方法研究 UML Interaction Overview DiagramA Thesis Submitted to Chongqing University In Partial Fulfillment of the Requirement for the Master ?s Degree of Engineering By Liu QingxiangSupervised by Prof. Zeng Yi Specialty: Computer Software and TheoryCollege of Computer Science ofChongqing University, Chongqing, China May 2013中文摘要 摘 要 随 着 软 件开 发 技术 的 成熟 与 应用 的 普及 , 软件质 量 的 保证 面 临新 的 挑战 , 同 时也彰显了软件测试的重要性。 近年来, 面向对象的技术的发展, 使基于 UML 的 软件测试已成为一个重要的研究课题。 目前, 传统 针 对活 动 图或 者 顺序 图 的 单 一 的模型 只 能 描述 系 统某 一 层面 的 信 息 , 导致 测 试不 充 分的 问题 。 如活 动 图用 来描述 系 统的 业 务流 程 ,顺 序图 用 来 描 述系统对象间的交互信息。 由于 UML 是一种 半形式化的建模语言, 无法精确的描 述系统的约束信息, 使得基于 UML 模型产生 的测试用例的完备性出现严重不足 。 针对上述两个问题,本文采用 UML2.0 中提 出 的一种新图 ?? 交互概览图 (IOD ) 作为测试模型 , 它将 UML 活动图和顺序图结合 起来描述系统的业务流程及交互细 节 , 很好的弥补了活动图和顺序图的缺陷 , 同时给 软件测试 开辟了一 个新的领域 。 目前基于 UML2.0 交互概览图的 测试少, 而传统的基于 UML 活动图和顺序图的测 试已不适用交互概览图,因此, 本文提出一种 基于 UML 交互概览图的测试 方法, 并结合 OCL 约束生成包含约束信息、流程信 息和对象交互信息的测试用例。 本文主要 是 结合 于 UML 交 互概览 图 、类 图、 顺序图 的 软件测 试。首 先 分析 UML 类图、 交互概览图、 顺序图的新特性及结 构并给 出形式化定义, 通过在类图 中添加 OCL 约束来增强 UML 描述系统的精确 性;其次,构造可测试交互概览图 模 型 。交 互 概览 图 中不 仅包 含 系统 的 业务 流程信 息 ,还 包 含对 象 间的 交互 信 息 。 把 IOD 的流程结构信息 根据构造规则构造为节 点控制流图 (NCFG ) , 把 IOD 的交 互节点即顺序图中的消息及组合框信息如 alt 、loop 、break 等根据转换规则转化为 消息约束序列图 (MCSD ) , 将 MCSD 的消息约 束路径 替换 NCFG 中对应的交互节 点从而 构造可测试的交互概览图模型。 再次 , 对可测试交互概览图模型中的分支、 并发、 循环结构 进行分析并设计 其测试覆盖准则 , 给出测试线索生成的具体步骤 ; 最 后 根据 测 试 线 索 中的 约束 条 件结 合 等价 类化划 分 法和 边 界值 分 析法 构造 测 试 输 入数据和生成 完备的 测试用例。 通过上述理论研究, 本文提出了一种基于 UML 交互概览图的测试框架 。 在对 建模工具 Rational Software Achitect (RSA)的 XMI 模型文件分析的 基础上, 开发 了 一 个基 于 该框 架 工具 原型 , 实现 了 模型 信息解 析 和提 取 、可 测 试交 互概 览 图 的 构造 、测 试 线索 自 动生 成 生 成 等功 能 。最 后 通过 实 验实 例 利用 该 工具 自动 生 成 测 试线索 ,实验结果 验证了本文所提方法的可行性和有效性。 关键 词 : 统一建模语言,交互概览图 ,顺序图 ,测试线索,测试用例 I 重庆大学硕 士学位论 文II 英文摘要 ABSTRACT With the maturity of software development technology and the popularity of application, software quality assurance is not only facing new challenges, but also highlights the importance of software testing. In recent years, the develop