随着信息数字化时代的来临,计算机软件以惊人的速度急剧膨胀,软件测试对保障软件质量起着至关重要的作用。扩展有限状态机(Extended Finite State Machine,EFSM)可以对软件过程的动态行为进行准确阐述,是一种基于状态的形式化描述方式。当前有关EFSM模型的研究大部分集中在两个方面:测试序列生成和测试数据生成。针对可行测试序列的生成研究目前还处于起步阶段,需要进一步的对实现EFSM模型可行测试序列的生成方法进行优化。本文针对EFSM模型,以迁移覆盖准则为目标,结合测试序列可行性度量方法以及基于遗传算法的测试数据生成方法,运用面向迁移覆盖准则的集合进化算法和面向迁移覆盖准则与测试序列集多样性的多目标集合进化算法生成可行测试序列集;设计并实现了一个基于集合进化算法的EFSM模型可行测试序列集生成器,该生成器能够有效的生成满足迁移覆盖准则的可行测试序列集。为验证本文提出的基于集合进化算法生成满足迁移覆盖准则的可行测试序列集方法的有效性,通过本文设计并实现的可行测试序列生成器,对6个被测EFSM模型进行大量的实验对比分析,比较分析了测试序列的可行性对测试生成效率的影响,以及对可行测试序列有效比的影响;比较分析了测试序列集的多样性对测试生成效率的影响。结果表明:(1)测试序列可行性分析能够大幅度提高测试生成的效率,同时也对可行测试序列的有效比有明显提高;(2)测试序列集的多样性对提高测试生成效率具有明显效果。