第1章 绪论 1
1.1 研究背景 1
1.2 国内外研究现状 2
1.3 形式化方法的优点和存在的问题 3
1.4 形式化方法的发展方向 4
1.5 主要研究内容 4
1.6 章节安排 5
第2章 相关技术理论 6
2.1 形式化方法理论 6
2.2 B技术简介 7
2.3 UML 13
2.4 依赖性分析理论 24
2.5 程序切片技术 29
2.6 本章小结 32
第3章 形式化B方法的开发 33
3.1 形式化B方法的开发过程 33
3.2 基于B方法的软件需求形式化过程 36
3.3 本章小结 45
第4章 基于B方法的UML形式化转换方法 46
4.1 UML和B方法概述 46
4.2 UML类图到B方法形式规约的转换 47
4.3 UML状态机到BAMN的转换 55
4.4 UML活动图到B形式化规约的转换 62
4.5 UML顺序图到B形式化规约的转换 63
4.6 用例图到B方法的形式化转换 66
4.7 OCL数据类型到B形式化规约的转换 69
4.8 本章小结 73
第5章 基于B技术的软件体系结构方法 74
5.1 软件体系结构定义 75
5.2 软件体系结构描述语言 75
5.3 软件体系结构的形式化描述 76
5.4 面向对象软件体系结构的形式化模型 76
5.5 本章小结 79
第6章 基于B方法的软件模型检测技术 80
6.1 模型检测技术 81
6.2 软件模型检测技术 83
6.3 基于程序切片的软件测试技术 86
6.4 本章小结 86
第7章 面向对象程序切片技术 87
7.1 传统面向对象程序切片存在的问题 87
7.2 解决方案 88
7.3 扩展粗粒度切片的含义 89
7.4 波动效应分析 90
7.5 基于波动效应分析的粗粒度切片技术 92
7.6 复杂度分析 98
7.7 本章小结 99
第8章 基于依赖性分析的面向对象层次切片方法 100
8.1 对象程序的层次模型 100
8.2 层次切片模型 100
8.3 逐步求精算法的基本思想 102
8.4 SSA计算面向对象程序的切片算法的步骤 102
8.5 层次切片复杂度 107
8.6 本章小结 108
第9章 基于B方法的软件体系结构切片技术 109
9.1 现有切片的不足 109
9.2 软件体系结构切片前提条件 110
9.3 软件体系结构切片目的 110
9.4 CGEAEDG软件体系结构粗粒度切片 111
9.5 软件体系结构切片分类 115
9.6 CGEAEDG软件体系结构粗粒度切片算法 116
9.7 CGEAEDG动态软件体系结构粗粒度切片算法 120
9.8 软件体系结构切片应用 122
9.9 本章小结 124
第10章 总结与展望 126
参考文献 128