软件测试在软件开发过程中有着越来越重要的地位。它贯穿于软件定义与开发的整个期间即整个软件开发过程。而测试用例的生成设计又是软件测试过程中的难点和重点所在，而它的主要依据应该来自于软件需求和软件设计，其中要涉及到测试用例的充分性覆盖准则问题。本文的研究内容是属于基于规格说明的软件测试的范畴。 基于说明的测试用例生成是一种新兴的测试用例生成技术。有优于以前的测试技术的方面。本文主要研究了基于UML状态图说明的测试用例生成技术。首先，分析了基于规格说明的测试用例生成，以及UML建模机制。然后研究了基于状态说明的测试用例设计覆盖准则，以此做为设计测试用例的基础。本文在A．J．Offutt提出的基于状态说明测试用例生成的基础上，深入研究了他的测试用例生成算法，并对该算法进行了改进，实现了表达式分析、变量值确切标识的扩充。最后设计并实现了基于UML状态图说明的测试用例自动生成工具。