Z形式规约切片的研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

Z形式规约切片的研究PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 导论1

1.1 Z形式规约切片的研究依据1

1.1.1 研究背景1

1.1.2 研究意义4

1.1.3 研究目的5

1.2 国内外研究现状5

1.2.1 Oda和Araki的切片方法6

1.2.2 Chang和Richardson的切片方法7

1.2.3 Leminen的切片方法9

1.3 本书的内容结构10

1.4 研究方法13

1.5 创新之处15

第2章 基于依赖性分析的Z形式规约切片16

2.1 相关研究工作16

2.2 Z形式规约的依赖性分析20

2.2.1 数据依赖21

2.2.2 控制依赖24

2.2.3 逻辑依赖25

2.3 Z形式规约的图形化表示27

2.3.1 理论依据27

2.3.2 模式依赖图S1DG28

2.3.3 形式规约依赖图SpDG30

2.4 Z形式规约切片33

第3章 基于依赖性分析的Z形式规约切片的形式化描述38

3.1 相关研究工作38

3.2 切片的形式化描述40

3.3 依赖图的形式化描述42

3.3.1 基本概念和定义42

3.3.2 节点和边的形式化描述44

3.3.3 程序依赖图的形式化描述54

3.3.4 系统依赖图的形式化描述55

3.4 程序切片算法的形式化描述56

3.4.1 子程序切片算法的形式化描述56

3.4.2 过程间切片算法的形式化描述56

第4章 基于关系演算的Z形式规约切片58

4.1 相关研究工作58

4.2 基于关系代数演算的Z形式规约切片60

4.2.1 基本概念和定义60

4.2.2 Z模式切片63

4.3 基于Z关系演算的Z形式规约切片65

4.3.1 基本概念和定义65

4.3.2 Z模式切片66

4.4 实例研究69

4.5 讨论71

第5章 变量定义和使用情况的探讨73

5.1 表达式化简73

5.1.1 一阶谓词逻辑的化简73

5.1.2 集合的化简77

5.1.3 关系的化简79

5.1.4 函数的化简82

5.1.5 序列的化简83

5.1.6 包的化简85

5.2 定义对象分析86

5.3 引用对象分析91

5.4 节点内定义集和使用集的分析96

5.5 讨论96

第6章 Z形式规约切片在提升和定理证明中的应用97

6.1 Z形式规约切片在提升中的应用97

6.1.1 相关研究工作97

6.1.2 基本概念和定义99

6.1.3 切片在提升中的应用101

6.1.4 实例研究102

6.2 Z形式规约切片在定理证明中的应用109

6.2.1 Z形式推理109

6.2.2 Z形式推理的分类110

6.2.3 一个定理证明的实例112

第7章 基于依赖性分析的Z形式规约度量116

7.1 相关研究工作116

7.2 度量准则的制定118

7.3 度量准则的验证120

7.3.1 相关性分析124

7.3.2 回归分析130

第8章 总结与展望134

8.1 总结134

8.2 研究展望136

附录1 交通车辆管理系统的Z形式规约和相应的Java源代码137

附录2 与CK度量的评估、验证和预测相关的典型工作总结144

附录3 交通车辆管理系统回归分析数据146

参考文献172