构件化软件动态更新与验证技术PDF|Epub|txt|kindle电子书版本网盘下载

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

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

第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