软件测试：软件测试方法概述

1、软件测试方法软件测试方法概述本章教学要点n教学目标n对测试设计方法有一个完整的概念，为后续的一个个测试设计方法展开垫定基础。n教学重点与难点n理解测试设计4步法的过程。n理解各种测试覆盖标准含义、不同覆盖标准之间的关系n对测试方法分类体系有一个初步认识。难点：测试覆盖标准的覆盖要求。引子：一道经典测试题n输入三个整数值，分别代表了三角形三边的长度。n输出提示信息，表明该三角形究竟是不规则三角形、等腰三角形还是等边三角形。请设计一组测试用例集，来测试下面的程序。来源：软件测试的艺术， Myers参考: Myers给出的答案 1 是否有这样的测试用例，代表了一个有效的不规则三角形？ 2 是否有这样

2、的测试用例，代表一个有效的等边三角形？ 3 是否有这样的测试用例，代表一个有效的等腰三角形？ 4 是否有这样的测试用例，代表等腰三角形两边相等的所有3种可能情况？（如3，3，4；3，4，3；4，3，3） 5 是否有这样的测试用例，某边的长度等于 0？ 6 是否有这样的测试用例，某边的长度为负数？ 7 是否有这样的测试用例，三个整数皆大于 0，其中两个整数之和等于第三个？ 8 是否至少有3个第 7 类的测试用例，列举了一边等于另外两边之和的全部可能情况 （如1，2，3；1，3，2；3，1，2） 9 是否有这样的测试用例，三个整数皆大于 0，其中两个整数之和小于第三个整数？ 10 是否至少有3个第

3、 9 类的测试用例，列举了一边大于另外两边之和的全部可能情况？（如1，2，4；1，4，2；4，1，2） 11 是否有这样的测试用例，三边长度皆为 0（0，0，0）？ 12 是否至少有一个这样的测试用例，输入的边长为非整数值（如2.5，3.5，5.5） 13 是否至少有一个这样的测试用例，输入的边长个数不对（如仅输入了两个而不是三个整数）? 14 对于每一个测试用例，除了定义输入值之外，是否定义了程序针对该输入值的预期输出值？参考：郑人杰教授给出的答案来源：计算机软件测试技术，郑人杰两位测试前辈给出的参考答案不尽相同，怎么来理解？目录测试设计过程简介1软件测试覆盖标准3软件测试方法分类测试设计过

4、程：四步法ModelsCreate base test casesSuppement with test dataAdvancedtesting测试对象建模控制流图数据流图模型覆盖图覆盖填充数据典型值边界值来源：RyberEssential test design流程图用例图状态图因果图判定表逻辑覆盖Model外的Step1Step2Step3Step4输入域覆盖逻辑测试用例物理测试用例错误推测Ad hoc测试示例：测试设计四步法测试需求：航空公司在飞机起飞前1小时停止办理在线值机业务。后续逻辑处理当前时间 起飞时间1hourYN填充数据，物理用例起飞时间20:20,当前时间19:20起飞时间

5、20:20,当前时间19:21起飞时间20:20,当前时间19:19起飞时间20:20,当前时间19:00路径覆盖，逻辑用例当前时间起飞时间-1小时当前时间0 and Y10X-10 or Y物理测试用例，它代表一次可执行的测试。n广义的测试数据包括：测试输入、测试状态、测试环境等，一切测试执行前就存在的数据，它对被测对象产生影响。n不同测试数据的测试覆盖范围、发现BUG的能力不一样。选择测试数据的技术包括：等价类、边界值、随机数据、数据周期、数据流等。目录测试设计过程简介1软件测试覆盖标准3软件测试方法分类图覆盖n图 是一个二元组(V,E) ，其中 ：nV称为顶点集。nE称为边集。 E的元素

6、是一个二元组数对，用(x,y)表示，其中 x,yVn测试路径：一个节点序列，其中任一对相邻节点连线存在于边集。n测试路径的长度代表包含的边的数目。n起始于某个节点，终止于某个节点。n允许长度为0的测试路径。123ABC图的覆盖标准：基本n节点覆盖: 每个节点至少覆盖一次n边覆盖： 每个可到达的长度=1的路径至少覆盖一次。n边-对覆盖：每个可到达的长度b) C p(x)子句谓词【例】列出所有零售价在100美元以上或库存超过20件的无线鼠标。 再列出售价在50美元以上的无线鼠标abc(ab)c请采用逻辑表达式表达此需求逻辑覆盖标准n谓词覆盖（分支覆盖）：每个分支的真假至少覆盖一次n子句覆盖（条件覆

7、盖）：每个条件的真假至少覆盖一次n完全子句覆盖（条件组合覆盖）：每个条件真假组合至少覆盖一次n有效子句覆盖（MCDC）: 对于每个主子句的真假，选择次子句, 使得主子句决定谓词真假。0 0 01 1 1a b a b0 0 00 1 1a b a b0 0 00 1 11 0 11 1 1a b a b0 0 00 1 11 0 10 0 0a b a b谓词覆盖子句覆盖组合覆盖有效子句覆盖【例】 ab练习：逻辑覆盖对于逻辑表达式(ab)c，n列出满足谓词覆盖的所有配对n列出满足子句覆盖的所有配对n列出满足组合覆盖的所有配对n列出满足有效子句覆盖的所有配对a b c (ab)c0 0 0 00

