摘要：基于扩展有限状态机（EFSM）的回归测试过程需要根据依赖关系变化对软件所做修改的影响域进行分析。为了针对软件某一功能进行修复，通常需要对多处代码进行同步修改，已有依赖分析方法在这种情况下暴露模型中触发条件和行为语句错误的效率不高。提出以ALL—Uses覆盖准则引导回归测试的方法，引入依赖关系变化因素的概念，修改待覆盖子路径的产生规则，对已有测试用例集中能有效覆盖子路径的用例进行选择、排序。针对已有测试用例无法覆盖的子路径，利用AOE活动图中求关键路径的方法将其补充为一条完整的迁移执行序列。选取三个软件进行实验，结果表明，本文方法可以在减小测试用例集规模的前提下有效提升ALL—Uses和植入错误的覆盖率，提高回归测试效率。

关键词：扩展有限状态机 回归测试 依赖分析 

单位：海军工程大学电子工程学院; 湖北武汉430033