9787115247995 软件测试（第3版）Paul C. Jorgensen；杨海

目录

部分　数学基础
n第1章　测试概述　
n1.1　基本概念　
n1.2　测试用例　
n1.3　通过维恩图来考察测试　
n1.4　构造测试用例　
n1.4.1　功能测试　
n1.4.2　结构测试　
n1.4.3　功能测试与结构测试之争　
n1.5　错误与故障差异　
n1.6　测试的层次　
n参考文献　
n习题　
n第2章　程序示例　
n2.1　通用伪代码　
n2.2　三角形问题　
n2.2.1　问题描述　
n2.2.2　三角形问题的讨论　
n2.2.3　三角形问题的经典实现　
n2.2.4　三角形问题的结构化实现　
n2.3　NextDate函数　
n2.3.1　问题描述　
n2.3.2　NextDate函数的讨论　
n2.3.3　NextDate函数的实现　
n2.4　佣金问题　
n2.4.1　问题描述　
n2.4.2　佣金问题的讨论　
n2.4.3　佣金问题的实现　
n2.5　SATM系统　
n2.5.1　问题描述　
n2.5.2　SATM系统的讨论　
n2.6　货币转换器　
n2.7　雨刷控制器　
n参考文献　
n习题　
n第3章　测试人员的离散数学　
n3.1　集合论　
n3.1.1　集合的成员关系　
n3.1.2　集合的定义方法　
n3.1.3　空集　
n3.1.4　集合的维恩图　
n3.1.5　集合运算　
n3.1.6　集合关系　
n3.1.7　集合划分　
n3.1.8　集合恒等　
n3.2　函数　
n3.2.1　定义域与值域　
n3.2.2　函数的类型　
n3.2.3　函数复合　
n3.3　关系　
n3.3.1　集合之间的关系　
n3.3.2　单个集合上的关系　
n3.4　命题逻辑　
n3.4.1　逻辑运算符　
n3.4.2　逻辑表达式　
n3.4.3　逻辑等价　
n3.5　概率论　
n参考文献　
n习题　
n第4章　测试人员的图论　
n4.1　图　
n4.1.1　节点的度　
n4.1.2　关联矩阵　
n4.1.3　邻接矩阵　
n4.1.4　路径　
n4.1.5　连通性　
n4.1.6　压缩图　
n4.1.7　圈数　
n4.2　有向图　
n4.2.1　入度与出度　
n4.2.2　节点类型　
n4.2.3　有向图的邻接矩阵　
n4.2.4　路径与半路径　
n4.2.5　可达矩阵　
n4.2.6　n连通性　
n4.2.7　强分图　
n4.3　软件测试中常用的图　
n4.3.1　程序图　
n4.3.2　有限状态机　
n4.3.3　Petri网　
n4.3.4　事件驱动Petri网　
n4.3.5　状态图　
n参考文献　
n习题　
n第二部分　功能测试
n第5章　边界值测试　
n5.1　边界值分析　
n5.1.1　边界值分析的拓展　
n5.1.2　边界值分析的局限性　
n5.2　健壮性测试　
n5.3　最坏情况测试　
n5.4　特殊值测试　
n5.5　示例　
n5.5.1　三角形问题的测试用例　
n5.5.2　NextDate函数的测试用例　
n5.5.3　佣金问题的测试用例　
n5.6　随机测试　
n5.7　边界值测试的原则　
n习题　
n第6章　等价类测试　
n6.1　等价类　
n6.1.1　弱一般等价类测试　
n6.1.2　强一般等价类测试　
n6.1.3　弱健壮等价类测试　
n6.1.4　强健壮等价类测试　
n6.2　三角形问题的等价类测试用例　
n6.3　NextDate函数的等价类测试用例　
n6.4　佣金问题的等价类测试用例　
n6.5　原则与注意事项　
n参考文献　
n习题　
n第7章　基于决策表的测试　
n7.1　决策表　
n7.2　三角形问题的测试用例　
n7.3　NextDate函数的测试用例　
n7.3.1　轮尝试　
n7.3.2　第二轮尝试　
n7.3.3　第三轮尝试　
n7.4　佣金问题的测试用例　
n7.5　原则与注意事项　
n参考文献　
n习题　
n第8章　功能测试回顾　
n8.1　测试的工作量　
n8.2　测试的效率　
n8.3　测试的有效性　
n8.4　原则　
n8.5　案例研究　
n第三部分　结构测试
n第9章　路径测试　
n9.1　DD路径　
n9.2　测试覆盖指标　
n9.2.1　基于指标的测试　
n9.2.2　测试覆盖分析器　
n9.3　基路径测试　
n9.3.1　McCabe的基路径方法　
n9.3.2　McCabe基路径方法的注意事项　
n9.3.3　McCabe方法的基本复杂度　
n9.4　原则与注意事项　
n参考文献　
n习题　
n第10章　数据流测试　
n10.1　定义/使用测试　
n10.1.1　举例　
n10.1.2　stocks的定义使用路径　
n10.1.3　locks的定义使用路径　
n10.1.4　totalLocks的定义使用路径　
n10.1.5　sales的定义使用路径　
n10.1.6　commission的定义使用路径　
n10.1.7　定义使用路径的测试覆盖指标　
n10.2　基于片的测试　
n10.2.1　举例　
n10.2.2　风格与方法　
n10.3　原则与注意事项　
n参考文献　
n习题　
n第11章　结构测试回顾　
n11.1　缺漏与冗余　
n11.2　用于评估测试方法的指标　
n11.3　重新修订的案例研究　
n11.3.1　基于路径的测试　
n11.3.2　数据流测试　
n11.3.3　片测试　
n参考文献　
n习题　
n第四部分　集成测试和系统测试
n第12章　测试的层次　
n12.1　测试层次划分的传统观点　
n12.2　其他周期模型　
n12.2.1　瀑布模型的变体　
n12.2.2　基于规格说明的周期模型　
n12.3　SATM系统　
n12.4　将集成测试与系统测试分开　
n12.4.1　从结构角度分析　
n12.4.2　从行为角度分析　
n参考文献　
n第13章　集成测试　
n13.1　深入研究SATM系统　
n13.2　基于功能分解的集成　
n13.2.1　自顶向下集成　
n13.2.2　自底向上集成　
n13.2.3　三明治集成　
n13.2.4　优缺点　
n13.3　基于调用图的集成　
n13.3.1　成对集成　
n13.3.2　相邻集成　
n13.3.3　基于调用图集成的优缺点　
n13.4　基于路径的集成　
n13.4.1　新概念与扩展概念　
n13.4.2　SATM系统中的MM路径　
n13.4.3　MM路径复杂度　
n13.4.4　基于路径集成技术的优缺点　
n13.5　案例分析　
n13.5.1　基于分解的集成　
n13.5.2　基于调用图的集成　
n13.5.3　基于MM路径的集成　
n参考文献　
n习题　
n第14章　系统测试　
n14.1　线索　
n14.1.1　线索存在的可能性　
n14.1.2　线索定义　
n14.2　需求规格说明的基本概念　
n14.2.1　数据　
n14.2.2　行为　
n14.2.3　设备　
n14.2.4　事件　
n14.2.5　线索　
n14.2.6　基本概念之间的关系　
n14.2.7　利用基本概念建模　
n14.3　寻找线索　
n14.4　线索测试的结构策略　
n14.4.1　自底向上组织线索　
n14.4.2　节点与边覆盖指标　
n14.5　线索测试的功能策略　
n14.5.1　基于事件的线索测试　
n14.5.2　基于端口的线索测试　
n14.5.3　基于数据的线索测试　
n14.6　SATM测试线索　
n14.7　系统测试原则　
n14.7.1　伪结构系统测试　
n14.7.2　性能分析　
n14.7.3　累进测试与回归测试　
n14.8　ASF测试示例　
n参考文献　
n习题　
n第15章　交互性测试　
n15.1　交互的语境　
n15.2　交互的分类　
n15.2.1　单处理器中的静态交互　
n15.2.2　多处理器中的静态交互　
n15.2.3　单处理器中的动态交互　
n15.2.4　多处理器中的动态交互　
n15.3　线索的交互、合成和确定性　
n15.4　客户/服务器系统的测试　
n参考文献　
n习题　
n第五部分　面向对象测试
n第16章　面向对象测试的相关问题　
n16.1　面向对象测试的单　
n16.2　合成与封装的含义　
n16.3　继承的含义　
n16.4　多态性的含义　
n16.5　面向对象测试的层次　
n16.6　GUI测试　
n16.7　面向对象软件的数据流测试　
n16.8　第五部分所采用的示例　
n16.8.1　面向对象的日历程序　
n16.8.2　货币转换应用程序　
n参考文献　
n习题　
n第17章　类测试　
n17.1　以方法为单的测试　
n17.1.1　o-oCalendar　的伪代码　
n17.1.2　Date.increment　的单测试　
n17.2　以类为单的测试　
n17.2.1　windshieldWiper类的伪代码　
n17.2.2　windshieldWiper类的单测试　
n第18章　面向对象的集成测试　
n18.1　UML对集成测试的支持　
n18.2　面向对象软件的MM路径　
n18.3　面向对象数据流集成测试的框架　
n18.3.1　事件驱动和消息驱动的Petri网　
n18.3.2　由继承导出的数据流　
n18.3.3　由消息导出的数据流　
n18.3.4　是否需要片　
n参考文献　
n习题　
n第19章　GUI测试　
n19.1　货币转换程序　
n19.2　货币转换程序的单测试　
n19.3　货币转换程序的集成测试　
n19.4　货币转换程序的系统测试　
n习题　
n第20章　面向对象的系统测试　
n20.1　货币转换器的UML描述　
n20.1.1　问题陈述　
n20.1.2　系统功能　
n20.1.3　表示层　
n20.1.4　高层用例　
n20.1.5　基本用例　
n20.1.6　详细的GUI定义　
n20.1.7　扩展的基本用例　
n20.1.8　真实用例　
n20.2　基于UML的系统测试　
n20.3　基于状态图的系统测试　
n参考文献　
n第六部分　新兴测试技术
n第21章　探索式测试　
n21.1　上下文驱动学派　
n21.2　探索式测试　
n21.3　探索一个常见示例　
n21.4　探索式测试与上下文驱动测试探讨　
n参考文献　
n习题　
n第22章　基于模型测试　
n22.1　基于模型进行测试　
n22.2　恰当的系统模型　
n22.2.1　Peterson格　
n22.2.2　主流模型的表达能力　
n22.2.3　选择恰当的模型　
n22.3　基于用例的测试　
n22.3.1　从用例中推导出测试用例　
n22.3.2　交互用例　
n22.3.3　需要多少用例　
n22.4　支持基于模型的测试的商用工具　
n参考文献　
n第23章　测试驱动开发　
n23.1　“测试然后编码”的软件开发周期　
n23.2　自动化测试执行(测试框架)　
n23.3　Java和JUnit示例　
n23.3.1　Java源代码　
n23.3.2　JUnit测试代码　
n23.4　其他待解决的问题　
n23.4.1　基于规格说明还是基于代码　
n23.4.2　需要配置管理吗　
n23.4.3　粒度应该多大　
n23.5　测试驱动开发的优缺点及其他相关问题　
n23.6　模型驱动开发与测试驱动开发对比　
n第24章　全对测试详述　
n24.1　全对测试技术　
n24.1.1　程序输入　
n24.1.2　独立变量　
n24.1.3　输入的顺序　
n24.1.4　完全由输入所引发的失效　
n24.2　对NIST研究成果的进一步分析　
n24.3　全对测试的适用范围　
n24.4　对全对测试的建议　
n参考文献　
n第25章　尾声：软件测试精益求精　
n25.1　软件测试是一种技艺　
n25.2　软件测试的实践　
n25.3　让软件测试更出色的10项实践　
n25.3.1　模型驱动开发　
n25.3.2　慎重地定义与划分测试的层次　
n25.3.3　基于模型的系统级测试　
n25.3.4　系统测试的扩展　
n25.3.5　利用关联矩阵指导回归测试　
n25.3.6　利用MM路径实现集成测试　
n25.3.7　把基于规格说明的测试和基于代码的单级测试有机地结合起来　
n25.3.8　基于单个单特性的代码覆盖指标　
n25.3.9　维护阶段的探索式测试　
n25.3.10　测试驱动开发　
n25.4　针对不同项目实现实践　
n25.4.1　任务关键型项目　
n25.4.2　时间关键型项目　
n25.4.3　对遗留代码的纠错维护

