基于CHAM的类测试用例生成-计算机软件与理论专业论文.docxVIP

太原理工大学硕士研究生学位论文 太原理工大学硕士研究生学位论文 3 3 两种。沈红富给出 了以代数规格说明为基础的测试用例生成方法，并设计了一个以代数 规格说明和范式集为基础的测试用 例 自动生成的辅助工具 (11J 。赵丽洋等采用 CLA ( Construction of Le负 Side of Axioms) 算法设计类的代数规格说明， 再由 GNF 方案实现 范式的半自动化生成，在此基础上完成了测试用例的半自动生成框架 (121。基于模型的方 法主要是使用 Object-Z、VDM 等语言描述，刘玲在其博 士论文中对形式化的方法进行 了较详细的论述，并以Object-Z 为基础给 出了一个类的测试的基本框架，并将 类的多态 性和继承性等特性扩充进类测试基本框架 工具川[υl口3巧叫]。 以状态图或形式规格说明为基础的测试用例 生成技术通常只能生成测试序列而不 包含测试数据 。因此以程序结构为基础的测试用例生成方法依然是测 试用例自动生成技 术研究的一个重要 方向。近年来，现代启发式算法逐步成熟完善，己经有不少文献 在研 究如何将现代启发式算法应用到测试用例的自动生成中 ，并对t4:法进行改进以适 用于面 向对象软件测试的需要。 罗银等将遗传算法用 于软件测试的测试 数据 自动生成中 ，对遗传算法应用于测试时 所需要设计的参数编码、适应度函数等方面进行了较为 详细探讨，并形成了相应的测试 工具(14-16)o M. Prasanna 等通过将 UML 对象 图转换为构造树并结合遗传算、法以此来产 生测 试用例(l7J。粒子群算法于1995 年提出虽然时间较短但是由于其参数少易于实现等特点 很快就得到了广泛应用 (18)。张艳丽等将粒子群算法应用于路役测试数 据生成中，通过实 验对粒子群算法的惯 性权主、适应度函数 等进行了改进，并设计出了粒子群算法应用于 测试用例自动生成上的自动 化测试工具[19-211。 1CHAM 最早是由 Gerard Berry 等提出的，用于描述进程代数的操作 语义 22 1  J . Paola lnverardi 等提出了使用 CHAM 来形式化表述软件的体系 结构，对 CHAM 描述软件体系 结构进行了理论分 析，并给出了 CHAM 描述软件体系结构的形式化定义 (23-25) 。叶俊民 等将 CHAM 用于软件构件的集成测试以及系统体系结构的测试等的测试用例自动生成 技术研究中126-吻。 1. 3 本文主要工作 本文所做课题研究主要有以下工作: ( 1)对面 向对象软件开发的特点进行了分析，阐述了面向对象所特有的 一些特性 ;t\ ;t\:1原理工大学硕士研究生学位 论文 PAGE PAGE 5 对软件测试带来的影响，并对而向对象测试用例的生成方法进行了研究，对测试用例的 自动生成技术进 行了探讨。 (2)详细介绍了 CHAM 模型，并分析了以 CHAM 为建模语言对类的状态进行描 述的语法形式.介绍了标号迁移系统以及其在基于 CHAM 的类测试中的应用。 (3)给出了由 CHAM 描述文件转换为 LTS 的算法，分别给出了在状态覆盖标准和 迁移覆盖标准下由 LTS 产生测试序列的算法模型。以八:r M (自动取款机〉 的状态图为 例详细分析了 CHAM 的建模，初始溶液、终止溶液以及反应规则的建立 ;CH.剧由初 始溶液按照反应规则发生反应逐步建立 LTS 图的过程;按照状态覆盖算法和迁移覆盖算 法由 LTS 国产生状态覆盖测试序列和迁移覆盖测试序列。最后本文在 VC 环境下实现了 上述所涉及的算法。 1.4 本文组织结构 论文总共包插七章 ，分为四部分:第一部分为第 一章，是全文概述:第二部分为第 二章，主要介绍了面向对象软件开发技术对软件测试的影响 ，以及测试用例的生成方法 和测试用((1) 的自动生成技术。第三部分包括第三章、第 V4章、第五章和第六章，主要介 绍了 CHAM 和I LTS 的基本概念;设计了自 CHAM 主1)生成测试序列所需要的生成算法: 并以 ATM 的状态罔为实例进行了分析。第四部分为第七章是对全文的总结.详细安排 如下 : 第一章绪论作为论文开篇介绍了论文的研究背最、围内外研究的情况以宁要工作和 论文的结构 第二章阐述 f 面向对象软件开发技术所具有的特点，以及其对软件测试产生的影 响，并介绍了面向对象软件测试的分层以及各层的测试策略。介绍了测试用例的生成方 法 ，并从功能和结构两方面对测试用例的 自动生成技术进行了详细的阐述 第三幸介绍了 CHA1\f模型和 LTS 的基本概念 第四章通过对 CHAM 的语法、反所规则分析，设计了由 CHAM 到 LTS 的生成算法， 按照状态覆盖和迁移覆盖标准对