有穷测试

有穷状态机用一个有向图表示，结点表示状态，有向边表示状态之间的迁移。该方法使用状态和事件来表示面向对象编程中类的行为。一个类的状态包含初始状态和终止状态。有穷测试适用于具有封装等特征的面向对象软件，并可用于高层黑盒测试。在简单类建模和测试中，任何时候至多只能存在一个对象。对于任何迁移，如果其事件是类中一个引发错误条件的成员函数，那么迁移的目标状态就是错误状态。如果每个错误条件被认为是不同的错误状态，那么模型可以得到进一步推广。