目前虽然面向对象的程序设计方法在全世界范围内得到广泛应用，但相对而言对面向对象软件测试方面的研究却是严重滞后的。随着人们发现传统的软件测试技术和方法在测试面向对象软件时效果很差，这方面的研究也越来越得到重视。 类的基于状态的测试是目前面向对象软件测试技术的研究的热点问题之一，这方面研究的基本方法之一就是借用传统的基于扩展有限状态机的状态测试方法，其核心问题是测试用例的自动生成方法的研究。本文在总结类的基于状态测试的理论基础、现有的测试用例生成方法的基础上，结合UML的状态图，对测试用例自动生成进行了研究，重点放在状态预测、消息序列生成上：对状态的预测引入了状态不变量；生成测试消息序列时对算法进行优化，以生成路径尽可能短的符合覆盖标准的测试消息序列。目标是以这些方法为基础，开发出一个类的基于状态测试的测试用例自动生成工具，这个工具以Rational Rose的规约文件为输入，输出符合ISO9002的TTCN形式的测试用例。