软件测试在软件开发过程中有着重要的地位，它贯穿于软件定义和开发的整个周期即整个软件生命周期。而测试用例的生成设计又是测试过程中的重点和难点所在，它的设计依据主要来自于软件需求和软件设计，其中要涉及测试用例的充分性准则问题。本文的研究内容属于基于规格说明的软件测试范畴。　　基于规格说明的测试用例生成技术是一种新兴的测试用例生成技术，有许多方面优于以前的测试技术。随着面向对象技术的推广，UML被广泛用于面向对象的软件分析和设计中，UML是一种半形式化的语言，没有精确的语义描述。本文主要研究了基于UML Statecharts规格说明的测试用例生成技术。首先对UML Statecharts的操作语义进行精确定义，在此基础上，本文提出了一种算法将UML Statecharts模型变换成无层次和并发结构的EFSM模型。测试充分性准则是整个软件测试的核心，它是评判软件测试充分性的重要依据，并且决定了测试用例的生成。本文定义了一组测试覆盖准则，并且提出了基于这一组准则来生成满足相应覆盖标准的测试用例集的算法。测试中对于循环的覆盖一直都是测试的难点，本文结合ZOT循环覆盖准则和全ZOT路径覆盖准则，引入随机测试的思想，提出了ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则，在对UMLStatecharts中的循环结构的测试覆盖率上更进了一步，提高了安全关键软件的可靠性。　　本文为了验证所提方法的可行性，在调查了目前流行的测试工具的基础之上，提出了一个测试用例生成系统的设计框架，该框架能充分结合现有的软件建模工具，具有扩展性、标准化等优秀特性，并以JDK作为开发环境，借助Rational Rose等建模工具，做部分功能实现，验证了核心算法的有效性。