包邮软件测试基础教程

出版者的话 译者序 前言 **部分预备知识 第1章软件测试的基本知识 11人、错误和测试 111错误、故障和失效 112测试自动化 113开发人员与测试人员是两种角色 12软件质量 121软件质量特性 122软件可靠性 13需求、运行结果和正确性 131输入域与软件正确性 132有效输入与无效输入 14正确性与可靠性 141正确性 142可靠性 143软件使用与操作剖面 15测试与调试 151制订测试计划 152构造测试数据 153运行被测软件 154指定被测软件的行为 155评价被测软件运行结果的正确性 156测试预言的构造 16测试度量 161组织级度量 162项目级度量 163过程级度量 164产品级度量：通用度量 165产品级度量：面向对象软件 166进度跟踪与趋势 167静态度量与动态度量 168可测试性 17软件测试与硬件测试 18测试与验证 19缺陷管理 110执行历史 111测试生成策略 112静态测试 1121走查 1122审查 1123在静态测试中使用静态代码分析工具 1124软件复杂性与静态测试 113基于模型的测试与模型检测 114控制流图 1141基本块 1142流图的定义与图形表示 1143路径 115决定者与后决定者 116程序依赖图 1161数据依赖性 1162控制依赖性 117字符串、语言与正则表达式 118测试的类型 1181分类因子C1：测试生成的依据 1182分类因子C2：软件生命周期阶段 1183分类因子C3：目标导向的测试 1184分类因子C4：被测软件制品 1185分类因子C5：测试过程模型 119饱和效应 1191信赖度与真实可靠性 1192饱和区间 1193信赖度的错觉 1194降低偏差Δ 1195对测试过程的影响 小结 参考文献注释 练习 第二部分测试生成 第2章基于需求的测试生成 21引言 22测试用例选择问题 23等价类划分 231缺陷定位 232关系与等价类划分 233变量的等价类 234一元化分与多元化分 235等价类划分的完整过程 236基于等价类的测试用例设计 237GUI设计与等价类 24边界值分析 25类别划分法 26因果图分析 261因果图中的基本符号 262创建因果图 263从因果图生成判定表 264避免组合爆炸的启发式方法 265从判定表生成测试用例 27基于谓词的测试生成 271谓词和布尔表达式 272谓词测试中的故障模型 273谓词约束 274谓词测试准则 275生成BOR、BRO和BRE充分性测试用例 276因果图与谓词测试 277故障传播 278谓词测试实践 小结 参考文献注释 练习 第3章基于有穷状态模型的测试生成 31软件设计与测试 32有穷状态机 321用输入序列激活FSM 322转换函数和输出函数的表格表示 323FSM 的特征 33符合性测试 331重置输入 332测试的难题 34故障模型 341FSM的变体 342故障覆盖率 35特征集 351k等价划分的构造 352特征集的构造 353等价集 36W方法 361假设 362*大状态数 363转换覆盖集的计算 364构造集合Z 365导出测试集 366采用W方法测试 367错误检测过程 37部分W方法 371采用m＝n的Wp方法测试 372采用m>n的Wp方法测试 38UIO串方法 381假设 382UIO串 383核心行为与非核心行为 384生成UIO串 385区分符号 386测试生成 387测试优化 388故障检测 39自动机理论与基于控制流的技术 391n路径覆盖 392自动机理论方法的比较 小结 参考文献注释 练习 第4章基于组合设计的测试生成技术 41组合设计 411测试配置和测试集 412输入空间与配置空间建模 42组合测试设计过程 43故障模型 44拉丁方阵 45相互正交的拉丁方阵 46对偶设计：二值参数 47对偶设计：多值参数 48正交矩阵 49覆盖矩阵与混合取值覆盖矩阵 491覆盖矩阵 492混合取值覆盖矩阵 410强度大于2的矩阵 411生成覆盖矩阵 小结 参考文献注释 练习 第5章回归测试的选择、*小化和优先级排序 51什么是回归测试 52回归测试过程 521测试重确认、选择、*小化和优先级排序 522测试准备 523测试排序 524测试执行 525输出比较 53回归测试选择问题 54回归测试选择方法集 541全测试策略 542随机选择测试 543选择遍历修改测试用例 544测试*小化 545测试优先级排序 55利用执行轨迹进行回归测试的选择 551获取执行轨迹 552选择回归测试用例 553处理函数调用 554处理声明中的变化 56利用动态切片进行回归测试的选择 561动态切片 562计算动态切片 563选择测试用例 564潜在依赖 565计算相关切片 566语句的添加和删除 567标识切片变量 568简化的动态依赖图 57测试选择算法的可扩展性 58测试*小化 581集合覆盖问题 582测试*小化过程 59测试优先级排序 510回归测试工具 小结 参考文献注释 练习 第三部分测试充分性评价与测试增强 第6章基于控制流和数据流的测试充分性评价 61测试充分性基础 611什么是测试充分性 612测试充分性的度量 613通过度量充分性来增强测试 614无效性和测试充分性 615错误检测和测试增强 616单次和多次执行 62基于控制流的测试充分性准则 621语句覆盖和块覆盖 622条件和判定 623判定覆盖 624条件覆盖 625条件/判定覆盖 626多重条件覆盖 627线性代码序列和跳转覆盖 628改进的条件/判定覆盖 629复合条件的MC/DC充分测试 6210MC/DC覆盖的定义 6211*小MC/DC测试 6212错误检测和MC/DC充分性 6213短路计算和无效性 6214测试集对需求的追踪 63数据流概念 631定义和使用 632cuse和puse 633全局和局部的定义与使用 634数据流图 635defclear路径 636defuse对 637defuse链 638优化 639数据上下文和有序的数据上下文 64基于数据流的测试充分性准则 641cuse覆盖 642puse覆盖 643alluse覆盖 644kdr链覆盖 645使用kdr链覆盖 646无效的cuse和puse 647上下文覆盖 65控制流与数据流 66包含关系 67结构性测试与功能性测试 68覆盖度量的可量测性 小结 参考文献注释 练习 第7章基于程序变异的测试充分性评价 71导引 72变异和变体 721一阶变体与高阶变体 722变体的语法与语义 723强变异和弱变异 724为什么要变异 73用变异技术进行测试评价 731测试充分性评价的步骤 732测试充分性评价的替代过程 733被区分的变体与被杀掉的变体 734区分变体的条件 74变异算子 741算子类型 742变异算子的语言依赖性 75变异算子的设计 751评判变异算子优良的准则 752指导准则 76变异测试的基本原则 761称职程序员假设 762耦合效应 77等价变体 78通过变异进行错误检测 79变体的类型 710C语言的变异算子 7101什么没有被变异 7102线性化 7103执行序列 7104执行序列的影响 7105全局标识符集和局部标识符集 7106全局引用集与局部引用集 7107程序常量变异 7108运算符变异 7109语句变异 71010程序变量变异 711Java语言变异算子 7111传统变异算子 7112继承 7113多态与动态绑定 7114方法重载 7115Java特有的变异算子 712综合比较：Fortran 77、C与Java变异算子 713变异测试工具 714低成本变异测试 7141划分变异函数的优先级 7142选择使用部分变异算子 小结 参考文献注释