软件的修复需要修复算法对整个系统有深入的理解,然而随着软件规模的增大,对于理解与分析整个系统能力的要求越来越高。模型是一种软件系统高层次的抽象,可以简化对于整个软件系统的理解,简化软件系统修复算法的设计,而扩展有限状态机(EFSM模型)是其中重要的一种,主要由状态、迁移及迁移上的信息组成。在现有的基于EFSM模型相关技术中,当模型所处的环境发生变化后,也就是模型的部分触发事件发生失效,主要采用静态分析技术,将失效事件及之后的相关功能完全删除。为保证模型不受失效事件影响,该方法最大可能删除与失效事件直接相关和潜在相关的迁移及迁移上的信息。甚至在某些情况下,该方法会导致整个模型完全不可用。本文通过分析原有方法的不足,结合最新的模型依赖分析技术,提出了一种新的基于依赖关系的EFSM模型事件失效修复方法。该方法不是简单的删除失效事件点之后的相关功能,而是通过依赖分析,区分与失效点存在直接关系和潜在关系的功能,识别可修复迁移路径,并通过模型状态及迁移等价合并等操作,该方法在保证模型修复后可用的前提下,尽可能多的保留了原模型的功能。为了验证本文所提出修复方法的正确性,本文通过理论和实证两个方面进行了论证。在理论方面,本文通过引用模型相似性的概念,通过形式化证明的方式,证明了修复后模型相对于原模型是在语义上一致的。在实证方面,本文通过两个方面验证修复方法的正确性和修复效果:通过比较修复后的模型相较于原模型而言,分析模型信息量的变化情况;根据修复方法提出测试用例修复方法,对修复后的模型上执行修复后的测试用例的执行路径,与原模型上执行原测试用例的执行路径,进行比较。实验结果证明,本文所提出的EFSM模型修复算法在保证了大部分功能的前提下,语义上一致,结构上相似。