论文部分内容阅读
扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件,通过EFSM我们可以更加精确地刻画软件系统的动态行为.基于EFSM的测试可以应用到许多领域,因此具有重要的研究价值和实际意义.许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入,增加了构造其测试输入的复杂性.我们认为基于EFSM测试的测试输入应该包含两个部分:即测试输入序列以及该输入序列上包含的输入变