基于有限状态机的一致性测试模型 (2003年)

基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一。首先给出了用于有限状态机一致性测试的定义和性质,接着讨论了基于有限状态机一致性测试的概念和步骤,最后提出了基于有限状态机及扩展的有限状态机的一致性测试模型。