随着计算机软件的应用深入到生活的方方面面，尤其在关系到国民经济的关键领域的应用越来越多，人们对软件的质量和可靠性提出了更高的要求。而软件测试作为保障软件质量和可靠性的重要手段，一直受到人们的重视。　　 面向对象软件开发技术是目前软件开发的主流技术，因此面向对象的软件测试技术成为了目前研究的热点。由于面向对象的开发技术与传统软件开发技术存在不少的差异。因此，面向对象的软件测试必须借鉴传统的测试方法和提出新的测试方法。　　 测试用例生成是软件测试中的核心问题。在软件测试技术中，基于模型的软件测试技术由于具有高度的自动化和坚实的理论，因而受到了人们的重视。因此，基于模型的测试用例生成得到了广泛的关注。　　 基于上面的分析，本文提出了两个基于模型的测试用例生成方法。　　 (1)第一个方法是基于UML模型和LTS模型的测试用例生成。该方法主要介绍了UML状态图建模的规则，提出了UML状态图到LTS的转换规则和路径转换的生成流程及算法。最后通过实例分析了该方法的有效性。这个方法的主要流程是首先从源程序建立UML模型，通过UML模型到LTS模型的转换规则把UML状态图转换成LTS模型，然后通过路径转换的生成流程生成路径转换序列，最后通过路径转换序列生成测试用例并对程序进行测试。该方法的优点是简单和有效。　　 (2)第二个方法是基于UML模型和Petri网模型的测试用例生成。主要介绍了Petri网的可达性、弱活性和可覆盖性等性质，提出了利用可达标识图、可达树等分析工具对UML状态图进行分析。最后通过实例来说明方法的有效性。这个方法的主要流程是首先使用UML状态图建立软件模型，通过EFSM模型生成路径转换序列，然后通过UML模型到Petri网模型的转换规则，把UML状态图转换成Petri网，最后通过Petri网对转换路径序列进行分析。该方法通过Petri网严谨的数学工具的分析，消除了UML状态图和EFSM模型生成测试用例时所具有的缺点。