软件测试的工作量一般要占到软件总开发时间的40%-60%，而软件测试的目的就在于发现软件中潜在的错误。当软件测试到达充分的时候，测试工作就可以停止了，这是软件测试充分性问题。UML所具有的特性决定了它不仅适合于对面向对象软件进行分析与设计的建模，同时它可以作为测试的依据。目前UML仍处于不断发展与完善之中，对基于UML模型的软件测试用例自动生成技术的研究还处于起步阶段，现有的技术与方法还很不完善，需要对其进行深入研究。 在总结前人研究的基础上，本文首先对UML内容和表示法以及基于模型的测试方法做了简单介绍，指出了UML模型用于指导测试的优势所在，并分析了UML模型在软件测试中的优缺点和研究现状。然后着重分析软件测试充分性理论，对充分性准则定义、性质、作用进行介绍，再围绕着UML状态图做了简单的充分性准则分析。最后对UML模型中的状态图和软件测试的策略进行论述。