软件测试基础

封面
书名
版权
前言
目录
第一部分  概览
第1章  概述
1.1测试工程师的工作
1.1.1基于软件活动的测试级别
1.1.2基于测试过程成熟度的Beizer的测试级别
1.1.3测试活动的自动化
1.2软件测试的局限性和术语
1.3测试覆盖标准
1.3.1不可行性与包含
1.3.2好的覆盖标准的特征
1.4以往的软件测试术语
1.5参考文献注释
第二部分  覆盖标准
第2章  图覆盖
2.1概述
2.2图覆盖标准
2.2.1结构化覆盖标准
2.2.2数据流标准
2.2.3图覆盖标准中的包含关系
2.3源代码的图覆盖
2.3.1源代码的结构化图覆盖
2.3.2源代码的数据流图覆盖
2.4设计元素的图覆盖
2.4.1设计元素的结构化图覆盖
2.4.2设计元素的数据流覆盖
2.5规格说明的图覆盖
2.5.1顺序约束测试
2.5.2软件状态行为测试
2.6用例的图覆盖
2.7用代数方法表示图
2.7.1把图简化成路径表达式
2.7.2路径表达式的应用
2.7.3得到测试输入
2.7.4在流图中计算路径数并确定最大路径长度
2.7.5到达所有边的路径的最小值
2.7.6互补运算分析
2.8参考文献注释
第3章  逻辑覆盖
3.1概览：逻辑谓词和子句
3.2逻辑表达式覆盖标准
3.2.1有效的子句覆盖
3.2.2无效子句覆盖
3.2.3不可行性和包含
3.2.4使子句决定谓词
3.2.5寻找满足的取值
3.3程序的结构化逻辑覆盖
3.4基于规约的逻辑覆盖
3.5有限状态机的逻辑覆盖
3.6析取范式标准
3.7参考文献注释
第4章  输入空间划分
4.1输入域建模
4.1.1基于接口的输入域建模
4.1.2基于功能的输入域建模
4.1.3识别特性
4.1.4选择块和值
4.1.5使用一种以上的输入域模型
4.1.6检查输入域模型
4.2组合策略标准
4.3划分中的约束
4.4参考文献注释
第5章  基于句法的测试
5.1基于句法的覆盖标准
5.1.1  BNF覆盖标准
5.1.2变异测试
5.2基于程序的语法
5.2.1编程语言的BNF语法
5.2.2基于程序的变异
5.3集成与面向对象测试
5.3.1 BNF集成测试
5.3.2集成变异
5.4基于规范的语法
5.4.1 BNF语法
5.4.2基于规范的变异
5.5输入空间语法
5.5.1 BNF语法
5.5.2输入语法的变异
5.6参考文献注释
第三部分  在实践中运用的标准
第6章  实际的考虑
6.1回归测试
6.2集成和测试
6.2.1桩和驱动程序
6.2.2类的集成测试顺序
6.3测试过程
6.3.1需求分析和规格说明书
6.3.2系统和软件设计
6.3.3中级设计
6.3.4详细设计
6.3.5实现
6.3.6集成
6.3.7系统部署
6.3.8操作和维护
6.3.9总结
6.4测试计划
6.5识别正确的输出
6.5.1输出的直接验证
6.5.2冗余计算
6.5.3一致性检查
6.5.4数据冗余
6.6参考文献注释
第7章  技术的工程标准
7.1测试面向对象软件
7.1.1面向对象软件测试特有的问题
7.1.2面向对象的错误类型
7.2测试Web应用和Web服务
7.2.1测试静态超文本Web站点
7.2.2测试动态Web应用
7.2.3测试Web服务
7.3测试图形用户界面
7.4实时软件和嵌入式软件
7.5参考文献注释
第8章  创建测试工具
8.1图和逻辑表达式标准的插桩
8.1.1节点覆盖和边覆盖
8.1.2数据流覆盖
8.1.3逻辑覆盖
8.2构造变异测试工具
8.2.1解释方法
8.2.2分离编译的方法
8.2.3基于模式的方法
8.2.4使用Java反射机制
8.2.5实现一个现代的变异系统
8.3参考文献注释
第9章  软件测试中的挑战
9.1测试紧急性属性：安全性和保密性
9.2软件的可测试性
9.3测试标准和软件测试的未来
9.4参考文献注释
参考文献