软件测试是保证软件质量的关键性工作,在软件开发周期中占有非常重要的地位。软件测试的工作量随着软件产品规模不断扩大以及软件复杂性越来越高而迅速增长。为了降低软件测试的成本,提高软件测试效率,软件测试方法的研究受到业内越来越多的关注。　　 随着统一建模语言UML的广泛应用,基于UML的测试用例生成技术已成为软件测试领域的研究热点。UML活动图描述了系统为完成指定功能或任务所必须执行的活动流程,是复杂的交互式系统功能测试用例生成的重要依据,本文着重研究基于UML活动图生成测试用例的方法。　　 本文研究的主要内容如下:　　 1.讨论了生成测试用例的两种方法,重点分析了基于规格说明的测试用例生成方法和其中的基于UML模型的测试技术。　　 2.分析了UML活动图的特点,UML活动图的可测性设计以及测试覆盖准则,并给出UML活动图的形式化定义。　　 3.研究了从活动图生成测试场景的方法,通过逐层压缩活动图中复合结构,使生成测试场景的过程得到简化。对通过压缩得到的测试场景,逐层解压各结构模块得到完整的测试场景集。为了解决并发活动组合爆炸的问题,在解压并发结构的过程中使用反蚁群算法来解决并发活动实例化问题。　　 4.研究了活动图的测试剖面,在此基础上依据基本的等价类和边界值思想生成基本测试数据。　　 5.实现基于UML活动图生成测试用例的原型系统,并结合ATM自助取款机活动图生成测试用例的过程,说明了系统的功能。