8、 1 1 1谓词覆盖a b c (ab)c0 0 0 01 1 1 1子句覆盖组合覆盖a b c (ab)c0 0 0 00 0 1 00 1 0 00 1 1 11 0 0 01 0 1 11 1 0 01 1 1 1a b c (ab)c0 0 1 01 0 1 10 0 1 00 1 1 11 0 0 01 0 1 10 1 0 00 1 1 1有效子句覆盖输入空间划分n输入空间建模n输入域：输入参数可能值全体，往往以属性、特征形式出现。n划分：输入域分成N块n分离性：块块之间不能重叠n完整性：划分覆盖整个域。【例】文件排序方式=升序，降序，乱序 这样的划分成是否合适？ 升序 降序 (1

9、 0) (1 1) (0 1) (0 0)i1i4i2i3输入空间划分覆盖标准n完全组合覆盖：所有属性的每个块组合至少覆盖一次nT-Wise组合覆盖：每个属性的每个块至少被组合到。n单个选择覆盖：每个属性的每个块至少覆盖一次。n基本选择覆盖：基本测试由每个基本选择块组成，非基本测试则除了基本选择块外，其它属性使用非基本选择块。【例】三个属性的划分块P1=A,B,P2-1,2,P3=x,y(A,1,x)(A,1,y)(A,2,x)(A,2,y)(B,1,x)(B,1,y)(B,2,x)(B,2,y)(A,1,x)(A,2,y)(B,1,y)(B,2,x)(A,1,x)(B,2,y)(A,1,x)

10、(A,2,y)(B,1,y)(B,2,x)完全组合覆盖T-wise组合覆盖每个选择覆盖基本选择覆盖各种测试覆盖标准间的包含关系完全子句覆盖有效子句覆盖子句覆盖谓词覆盖完全路径覆盖 主路径覆盖独立路径覆盖节点覆盖边覆盖完全组合覆盖T-Wise覆盖基本选择覆盖单个选择覆盖图覆盖逻辑覆盖输入域覆盖边-对覆盖测试覆盖标准的应用单元测试集成测试系统测试代码接口业务图覆盖控制流图数据流图调用图流程图状态机图活动图逻辑覆盖程序逻辑覆盖（分支/条件等）判定表因果图域划分覆盖API参数接口参数功能参数目录测试设计过程简介1软件测试覆盖标准3软件测试方法分类测试方法分类：ISTQBModelsCreate bas

11、e test casesSuppement with test dataAdvancedtesting测试对象建模模型覆盖填充数据Model外的基于结构（白盒）基于规格（黑盒）系统化方法ST非系统化方法ET基于经验以发现缺陷为目的覆盖标准要弱一些依据文档展开测试，通常是基于需求，得到系统行为利用覆盖准则度量测试设计软件结构信息作为测试设计依据，通常是代码提供何时测试结束的覆盖准则测试方法分类白盒测试黑盒测试静态测试动态测试等价类边界值状态转换判定表用例测试数据组合语句判定条件判定-条件路径独立路径静态分析代码走读检查表检查表模型走读评审技术模型检查错误推测探索性测试基于结构基于经验基于规格周期

12、测试测试方法与覆盖标准之间的关系测试设计技术图覆盖逻辑覆盖输入域空间覆盖是否覆盖标准是否覆盖标准是否覆盖标准基于结构语句节点覆盖 判定边覆盖谓词覆盖条件 子句覆盖条件组合 完全子句覆盖 MCDC有效子句覆盖判定-条件边覆盖子句覆盖路径完全路径覆盖 独立路径独立路径覆盖基于规格等价类 单个选择覆盖边界值 ?判定表 完全组合覆盖状态转换测试边/点/边对/主路径覆盖等 流程测试条件/边对/完全路径覆盖等 用例测试完全路径覆盖 组合测试 T-wise覆盖测试设计的目标完备性 和 有效性 的均衡。n完备性：怎么样 bug 不漏测？ （多）n需要测试的各种可能性太多了n可能发生的各种错误类型太多了n有效性：怎么样 bug 命中率最高？（少）n最少的用例发现最多、最严重bugn最少的用例覆盖到最多的测试对象区域。理想境界：一个不少、一个不多本章小结n测试设计过程介绍：n介绍了测试设计四步法n针对一个具体测试需求，能有意识地运用测试设计四步法展开测试n测试覆盖标准：n介绍了图覆盖、逻辑覆盖、输入域空间覆盖三种基础覆盖标准n后续不同测试方法介绍时，能意识地与基础覆盖方法联系起来n测试方法分类：n结合测试四步法给出测试方法分类体系，n后续介绍不同测试方法时，能意识到该方法属于哪一个方法分类体系内的。本章练习n逻辑用