构件化软件动态更新与验证技术pdf电子书版本下载

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

构件化软件动态更新与验证技术PDF格式电子书版下载

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

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

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

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

第1章 绪论 1

1.1 相关研究背景 2

1.1.1 构件化软件开发 2

1.1.2 动态软件更新技术 6

1.1.3 软件更新形式化研究 8

1.2 研究动机与目标 10

1.2.1 问题的提出及研究动机 10

1.2.2 研究的主要目标 12

1.3 研究的主要内容 12

1.4 章节结构组织 13

1.5 本章小结 14

第2章 动态软件更新问题及研究现状 15

2.1 动态软件更新过程需求 15

2.2 动态更新属性需求 17

2.2.1 系统一致性 17

2.2.2 时序正确性 19

2.2.3 安全可靠性 20

2.3 动态更新技术研究现状 21

2.3.1 安全更新状态界定 21

2.3.2 动态更新时机选择 23

2.3.3 运行时状态迁移 25

2.4 软件更新形式化推演技术 27

2.4.1 研究现状分析 27

2.4.2 形式化推演机理 28

2.5 本章小结 29

第3章 构件化软件动态更新关键技术 30

3.1 动态更新需求分析 30

3.1.1 功能需求 30

3.1.2 非功能需求 32

3.2 动态更新关键技术策略 33

3.2.1 确定安全更新点 33

3.2.2 安全交付更新文件 34

3.2.3 选择合理更新时机 36

3.2.4 提取并迁移运行时状态 37

3.2.5 检测及处理更新失败 38

3.3 构件化软件下的动态更新技术研究 40

3.3.1 基于安全通信方案传输更新文件 40

3.3.2 基于依赖性分析确定更新顺序 43

3.3.3 基于静态分析确定并迁移运行时状态 46

3.4 本章小结 49

第4章 高阶π演算的动态更新支持扩展技术 50

4.1 高阶π演算 50

4.1.1 基本语法 50

4.1.2 标记变迁系统 51

4.2 带进程位置的HOπ演算 53

4.2.1 进程钝化 53

4.2.2 语法和语义 54

4.3 带事务特性的HOπ演算 56

4.3.1 事务处理语法 56

4.3.2 操作语义 57

4.4 带状态属性的HOπ演算 59

4.4.1 基本语法 60

4.4.2 操作语义 61

4.5 本章小结 63

第5章 构件化软件动态更新形式化技术 64

5.1 设计依据 64

5.1.1 更新粒度选择 64

5.1.2 更新时机选择 65

5.1.3 状态获取与迁移 66

5.1.4 更新事务及失败恢复 66

5.2 updateπ演算的语法 67

5.2.1 基本约定 67

5.2.2 语法定义 67

5.3 updateπ演算操作语义 71

5.3.1 结构同余 71

5.3.2 归约关系 72

5.3.3 标记变迁系统 75

5.4 动态构件更新及其属性 76

5.4.1 动态更新实例 76

5.4.2 属性分析 78

5.5 本章小结 80

第6章 动态软件更新支持技术实现及案例应用 81

6.1 动态更新支持系统功能建模 81

6.1.1 基本更新处理过程 82

6.1.2 更新时机选择模块 84

6.1.3 依赖性分析模块 85

6.1.4 更新顺序确定模块 87

6.1.5 运行时状态迁移模块 89

6.2 普适计算环境下的动态软件更新 90

6.2.1 远程诊疗系统动态更新应用场景 90

6.2.2 基于R-OSGi平台技术的软件动态更新实现 92

6.2.3 原型实现及实验分析 95

6.3 本章小结 99

第7章 总结与展望 101

7.1 主要内容总结 101

7.2 未来研究方向 103

附录 主要符号和简写对照表 104

参考文献 105