基于UML的形式化面向对象软件测试用例辅助生成技术-计算机应用技术专业论文.docx

墨三!憋三=塑垄垫些耍塑塑楚竺壁型垫望型塑墅蹩堕垫查 墨三!憋三=塑垄垫些耍塑塑楚竺壁型垫望型塑墅蹩堕垫查 苎!墨 基于UML豹形式琵霖囊嚣蒙鞍搏涓试臻爨耩翳生竣技术 内容箍要 学科专业：计算机应用技术 研究方16l；软粹I程 指导教舞：张冀嚣 教授 疆究生：鞍祥捧{2000274》 ／随精软件技术的不凝发展，开发者和用户对于软转质量提如了更高的要求。为此，软髂 开发者试图从按术、管理等各层面控制软件汗发过稷，提高软件产品的针对性和可靠性，保 证软{牛对于用户的使用价值。在众多软件质量保证技术中，软件测试佟为一种馋统的、童接 的、行乏有效的方法在软件质量傈诞中起到了决定性的作用。冀具体技术己被融入各种软件 开发过程和方法中。^仞 ， 本文试匿在现有技术条件下，在分析面向对象技术和UML技术在测试中的特点的基础 上，把具有面向对象特，谯的形式化方法PAl5E应用到面向对象软件测试中，针对使用删L 技术开发的西肉对象软件构造更加严格的潞斌方法和流程。使掰形式纯方法提取瑙向对象樊 的操作的前置条件、后鼙条件和相关性条件等操作语义，并以此为基础构造了成用于UML 静态模麓测试璃铡辖勖囊成方法；利用面向对象鲸消意传递视翩构造基予清息序捌的测试用 例生成技术应用于UML动态模型的软件测试用例辅助生成，以提高面向对象软件测试用例的 针对性鞲覆盖率。 本文还讨论了形式化的软件测试技术岛传统软件之间的关系，把形式化的软件测试技术 疆入话绞软辞测试流程中，构造了逶癌面向对象特点势显结合澎式诧方法优点翦软件测试流 程，使得形式化的软件测试方法能够确实应用到面向对象软件测试过程中。 最麓本文通过对予奄糖淘惩静努辑，体魏了文牵溯试甬饿辅助奎藏方法和瓣试漉程在典 体问题中的实际运用。 美键溺：甏爨对象国试强矿1；l!函较{每淤试涌试流程糯PAl繇操作语 义消息序列测试断言 基于UML的形式化面向对象软件测试用例辅助生成技术 基于UML的形式化面向对象软件测试用例辅助生成技术 第2页 第一章前言 从本世纪60年代的软件危机开始，随着计算机应用的日益普及和计算机软件在政治、 经济、生活等各个方面无所不在的使用，软件的需求与其开发速度和质量之间的矛盾一直是 制约计算机技术进一步发展的主要因素之一。计算机界也通过各种手段试图发现软件开发过 程中的规律和方法，以提高软件开发的效率和质量，软件工程这一概念也就应运而生了。在 对于软件工程的研究过程中，人们试图通过对于软件生命周期、软件开发方法学、软件测试 技术等各种涉及软件开发过程的技术和方法的研究找到提高软件开发质量和降低软件开发、 维护成本的方法。 在现有的技术中，开发者用于保证软件开发质量的主要手段可以归纳为以下五种： 1、采用更加科学实用的软件开发过程模型。 软件开发过程模型也被称为软件生命周期模型，它描述了从软件需求确立开始 软件所需耍经历的规格说明、设计、实现、安装、维护直到壤终达到有效寿命的终 点而退役所经历的一系列步骤。是对软件整个生命过程的抽象和总结。当前所使用 的典型软件开发模型包括： · 瀑布模型 · RAD(快速应用开发)模型、 · 演化软件过程模型等。 其中演化软件过程模型是当前的技术热点，它包括增量模型、螺旋模型、构建 组装模型、并发开发模型等。 一2、使用高效的软件设计和开发方法。 从最初的面向过程的软件开发方法到面向对象的软件开发方法和面向构件的 软件开发方法，通过从不同角度的描述软件过程，提高开发效率和成功率。 3、在开发过程中使用基于严格数理逻辑的形式化方法指导软件开发过程。 4、在软件开发中，使用面向不同软件抽象层次的软件测试策略。 5、在软件开发过程中应用适当的项目管理技术。 当前为业界所广泛采用的管理方法包括ISO 9000系列和C眦等。其中IS09000 系列标准是～个被广泛使用在工业产品的设计、开发、生产、安装和服务领域的国 际标准。通过对于人员和过程的管理和控制以达到保证产品质量的目的。当前也被 许多软件企业用于自身的质量管理工作中。 C删(Capability Maturity Model)是由美国卡内基一梅隆(Carnegie--Mellon) 大学软件工程研究所SEI(Software Engineering Institute)提出的一种专门针对 基于UML的形式化面向对象软件测试用例辅助生成技术 基于UML的形式化面向对象软件测试用例辅助生成技术 第3页 软件企业生产特点的质量管理方法。已被当前计算机软件业界所广泛的接纳和使 用。 在实践中通过上述方法的综合应用，有效的提高了软件产品开发的效率和成功率，保证 了软件质量。其中软件测试技术和软件形式化开发方法的具体应用将在本文中重点叙述。 基于UML鲍形式让蕊彝对象软辞瓣斌潮弼辘动擞蔽技术 基于UML鲍