软件测试在软件开发过程中有着越来越重要的地位。它贯穿于软件定义与开发的整个期间即整个软件开发过程。从设计规格说明中产生测试用例是测试阶段的一项重要工作，而它的主要依据应该来自于软件需求和软件设计，其中要涉及到测试用例的充分性覆盖准则问题。 本文重点研究了基于UML活动图模型的测试用例设计与生成方法，首先介绍了相关的背景知识，包括基于规格说明的软件测试，基于模型的软件测试，分析其特点，并介绍了UML模型，及其在指导软件测试方面的应用。并对自动生成测试用例技术的国内外研究现状进行了综述和比较。 然后重点分析了UML活动图模型，活动图在指导软件测试方面的优势，给出了UML活动图的形式化定义，并定义了基本路径，场景等；详细阐述了基于UML活动图模型的测试用例生成方法和技术，给出了UML活动图生成测试用例的覆盖标准，并考虑了信号流覆盖标准，研究了由UML活动图生成测试场景的算法，并给出了考虑了并发情况等以后的算法，对并发活动实例化方法进行分析，并给出了一种实例化方法，然后给出了由UML活动图中得到的相关信息生成测试用例的方法。 最后文中给出了一个测试用例生成系统的设计，分析了其模块组成和流程图，重点分析了其测试用例生成器的设计，并给出了一个例子进行了评估。