目前，扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径，然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的，采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法，通过对扩展有限状态机状态迁移树的分析，获取基于该树的测试路径，再根据扩展有限状态机模型的迁移信息表以及迁移路径的可行性，分析且构造测试用例，最终得出该方法有效减少了测试用例生成的复杂性，提高了基于扩展有限状态机模型的测试效率。

基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变迁关联图,提出了一种自适应EFSM可执行测试序列生成算法.新算法首先根据变量和谓词包含情况对变迁进行分类,然后深入挖掘了邻接变迁之间的关联关系,最后,基于自适应预测搜索函数启发式引导可达性分析树扩展生成可执行的测试序列.实验数据表明,与宽度优先可达性分析方法相比,新算法可以有效降低可达性分析过程中产生状态空间爆炸问题的概率,从而提高测试序列自动生成的效率.在最坏的情况下,新算法的计算时空复杂度也等同于宽度优先算法.