基于模型的软件测试是基于软件的需求分析与设计模型，提取测试信息，生成一套测试用例的技术。针对软件的不同特征和不同目的，研究人员提出过多种软件开发与测试模型。随着基于UML(Unified Modeling Language)模型的软件开发与RUP(Rational Unified Process)软件开发过程的广泛应用，基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向。 目前基于UML模型的测试用例生成技术的研究主要集中在类的层次，而且大多是以结构模型如状态图为基础进行分析的。而在系统测试阶段，对象之间的交互是很重要的方面，目前对于通过分析类对象之间的交互关系，以UML行为模型如活动图为依据的测试用例生成技术研究较少。 本文作者在前期研究的基础上，在系统测试阶段，将类图、用例图、活动图等UML模型和传统测试用例生成方法如场景法、判定表法等很好地结合起来进行测试用例生成方法设计，充分提取UML模型中的测试信息，发挥每种模型的表现能力，并借鉴和改进了传统的测试用例生成方法，最终提出了一套较合理的基于UML活动图和用例图的测试用例生成方法，使得基于UML的测试用例生成方法的流程更加规范，更加易于生成满足很高覆盖要求的测试用例，并运用实例对其进行了验证。 最后本文作者对实验结果进行了总结并阐述了下一步的工作。