第1章 绪论
1.1 软件产品工程：集成测试与开发
1.2 软件测试遵循的思想原理
第1篇 软件测试证明论思想原理
第2章 软件开发过程中的验证活动
2.1 需求分析概述
2.2 需求验证概述
2.3 系统设计概述
2.4 设计验证概述
2.5 模块编码概述
2.6 单元测试概述
第3章 原型和图形
3.1 原型
3.1.1 概述
3.1.2 示例
3.2 图形
3.2.1 图形在需求分析中的作用
3.2.2 图形在形式表示中的应用
3.2.3 图形在形式证明中的应用
第4章 模型检验简介
4.1 标准方法
4.1.1 基本概念
4.1.2 标准模型检验步骤
4.1.3 示例：LTL模型检验基于Buchi自动机的算法
4.1.4 符号模型检验
4.1.5 CTL符号模型检验
4.1.6 其他降低问题复杂性的方法
4.1.7 其他标准方法
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.4 应用和其他重要方法概览
4.4.1 模型检验理论在程序分析中的应用简介
4.4.2 其他重要方法
4.5 小结
第5章 抽象解释的两个理论模型
5.1 抽象解释全总域模型
5.1.1 构造全总域模型
5.1.2 理论性问题
5.2 抽象解释部分等价逻辑关系模型
5.2.1 具体语义域和语义函数
5.2.2 抽象解释
5.2.3 理论问题
第6章 程序正确性形式演绎证明
6.1 公理化
6.1.1 霍尔逻辑及其证明规则
6.1.2 霍尔逻辑系统的可靠性和完备性
6.2 不变式
6.2.1 程序流程图
6.2.2 不变式概念
6.2.3 不变式之间的一致性
6.2.4 一个更强的属性
6.2.5 流程图程序验证实例
6.2.6 不变式方法评论
6.3 最弱前置条件
6.3.1 最弱前置条件的概念
6.3.2 谓词转换函数WP性质
6.3.3 程序设计语言控制成分的语义
6.3.4 程序正确性证明方法
第7章 程序正确性概率演绎证明
7.1 概率论数学基础知识
7.1.1 概率空间
7.1.2 随机变量理论知识
7.1.3 马尔可夫过程
7.2 概率模型
7.2.1 离散时间马尔可夫链
7.2.2 连续时间马尔可夫链
7.3 概率模型验证
7.3.1 系统DTMC模型的检测
7.3.2 系统CTML模型的检测
7.4 操作概要
7.4.1 操作的概念
7.4.2 操作概要表示
7.4.3 操作概要的用途
第8章 集成测试中的验证活动
8.1 组合测试引言
8.2 关于正交表的基础知识
8.2.1 正交表的一般定义
8.2.2 二水平正交表
8.2.3 正交拉丁方
8.2.4 Ltu（tm）型正交表
8.2.5 一般正交表L（t1×t2×…×tm)
8.3 正交试验组合测试方法
8.4 其他组合测试方法概览
8.4.1 基于覆盖组合的“类型”设计测试用例集
8.4.2 可变强度和具有约束的组合测试
8.5 组合测试模式分析模型及其理论
8.5.1 Walsh函数基础知识
8.5.2 Walsh函数模式分析模型及其基础理论
8.5.3 模型在组合测试中的应用
第2篇 软件测试中的证伪论思想原理
第9章 软件开发过程中的“证伪”活动
9.1 软件开发过程中的“证伪”活动概述
9.2 集成测试
9.2.1 概述
9.2.2 负面测试
9.2.3 遗传算法
9.3 系统测试
9.3.1 概述
9.3.2 系统测试对计算机科学发展的作用
9.3.3 系统测试对度量科学的贡献
9.3.4 系统测试提供的新测试方法和技术
9.4 验收测试
第10章 软件测试理论
10.1 程序测试经典理论
10.1.1 Goodenough和Gerhart理论
10.1.2 Weyuker和Ostrand理论
10.1.3 Gourlay理论
10.2 软件测试理论分析
10.2.1 软件存在缺陷的两个理论根源
10.2.2 软件测试方法理论分类
10.3 类随机测试方法示例
10.3.1 随机TBFL算法模型
10.3.2 实例分析
10.3.3 算法功效进一步说明和小型实验
10.3.4 类随机测试方法总结
第11章 随机TBFL算法讨论
11.1 软件缺陷存在原因再分析
11.2 随机模糊综合TBFL
11.2.1 算法概述
11.2.2 算法框架及其原理分析
11.2.3 实例分析
第12章 众包软件测试技术
12.1 众包技术
12.2 众包软件测试技术
12.2.1 概述
12.2.2 利
展开
