第1章 绪论 1
1.1 软件并行开发的提出 1
1.1.1 传统软件工程面临的问题 1
1.1.2 来自制造业的启示 1
1.1.3 来自其他领域的启示 4
1.2 软件并行开发研究的现状 5
1.3 软件并行开发研究的内容及意义 7
1.3.1 研究内容 7
1.3.2 意义 9
1.4 软件并行开发支持工具 9
1.4.1 CASE系统 9
1.4.2 第四代语言 10
1.5 Petri网简介 11
1.6 软件并行开发与CMMI 15
参考文献 21
第2章 软件过程 23
2.1 软件并行开发的软件生存周期模型 23
2.1.1 传统的软件生存周期模型 23
2.1.2 并发开发模型 25
2.1.3 软件并行开发的软件生存周期模型 26
2.2 软件过程中的并行性 28
2.2.1 软件过程与软件过程模型 28
2.2.2 软件生存周期中的并行性分析 30
2.2.3 软件过程模型 33
2.2.4 一个SDDM模型的实例 37
2.2.5 SDDML语言 39
2.2.6 基于SDDML的过程建模方法 45
2.2.7 软件开发过程的进化 46
2.3 软件并行开发中的应用技术 49
2.4.1 人员 53
2.4 软件并行开发的项目管理 53
2.4.2 问题 55
2.4.3 过程 57
2.5 软件并行开发过程对CMMI过程域的支持 59
参考文献 61
第3章 软件并行开发成分划分 63
3.1 划分准则和约束 63
3.2 基于Petri网的系统划分 67
3.2.1 系统模型和增强型关系 67
3.2.2 系统划分方法 69
3.3 基于脚本的系统划分 73
3.3.1 基于脚本的需求模型 73
3.3.2 基于脚本的系统划分 80
3.4 并行性挖掘 88
3.4.1 活动间相关性分析 88
3.4.2 软件过程模型的构造 90
3.5 并行性延拓 92
3.5.1 活动内并行性挖掘 92
3.5.2 划分块之间的相关关系判别 94
3.5.3 并行性延拓 96
3.6 并行性挖掘与延拓示例 98
3.7 并行成分划分技术在CMMI过程域中的作用 99
参考文献 100
第4章 软件过程并行控制 103
4.1 并行控制的必要性 103
4.2 并行控制模型 104
4.2.1 基于Petri网的并行控制模型CCM 104
4.2.2 基元块 105
4.2.3 CCM模型的建立 106
4.2.4 一个CCM的例子 110
4.3 计算机辅助并行控制 110
4.3.1 CCML语言 111
4.3.2 基于CCM模型的计算机辅助并行控制 114
4.4 基于C-P/T网的软件并行开发控制模型 114
4.4.1 C-P/T控制网 114
4.4.2 超类和并行控制 115
4.4.3 消息传递与对象合作 116
4.4.4 C-P/T并行控制网的产生 118
4.5 基于开发管程的并行控制 121
4.6 并行控制模型对CMMI过程域的支持 124
参考文献 125
第5章 软件测试过程 127
5.1 软件测试的原则和策略 127
5.2 软件测试过程模型 130
5.3 并行进行的单元测试 130
5.3.1 基本单元测试方法 131
5.3.2 FREE方法 132
5.3.3 基于Petri网的单元测试 134
5.4 集成测试 136
5.4.1 基本集成测试方法 136
5.4.2 FREE方法 137
5.4.3 基于Petri网的集成测试 138
5.5 软件测试过程对CMMI过程域的支持 139
参考文献 140
第6章 计算机辅助软件并行开发 142
6.1 CASCD系统结构 142
6.1.1 软件并行开发对CASCD的要求 142
6.1.2 系统功能 143
6.1.3 系统总体结构 144
6.2 过程管理子系统 144
6.3 CCML语言与SDDML语言 145
6.3.1 系统结构与功能 145
6.3.2 模型的存储结构 147
6.3.3 模型的可视化 150
6.3.4 编译程序 151
6.3.5 模型验证 152
6.3.6 模型修改 153
6.4 配置管理 153
6.4.1 配置数据库 154
6.4.2 版本控制 156
参考文献 158
第7章 软件开发过程的自动化 159
7.1 组合语义功能规约方法 159
7.1.1 集成的必要性 159
7.1.2 规约的结构 160
7.1.3 例子 162
7.2.1 设计思想 164
7.2 需求规约语言OORSL 164
7.2.2 主要语法成分 165
7.2.3 一个实例 168
7.3 OORSL向Java程序框架的转换 170
7.3.1 Java并行程序框架 170
7.3.2 转换机制 171
7.3.3 翻译器 171
7.3.4 语义处理 172
7.4 形式化软件功能分解的交互式规则 173
7.4.1 功能分解的结构 173
7.4.2 交互式分解规则 174
7.5 基于知识的形式化软件设计技术 178
7.5.1 知识库结构 178
7.5.2 系统结构 180
7.5.3 设计过程 181
参考文献 183