软件测试在软件开发过程中有着越来越重要的地位，它贯穿于整个软件开发过程。而测试用例的设计与生成是软件测试过程中的重点和难点所在。随着面向对象技术的广泛应用，使得基于UML软件测试成为了软件工程的一个重要研究方向。　　 本文重点研究了基于UML状态图的测试用例的生成方法，首先对Rose规约文件中的状态图文件格式(.mdl)进行了仔细分析，然后设计算法，实现了从mdl文件中提取出有助于软件测试的各种信息；　　 其次，鉴于测试用例中最复杂的部分是前提条件的获取，本文在此提出一种算法，实现了基于状态图测试路径的自动生成；　　 再次对基于UML状态图的测试准则进行了分析，重点研究了全谓词覆盖准则和转移对覆盖准则，对其测试用例生成策略进行了研究，然后研究了两个算法分别满足全谓词覆盖准则和转移对覆盖准则。算法中的保证条件不仅适用于布尔类型表达式，而且对关系表达式同样适用。　　 最后在以上研究的基础上，设计并实现了基于UML状态图测试用例自动生成系统。该系统从读取UML状态图的规格说明mdl文件，到最后测试用例的生成都是自动完成的。为了验证以上算法的有效性，通过实例进行验证。结果表明，算法是有效且可行的。