软件测试技术:基于案例的测试

《软件测试技术:基于案例的测试》：软件测试是发现软件缺陷、提高软件可信性的重要手段，它贯穿软件工程的整个软件生命周期，涉及各种软件开发技术、应用技术以及测试技术，覆盖软件的各种应用领域、《软件测试技术:基于案例的测试》基于软件测试对实践动手能力和工程应用能力的要求，结合作者多年从事软件工程和软件测试的研究以及多年讲授软件测试课程的经验与体会编写而成。
《软件测试技术:基于案例的测试》以案例为牵引系统地介绍了软件测试的基本原理和常用方法，阐述了覆盖准则的理论知识，介绍了图形用户界面测试、嵌入式软件测试、Web应用软件测试和安全性测试等，并介绍了测试过程管理和测试工具。通过案例展示各种测试方法的使用书中提供了许多可以借鉴和参考的案例，并且围绕案例给出实际应用方法的背景，为学生分析案例提供样板。系统论述覆盖准则的理论知识覆盖准则提供了何时停止测试的有效规则，书中将覆盖准则分为图覆盖、逻辑覆盖、输入空间覆盖和语法结构覆盖几类，有助于学生系统地理解和深入地掌握测试的方法和技术、详细介绍针对特定环境、体系结构和应用的测试方法，为学生从事实际测试工作奠定基础。

《软件测试技术:基于案例的测试》主要教读者如何使用普通计算机键盘实现英文四倍速录。《软件测试技术:基于案例的测试》主要介绍英文速录的原理，英文速录的指法练习，英文四倍速词汇压缩方法、练习方法及听打练习方法等，并提供大量的练习文章。《软件测试技术:基于案例的测试》配备光盘，包括常用的看打练习软件、听打练习文章的电子版和语音版。
《软件测试技术:基于案例的测试》主要适合于各类英文信息工作者，如会议记录人员、新闻记者、英文办公人员等，也可作为英文速录爱好者自学用书。

前言
教学建议
第一部分 软件测试背景知识
第1章 软件测试基础
1.1 软件质量
1.1.1 软件质量的内涵
1.1.2 软件质量与软件危机
1.1.3 软件质量保证
1.1.4 软件错误与缺陷
1.2 软件测试过程
1.2.1 软件测试的模型：
1.2.2 测试过程成熟度
1.2.3 测试活动的自动化
1.3 软件测试术语
1.4 软件的可测性
1.5 软件测试原则
1.6 测试与调试
1.7 小结
习题

第2章 图论
2.1 无向图
2.2 有向图
2.3 用于测试的图
2.3.1 程序图
2.3.2 有限状态机
2.3.3 Petri网
2.3.4.事件驱动的Petri网
2.3.5 状态图
习题

第3章 测试案例
3.1 工资支付系统
3.2 三角形类型问题
3.3 简化的录像机系统
3.4 简单自动柜员机问题
3.5 货币转换程序
3.6 面向对象的Next Date问题
3.7 挡风玻璃雨刷系统
3.8 小结
习题

第二部分 软件测试战术
第4章 覆盖准则
4.1 引言
4.2 图覆盖准则
4.2.1 结构化的覆盖准则
4.2.2 案例：寻找主路径
4.2.3 数据流覆盖准则
4.2.4 案例：三种数据流覆盖准则的区别
4.2.5 图覆盖准则之间的包含关系
4.3 逻辑覆盖准则
4.3.1 逻辑谓词和子句
4.3.2 逻辑表达式覆盖准则
4.3.3 活动子句覆盖准则
4.3.4 案例：带气门的系统CACC和RACC设计
4.3.5 非活动子句覆盖准则
4.3.6 逻辑覆盖准则的包含关系
4.3.7 建立判定谓词的子句
4.3.8 案例：工资支付系统查找满足覆盖准则的值
4.4 输入空间的划分准则
4.4.1 输入域建模
4.4.2 组合策略准则
4.4.3 划分中的约束
4.5 基于语法的覆盖准则
4.5.1 BNF覆盖准则
4.5.2 变异测试覆盖准则
4.5.3 案例：stream语法的MOC
和MPC覆盖
4.5.4 基于程序的语法覆盖准则
4.5.5 案例：min方法的变异测试
4.6 小结
习题

第5章 白盒测试
5.1 路径测试
5.1.1 程序图的表示
5.1.2 DD.路径
5.1.3 基路径测试
5.1.4 独立程序路径
5.1.5 案例：计算平均值的程序
5.2 控制结构测试
5.2.1 条件测试
5.2.2 案例：三角形问题的条件测试
5.2.3 数据流测试
5.2.4 案例：三角形问题的数据流测试
5.2.5 循环测试
5.2.6 案例：计算平均值的程序
5.3 变异测试
5.3.1 结构化变异
5.3.2 面向对象变异
5.3.3 案例：工资支付系统
5.4 小结
习题

第6章 黑盒测试
6.1 基于图的测试
6.1.1 基于图的测试方法
6.1.2 案例：工资支付系统的活动图测试设计
6.2 等价划分
6.2.1 等价划分的测试方法
6.2.2 案例：工资支付系统的等价类测试设计
6.3 边界值分析
6.3.1 边界值分析的测试方法
6.3.2 案例：工资支付系统的边界值测试设计
6.4 正交表测试
6.4.1 正交表测试方法
6.4.2 案例：工资支付系统的正交表测试设计
6.5 健壮性测试
6.5.1 健壮性测试方法
6.5.2 测试用例生成要求
6.5.3 案例：工资支付系统的健壮性测试设计
6.6 决策表测试
6.6.1 决策表测试方法
6.6.2 案例：工资支付系统的决策表测试设计
6.7 有穷状态测试
6.7.1 有穷状态测试方法
6.7.2 案例：工资支付系统的有穷状态测试设计
6.8 小结
习题
第三部分软件测试策略

第7章 软件测试的策略性方法
7.1 测试策略概述
7.2 验证与确认
7.3 软件测试的组织
7.4 软件测试的层次
7.4.1 测试层次的传统观点
7.4.2 生命周期模型对测试的影响
7.5 人工测试技术
7.5.1 走查
7.5.2 正式评审
7.5.3 审查
7.6 自动化测试与人工测试
7.7 测试完成的标准
7.8 回归测试
7.9 小结
习题
……
第三部分 软件测试策略
第四部分 特定环境和特定体系结构的测试
第五部分 测试管理与工具
附录 测试文档模板
参考文献