基于UML状态图的测试用例自动生成研究-计算机应用技术专业论文.docxVIP

南京航空航天大学硕士学位论文摘要 南京航空航天大学硕士学位论文 摘要 软件测试在软件开发过程中有着越来越重要的地位。它贯穿于软件定义与开发的 整个期间即整个软件开发过程。而测试用例的生成设计又是软件测试过程中的难点和 重点所在，而它的主要依据应该来自于软件需求和软件设计，其中要涉及到测试用例 的充分性覆盖准则问题。本文的研究内容是属于基于规格说明的软件测试的范畴。 基于说明的测试用例生成是一种新兴的测试用例生成技术。有优于以前的测试技 术的方面。本文主要研究了基于UML状态图说明的测试用例生成技术。首先，分析 了基于规格说明的测试用例生成，以及UML建模机制。然后研究了基于状态说明的 测试用例设计覆盖准则，以此做为设计测试用例的基础。本文在A．J．Offutt提出 的基于状态说明测试用例生成的基础上，深入研究了他的测试用例生成算法，并对该 算法进行了改进，实现了表达式分析、变量值确切标识的扩充。最后设计并实现了基 于UML状态图说明的测试用例自动生成工具。 关键词：软件测试测试用例自动生成测试工具UML模型 一I- 基于uML状态图的测试用例自动生成研究ABSTRACT 基于uML状态图的测试用例自动生成研究 ABSTRACT Software testing plays a mole and more important role in the software development and it performs its functions during the whole period of developing．In software testing，the design ofgenerating cases testing，which is based on the requirement and design ofthe software，is the key point as well雒a difficult one．To select a set ofright cases，the full coverage criteriamustbe setupfirst．Thefocusofthepaperisjustbased onthe criteriaof software testing technology． In this paper,we studied the generation oftesting cases based on UML statement diagram specification．Firstly，we study the problems of specification-based generation of testing cases and the mcchamsm ofUML modeling．Then，all algodthm for generating test cases is proposed and used for the basis ofthe generation oftesting cases．Finally，on the basis of former algorithm，we build a system to generate testing cases． Key Words：Software testing，automated testing case generation,UML model， testing tool Ⅱ 南京航空航天大学硕士学位论文第1章 南京航空航天大学硕士学位论文 第1章 绪论 从计算机问世以来，程序的编制与测试就同时摆在人们的面前，但测试在软件开 发中的作用并没有受到应有的重视。直到70年代以后，测试的意义才逐渐被人们认 识，软件测试的研究才开始受到重视。1975年，Goodenough首次提出了软件测试理 论口】，随后，Huang全面的讨论了测试准则、测试过程及测试数据生成等软件测试问 题[4I。1982年，美国北卡来纳大学召开了首次软件测试技术会议，这次会议成为软件 测试技术发展的～个重要里程碑。此后，测试理论、测试方法进一步完善，从而使软 件测试这一技术住很强的学科成为有理论指导的学科。但是，就目前软件工程发展的 状况而言，软件测试仍然是一个较为薄弱的一个方面。不仅测试理论，已有的测试方 法也不能满足当前软件开发的实际需求阁。 为此，国际上每两年召开一次软件测试 与分析研讨会，专门就软件测试与软件质量问题进行广泛的交流。为推进和协调软件 测试的研究工作，1999年美国Los Angeles召开的第21届国际软件工程会议，将软 件测试作为一个技术专题展开，以改善软件开发过程，提高软件质量。我国每两年召 开一次的全国