基于依赖关系的EFSM模型事件失效修复方法

摘要

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

目录

声明

学位论文数据集

摘要

第一章 绪论

1．1 目的与意义

1．2 国内外研究现状

1．2．1 模型切片

1．2．2 模型修复技术

1．3 本文主要内容及贡献点

1．4 本文组织结构

第二章 扩展有限状态机(EFSM)模型

2．1 EFSM模型相关概念

2．2 EFSM模型依赖性分析

2．3 EFSM模型事件失效故障

第三章 基于依赖关系的EFSM模型事件失效修复方法

3．1 修复方法的基本思想

3．2 修复方法的基本框架

3．3 修复方法的实现流程图

3．4 本章小结

第四章 面向EFSM模型修复的依赖性分析

4．1 EFSM模型失效事件影响性分析

4．2 EFSM模型迁移可修复性分析方法

4．3 可修复性的正确性证明

4．4 本章小结

第五章 EFSM模型迁移路径修复方法

5．1 可修复迁移路径识别

5．2 迁移路径修复规则

5．3 迁移路径修复规则的正确性证明

5．4 本章小结

第六章 实验验证及结果分析

6．1 实验验证方法

6．2 实验被测模型

6．3 实验设置

6．4 修复功能验证

6．5 修复模型语义一致以及模型相似验证

6．6 本章小结

第七章 结论与展望

7．1 结论

7．2 展望

参考文献

致谢

作者和导师简介