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

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

第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 模式依赖图S1DG 28

2.3.3 形式规约依赖图SpDG 30

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