第1章 预备知识 1
1．1 软件、软件工程和软件工程过程 1
1．1．1 软件工程的构造性方法 2
1．1．2 构造软件的过程 2
1．2 面向对象 3
1．3 缺陷管理 8
1．4 描述质量 9
1．5 质量观点 9
1．6 内部质量与外部质量：形式与功能 10
1．7 软件产品质量属性 11
1．7．1 外部质量属性 11
1．7．2 面向客户的质量评估 11
1．8 评估产品质量 12
1．9 实现质量目标 17
1．9．1 关注产品 18
1．9．2 产品与过程的联系 19
1．9．4 近来的发展 21
1．9．3 关注过程 21
1．10 结论 25
第2章 面向对象环境下的缺陷和缺陷管理 25
2．1 为何面向对象给缺陷管理带来挑战 25
2．1．1 抽象 25
2．1．2 封装 26
2．1．3 泛型 27
2．1．4 继承 29
2．1．5 多重继承 32
2．1．6 多态 33
2．1．7 系统问题 34
2．2 管理缺陷 35
2．2．1 缺陷管理的时机 36
2．2．2 缺陷管理级别 36
2．3 结论 38
第3章 开发低缺陷需求 39
3．1 需求过程组成部分 39
3．1．1 理解当前的问题情境或问题的本质 41
3．1．3 描述质量与验收目标 44
3．1．2 抽取用户需求 44
3．1．4 分析用户需求 46
3．1．5 需求折衷 47
3．1．6 归档用户需求 48
3．1．7 需求叙述 48
3．1．8 用例 49
3．1．9 需求文档 53
3．1．10 需求文档集 54
3．2 结论 55
第4章 确定并排除需求缺陷 57
4．1 检验与标准的符合程度 58
4．2 模型验证 58
4．3 非形式化模型评估 59
4．4 形式化模型验证 62
4．5 结论 65
第5章 预防设计缺陷 65
5．1 软件设计 65
5．1．2 设计可靠性 66
5．1．1 设计功能性 66
5．1．3 设计可用性 68
5．1．4 设计可维护性 68
5．1．5 设计过程效率 69
5．2 良好设计的基本要素 70
5．2．1 内聚：模块化的度量 70
5．2．2 相干性：模块化的另一种度量 74
5．2．3 耦合：最小交互与隔离的度量 74
5．2．4 实现隔离 76
5．2．5 实现抽象 77
5．2．6 实现多级别粒度 77
5．2．7 实现形式化 77
5．2．8 进行异常处理 79
5．2．9 获得冗余 79
5．2．10 获得泛型 79
5．2．11 构架 79
5．2．12 分布式：分布式拓扑 80
5．2．13 构架设计风格 82
5．2．14 控制风格 86
5．2．15 解决特定的构架问题 87
5．2．16 构架设计的基本步骤 90
5．2．17 设计评审 98
5．2．18 构架设计归档 99
5．2．19 对象设计 99
5．3 结论 103
6．2 在设计中标识缺陷 105
6．1 设计缺陷 105
第6章 设计缺陷标识 105
6．2．1 设计模拟 106
6．2．2 设计审查 107
6．3 审查设计制品 107
6．3．1 类图 108
6．3．2 顺序图 112
6．3．3 协作图 114
6．3．4 状态图 115
6．3．5 活动图 121
6．3．7 模块图、包图 123
6．3．6 转换描述 123
6．3．8 实现图、组件图 124
6．3．9 部署图 124
6．4 标识设计文档中的缺陷 125
6．5 结论 126
7．1 缺陷标识方法 127
7．1．1 评估 127
第7章 程序缺陷标识 127
7．1．2 培训以及可选方案选择 128
7．1．3 缺陷标识 129
7．2 审查和测试的比较 133
7．2．1 审查面向对象代码 134
7．2．2 面向失效检测的缺陷排除 134
7．2．3 测试面向对象代码 134
7．3 结论 137
8．1．1 测试生成实例的正确性 139
8．1 测试基类 139
第8章 测试类 139
8．1．2 测试属性值的正确性 140
8．1．3 例程是否正确改变相应对象表示 141
8．2 类的基于断言的测试 141
8．2．1 类级别上的类不变量及断言 143
8．2．2 基于约束或断言约束覆盖的测试 144
8．3 类的模态测试 144
8．3．1 状态不变量 145
8．3．2 模态测试 145
8．4 方法的转换测试 146
8．4．1 分区或子域测试 147
8．4．2 基于子领域、基于统计的方法效率比较 152
8．5 结论 155
第9章 集成、集成测试、系统测试 157
9．1 组件及集成 157
9．2．1 集成策略 159
9．2．2 集成测试方法 159
9．2 组件交互 159
9．2．3 场景测试 162
9．2．4 模态测试 163
9．2．5 系统测试 163
9．2．6 基于用例的测试 164
9．2．7 系统临界边界测试 165
9．2．8 性能、负载测试 165
9．2．9 可用性测试 166
9．3 系统验收 166
9．4．1 确定β测试的目标 167
9．4 β测试 167
9．4．2 仔细选择β方人员 168
9．4．3 决定下一步干什么 168
9．5 结论 168
附录A 缺陷管理的一个分类图 169
附录B Object Z的语法 171
附录C 软件审查过程 175
参考文献 211
译后记 223