如今软件测试并不像传统的测试技术那样,将测试视为软件编码后的第一个环节,伴随着软件工程的不断发展,软件测试在软件生命周期每个阶段中的地位都在不断地提高。在实际工程问题中,被测系统往往既庞大又复杂,这使得软件测试用例也变得繁杂且无法有序整顿。那么基于模型的软件测试技术是解决以上问题的可选方案,扩展有限状态机模型可以同时对被测系统的控制部分以及数据部分建模,因为它除了有状态的集合以及迁移的集合以外,还用一组变量补充了迁移集合的信息进而扩展了有限状态机模型的结构。因此,对于各式各样的被测系统都可以用扩展有限状态模型进行建模。但是迁移路径之间的数据流依赖性会导致扩展有限状态机模型迁移路径的不可行情况,这使得没有测试数据可以触发该不可行迁移路径。据此,本文重点研究了基于扩展有限状态机模型可行性测试路径的生成方法。首先,基于被测系统的扩展有限状态机模型状态迁移之间数据流的依赖关系,对迁移序列进行不可行判定,以及利用迁移信息的赋值操作类型和守卫条件运算符的难易满足程度进行排列组合,计算迁移路径的不可行程度值;然后根据扩展有限状态机模型的状态迁移图生成状态迁移树,以此来降低测试的复杂性,也便于采用迁移对覆盖准则生成测试路径以及采用全ZOT路径覆盖准则处理自循环迁移;再根据基于扩展有限状态机模型的迁移对覆盖准则,结合不可行路径判定情况,生成一组具有可行性的基于该模型的测试路径集;最后通过五组实例数据,在迁移覆盖率、迁移对覆盖率等方面与其他方法进行比较,证明本文方法的可行性,并采用“软件项目开发过程辅助管理系统”中的用户管理模块来简单说明本文方法在Web应用系统页面迁移功能测试中的运用。