中文摘要：

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

英文摘要：

Automatic test sequences generation using the extended finite state machine （EFSM） model can improve the test efficiency. However, unexecutable test sequences due to the conflicts among the predicates and internal variables of transitions in an EFSM may exist. The existence of unexecutable test sequences increases the difficulties of automatic test sequences generation. How to determine whether a test sequence is executable becomes a challenging problem. In this paper, the intrinsic characteristics and dependence relations among transitions in an EFSM are discussed in detail. Then an adaptive approach to automated executable test sequence generation for EFSM models is proposed~ which is based on an adjacency transition dependence graph. In this method, firstly, transitions are classified according to their variables and predicates~ Then dependence relationships between any two adjacency transitions can be mined and defined; Finally, executable test sequences are generated through expanding a reachability analysis tree, with the heuristic guidance using an adaptive exploration function. Experimental results show that, compared with the reachability analysis algorithm based on bread-first-search, the proposed method can reduce the number of states explored in the reachability analysis process and relieve the state explosion problem. As a result, the efficiency of automatic executable test sequences generation is improved. In the worst case, time and space complexity of the proposed method is also not more than the bread-first-search algorithm.