基于有限状态机的一致性测试模型.pdf

年 月 装 备 指 挥 技 术 学 院学 报 第 卷 第 期 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 基于有限状态机的一致性测试模型 李小将 ， 杨凡德 （ 装备指挥技术学院试验工程系，北京 ； 装备指挥技术学院试验指挥系，北京 ） 摘 要：基于有限状态机测试方法是进行协议一致性测试、图形用户界面 测试和面向对象测试的重要方法之一。首先给出了用于有限状态机一致性测试的定 义和性质，接着讨论了基于有限状态机一致性测试的概念和步骤，最后提出了基于有 限状态机及扩展的有限状态机的一致性测试模型。 关 键 词：有限状态机；一致性测试；测试模型 中图分类号： 文献标识码： 文 章编 号： （ ） 有限状态机（ ）由有限个稳定的状态构 步骤，并给出了基于有限状态机和扩展的有限状 成，通过激励信号（内部或外部的消息），推动状态 态机的一致性测试模型。 的迁移和自动机的运转，同时，在运转的过程中， 会产生一定的输出信号。有限状态机最初主要应 ! 有限状态机的定义和性质 用于开关电路、序列电路、硬件设计等测试和验证 关于有限状态机（ ）的状态等价、个有限 及自动控制模型中。近年来，系统的可靠性问题 状态机等价的概念和定义在文献［］中进行了详 引起了对基于有限状态机测试的广泛研究，以保 细的介绍，下面在此基础上给出以下定义和定理 障系统功能的正确。研究成果主要应用在一些软 及其证明。 件的实现和测试中，包括词法分析程序、模式识别 定义 给定 个有限状态机 （ ， ， ! ! 程序、协议一致性测试、图形用户界面（ ）测试 ， ， ），如果对于状态集 中的每 个状态 ， ! 和面向对象设计（ ）测试等。