摘要：尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术，但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中，对如何减少面向对象软件的错误提出了许多方法，绝大多数人关注的是类测试而不足对面向对象规约的高级测试。该文提供了一个基于有穷自动机的测试框架来测试面向对象规约。该方法在一个可执行的有穷自动机上直接进行了测试，不用手动进行证明，并且可产生大量的状态空间。测试结果汪明了该方法的仃效性。