该课题旨在针对一般大型、复杂软件所共有的交互性特征,重点研究基于UML活动图模型的测试用例设计与生成方法,并实现了一个与UML建模工具Ratinal Rose相集成的软件测试用例设计与辅助生成工具.该文首先对UML以及基于模型的测试方法做了简单介绍,指出UML模型用于指导测试的优势所在,并分析了UML各种模型及其可测试性和测试策略.进而论述了UML活动图着重描述系统所支持的业务过程及其动态行为,因此,活动图模型不仅是进行业务需求分析和系统设计的有力工具,同时也是系统测试的重要依据.基于上述分析,该文重点研究了基于UML活动图模型的测试用例设计与生成方法.对测试用例、测试场景等相关概念和技术进行了介绍,给出了基于UML活动图模型生成测试用例的总体策略,包括基于活动图模型控制流结构的测试场景生成和针对活动的输入量的测试数据生成.在测试场景生成部分,该文针对活动图模型的结构化问题提出了对象流处理方法及并发模块的实例化方法;在测试数据生成中,则针对测试数据的描述与生成组合问题,为活动图模型定义了测试剖面,用于描述活动图模型中活动结点的输入输出等测试相关信息,并提出了改进的轮转法以实现测试数据的组合.此外,该文还对基于UML活动图模型的测试脚本设计与生成进行了初步探索.在分析了常用的几种脚本技术后,选择了数据驱动的测试脚本作为生成目标,并给出了基于活动图模型的测试脚本生成基本策略.最后,该课题实现了基于UML活动图模型的测试用例自动生成工具,为测试人员提供了测试剖面定义、测试大纲及测试用例生成功能,并提供了一个管理和使用测试大纲与测试用例的平台.