作者介绍

文摘

序言

部分　数学基础
n第1章　测试概述　
n1.1　基本概念　
n1.2　测试用例　
n1.3　通过维恩图来考察测试　
n1.4　构造测试用例　
n1.4.1　功能测试　
n1.4.2　结构测试　
n1.4.3　功能测试与结构测试之争　
n1.5　错误与故障差异　
n1.6　测试的层次　
n参考文献　
n习题　
n第2章　程序示例　
n2.1　通用伪代码　
n2.2　三角形问题　
n2.2.1　问题描述　
n2.2.2　三角形问题的讨论　
n2.2.3　三角形问题的经典实现　
n2.2.4　三角形问题的结构化实现　
n2.3　NextDate函数　
n2.3.1　问题描述　
n2.3.2　NextDate函数的讨论　
n2.3.3　NextDate函数的实现　
n2.4　佣金问题　
n2.4.1　问题描述　
n2.4.2　佣金问题的讨论　
n2.4.3　佣金问题的实现　
n2.5　SATM系统　
n2.5.1　问题描述　
n2.5.2　SATM系统的讨论　
n2.6　货币转换器　
n2.7　雨刷控制器　
n参考文献　
n习题　
n第3章　测试人员的离散数学　
n3.1　集合论　
n3.1.1　集合的成员关系　
n3.1.2　集合的定义方法　
n3.1.3　空集　
n3.1.4　集合的维恩图　
n3.1.5　集合运算　
n3.1.6　集合关系　
n3.1.7　集合划分　
n3.1.8　集合恒等　
n3.2　函数　
n3.2.1　定义域与值域　
n3.2.2　函数的类型　
n3.2.3　函数复合　
n3.3　关系　
n3.3.1　集合之间的关系　
n3.3.2　单个集合上的关系　
n3.4　命题逻辑　
n3.4.1　逻辑运算符　
n3.4.2　逻辑表达式　
n3.4.3　逻辑等价　
n3.5　概率论　
n参考文献　
n习题　
n第4章　测试人员的图论　
n4.1　图　
n4.1.1　节点的度　
n4.1.2　关联矩阵　
n4.1.3　邻接矩阵　
n4.1.4　路径　
n4.1.5　连通性　
n4.1.6　压缩图　
n4.1.7　圈数　
n4.2　有向图　
n4.2.1　入度与出度　
n4.2.2　节点类型　
n4.2.3　有向图的邻接矩阵　
n4.2.4　路径与半路径　
n4.2.5　可达矩阵　
n4.2.6　n连通性　
n4.2.7　强分图　
n4.3　软件测试中常用的图　
n4.3.1　程序图　
n4.3.2　有限状态机　
n4.3.3　Petri网　
n4.3.4　事件驱动Petri网　
n4.3.5　状态图　
n参考文献　
n习题　
n第二部分　功能测试
n第5章　边界值测试　
n5.1　边界值分析　
n5.1.1　边界值分析的拓展　
n5.1.2　边界值分析的局限性　
n5.2　健壮性测试　
n5.3　最坏情况测试　
n5.4　特殊值测试　
n5.5　示例　
n5.5.1　三角形问题的测试用例　
n5.5.2　NextDate函数的测试用例　
n5.5.3　佣金问题的测试用例　
n5.6　随机测试　
n5.7　边界值测试的原则　
n习题　
n第6章　等价类测试　
n6.1　等价类　
n6.1.1　弱一般等价类测试　
n6.1.2　强一般等价类测试　
n6.1.3　弱健壮等价类测试　
n6.1.4　强健壮等价类测试　
n6.2　三角形问题的等价类测试用例　
n6.3　NextDate函数的等价类测试用例　
n6.4　佣金问题的等价类测试用例　
n6.5　原则与注意事项　
n参考文献　
n习题　
n第7章　基于决策表的测试　
n7.1　决策表　
n7.2　三角形问题的测试用例　
n7.3　NextDate函数的测试用例　
n7.3.1　轮尝试　
n7.3.2　第二轮尝试　
n7.3.3　第三轮尝试　
n7.4　佣金问题的测试用例　
n7.5　原则与注意事项　
n参考文献　
n习题　
n第8章　功能测试回顾　
n8.1　测试的工作量　
n8.2　测试的效率　
n8.3　测试的有效性　
n8.4　原则　
n8.5　案例研究　
n第三部分　结构测试
n第9章　路径测试　
n9.1　DD路径　
n9.2　测试覆盖指标　
n9.2.1　基于指标的测试　
n9.2.2　测试覆盖分析器　
n9.3　基路径测试　
n9.3.1　McCabe的基路径方法　
n9.3.2　McCabe基路径方法的注意事项　
n9.3.3　McCabe方法的基本复杂度　
n9.4　原则与注意事项　
n参考文献　
n习题　
n第10章　数据流测试　
n10.1　定义/使用测试　
n10.1.1　举例　
n10.1.2　stocks的定义使用路径　
n10.1.3　locks的定义使用路径　
n10.1.4　totalLocks的定义使用路径　
n10.1.5　sales的定义使用路径　
n10.1.6　commission的定义使用路径　
n10.1.7　定义使用路径的测试覆盖指标　
n10.2　基于片的测试　
n10.2.1　举例　
n10.2.2　风格与方法　
n10.3　原则与注意事项　
n参考文献　
n习题　
n第11章　结构测试回顾　
n11.1　缺漏与冗余　
n11.2　用于评估测试方法的指标　
n11.3　重新修订的案例研究　
n11.3.1　基于路径的测试　
n11.3.2　数据流测试　
n11.3.3　片测试　
n参考文献　
n习题　
n第四部分　集成测试和系统测试
n第12章　测试的层次　
n12.1　测试层次划分的传统观点　
n12.2　其他周期模型　
n12.2.1　瀑布模型的变体　
n12.2.2　基于规格说明的周期模型　
n12.3　SATM系统　
n12.4　将集成测试与系统测试分开　
n12.4.1　从结构角度分析　
n12.4.2　从行为角度分析　
n参考文献　
n第13章　集成测试　
n13.1　深入研究SATM系统　
n13.2　基于功能分解的集成　
n13.2.1　自顶向下集成　
n13.2.2　自底向上集成　
n13.2.3　三明治集成　
n13.2.4　优缺点　
n13.3　基于调用图的集成　
n13.3.1　成对集成　
n13.3.2　相邻集成　
n13.3.3　基于调用图集成的优缺点　
n13.4　基于路径的集成　
n13.4.1　新概念与扩展概念　
n13.4.2　SATM系统中的MM路径　
n13.4.3　MM路径复杂度　
n13.4.4　基于路径集成技术的优缺点　
n13.5　案例分析　
n13.5.1　基于分解的集成　
n13.5.2　基于调用图的集成　
n13.5.3　基于MM路径的集成　
n参考文献　
n习题　
n第14章　系统测试　
n14.1　线索　
n14.1.1　线索存在的可能性　
n14.1.2　线索定义　
n14.2　需求规格说明的基本概念　
n14.2.1　数据　
n14.2.2　行为　
n14.2.3　设备　
n14.2.4　事件　
n14.2.5　线索　
n14.2.6　基本概念之间的关系　
n14.2.7　利用基本概念建模　
n14.3　寻找线索　
n14.4　线索测试的结构策略　
n14.4.1　自底向上组织线索　
n14.4.2　节点与边覆盖指标　
n14.5　线索测试的功能策略　
n14.5.1　基于事件的线索测试　
n14.5.2　基于端口的线索测试　
n14.5.3　基于数据的线索测试　
n14.6　SATM测试线索　
n14.7　系统测试原则　
n14.7.1　伪结构系统测试　
n14.7.2　性能分析　
n14.7.3　累进测试与回归测试　
n14.8　ASF测试示例　
n参考文献　
n习题　
n第15章　交互性测试　
n15.1　交互的语境　
n15.2　交互的分类　
n15.2.1　单处理器中的静态交互　
n15.2.2　多处理器中的静态交互　
n15.2.3　单处理器中的动态交互　
n15.2.4　多处理器中的动态交互　
n15.3　线索的交互、合成和确定性　
n15.4　客户/服务器系统的测试　
n参考文献　
n习题　
n第五部分　面向对象测试
n第16章　面向对象测试的相关问题　
n16.1　面向对象测试的单　
n16.2　合成与封装的含义　
n16.3　继承的含义　
n16.4　多态性的含义　
n16.5　面向对象测试的层次　
n16.6　GUI测试　
n16.7　面向对象软件的数据流测试　
n16.8　第五部分所采用的示例　
n16.8.1　面向对象的日历程序　
n16.8.2　货币转换应用程序　
n参考文献　
n习题　
n第17章　类测试　
n17.1　以方法为单的测试　
n17.1.1　o-oCalendar　的伪代码　
n17.1.2　Date.increment　的单测试　
n17.2　以类为单的测试　
n17.2.1　windshieldWiper类的伪代码　
n17.2.2　windshieldWiper类的单测试　
n第18章　面向对象的集成测试　
n18.1　UML对集成测试的支持　
n18.2　面向对象软件的MM路径　
n18.3　面向对象数据流集成测试的框架　
n18.3.1　事件驱动和消息驱动的Petri网　
n18.3.2　由继承导出的数据流　
n18.3.3　由消息导出的数据流　
n18.3.4　是否需要片　
n参考文献　
n习题　
n第19章　GUI测试　
n19.1　货币转换程序　
n19.2　货币转换程序的单测试　
n19.3　货币转换程序的集成测试　
n19.4　货币转换程序的系统测试　
n习题　
n第20章　面向对象的系统测试　
n20.1　货币转换器的UML描述　
n20.1.1　问题陈述　
n20.1.2　系统功能　
n20.1.3　表示层　
n20.1.4　高层用例　
n20.1.5　基本用例　
n20.1.6　详细的GUI定义　
n20.1.7　扩展的基本用例　
n20.1.8　真实用例　
n20.2　基于UML的系统测试　
n20.3　基于状态图的系统测试　
n参考文献　
n第六部分　新兴测试技术
n第21章　探索式测试　
n21.1　上下文驱动学派　
n21.2　探索式测试　
n21.3　探索一个常见示例　
n21.4　探索式测试与上下文驱动测试探讨　
n参考文献　
n习题　
n第22章　基于模型测试　
n22.1　基于模型进行测试　
n22.2　恰当的系统模型　
n22.2.1　Peterson格　
n22.2.2　主流模型的表达能力　
n22.2.3　选择恰当的模型　
n22.3　基于用例的测试　
n22.3.1　从用例中推导出测试用例　
n22.3.2　交互用例　
n22.3.3　需要多少用例　
n22.4　支持基于模型的测试的商用工具　
n参考文献　
n第23章　测试驱动开发　
n23.1　“测试然后编码”的软件开发周期　
n23.2　自动化测试执行(测试框架)　
n23.3　Java和JUnit示例　
n23.3.1　Java源代码　
n23.3.2　JUnit测试代码　
n23.4　其他待解决的问题　
n23.4.1　基于规格说明还是基于代码　
n23.4.2　需要配置管理吗　
n23.4.3　粒度应该多大　
n23.5　测试驱动开发的优缺点及其他相关问题　
n23.6　模型驱动开发与测试驱动开发对比　
n第24章　全对测试详述　
n24.1　全对测试技术　
n24.1.1　程序输入　
n24.1.2　独立变量　
n24.1.3　输入的顺序　
n24.1.4　完全由输入所引发的失效　
n24.2　对NIST研究成果的进一步分析　
n24.3　全对测试的适用范围　
n24.4　对全对测试的建议　
n参考文献　
n第25章　尾声：软件测试精益求精　
n25.1　软件测试是一种技艺　
n25.2　软件测试的实践　
n25.3　让软件测试更出色的10项实践　
n25.3.1　模型驱动开发　
n25.3.2　慎重地定义与划分测试的层次　
n25.3.3　基于模型的系统级测试　
n25.3.4　系统测试的扩展　
n25.3.5　利用关联矩阵指导回归测试　
n25.3.6　利用MM路径实现集成测试　
n25.3.7　把基于规格说明的测试和基于代码的单级测试有机地结合起来　
n25.3.8　基于单个单特性的代码覆盖指标　
n25.3.9　维护阶段的探索式测试　
n25.3.10　测试驱动开发　
n25.4　针对不同项目实现实践　
n25.4.1　任务关键型项目　
n25.4.2　时间关键型项目　
n25.4.3　对遗留代码的纠错维护