《计算机软件测试技术与实例》求取 ⇩

目 录1

第一章引言1

§1.1测试的目的1

§1.2一些两分法6

§1.3用于测试的模型9

§1.4赌博和预言14

§1.5完整的测试可能吗？15

第二章错误的分类17

§2.1 概要17

§2.2错误的结果17

§2.3错误的分类21

§2.4一些错误统计35

§2.5综述37

第三章流程图和路径测试39

§3.1概要39

§3.2路径测试基础39

§3.3判断、路径判断和能达到的路径63

§3.4路径敏化69

§3.5路径检测75

§3.6路径测试的执行和应用79

§3.7 可测试性提示81

§3.8综述82

§4.2综述83

§4.3事务处理流程83

第四章事务处理流程测试83

§4.1概要83

§4.4事务处理流程的测试技术92

§4.5实现注释96

§4.6 可测试点（Tcstability tips）98

§4.7小结99

第五章数据流测试100

§5.1概要100

§5.2数据流测试基础100

§5.3数据流测试策略112

§5.4应用、工具、效果118

§5.5测试能力的提示（testabilityTips）120

§5.6小结121

§6.2定义域和路径122

第六章定义域测试122

§6.1提要122

§6.3好的定义域和坏的定义域128

§6.4定义域测试135

§6.5定义域和接口测试143

§6.6定义域和可测性147

§6.7小结149

第七章度量与复杂性151

§7.1提要151

§7.2度量是什么及为什么要度量151

§7.3语言学度量154

§7.4结构度量法162

§7.5混合度量法169

§7.6度量法的实行170

§7.7测试能力172

§7.8小结173

第八章路径、路径产生和正则表达式174

§8.1提要174

§8.2产生原因174

§8.3路径乘积和路径表达式174

§8.4简化过程180

§8.4应用186

§8.6正则表达式和流程异常检测203

§8.7小结207

§9.1 概要208

§9.2原因、实际动作和手段208

第九章句法测试208

§9.3格式的一种语法212

§9.4测试分支的生成216

§9.5实现和应用225

§9.6可测试性的有关提示229

§9.7小结232

第十章基于逻辑的测试233

§10.1概要233

§10.2产生原因233

§10.3判定表234

§10.4再论路径表达式241

§10.5卡诺图250

§10.6规范258

§10.7可测试性提示263

§10.8 小结264

第十一章状态，状态图及转换测试265

§11.1概述265

§11.2 目的说明265

§11.3状态图265

§11.4好的和坏的状态图272

§11.5状态测试283

§11.6可测性说明286

§11.7小结289

第十二章图形矩阵和应用290

§12.1概述290

§12.2 目的说明290

§12.3图形矩阵291

§12.4关系294

§12.5矩阵的能力297

§12.6减少节点算法304

§12.7构造工具309

§12.8小结312

第十三章实现314

§13.1提要314

§13.2 概要314

§13.3程序员的策略316

§13.4独立测试的策略321

§13.5对软件产品测试327

§13.6 工具328

附录337