软件测试在软件开发过程中有着举足轻重的地位，它贯穿于软件定义与开发的整个周期及整个软件开发过程。而测试用例的生成设计又是软件测试过程中的重点与难点，它的设计主要来自于软件需求和软件设计，其中涉及到测试用例的充分性覆盖准则问题。本文主要研究基于规格说明的软件测试。基于规格说明的测试用例生成技术是一种新兴的测试用例生成技术，特别是基于模型的软件测试，有很多优于以前的测试技术的方面。本文主要研究了基于UML(Unified Modeling Language)状态图的测试用例生成技术。首先，将状态图转换为具有形式化语义和分析方法的Petri网，利用现有的Petri网工具对其进行正确性分析，修正模型。然后，利用图论相关算法以及交替变量法对UML状态图进行测试用例的生成，其中包括测试路径和测试数据的生成。并设计了相应的转换工具和测试用例生成工具，给出了详细的设计方案及实现过程。