第八章 测试设计方法-1.ppt

1.2 测试方法 静态方法 动态方法 黑盒测试 白盒测试 静态方法和动态方法 静态方法的主要特征是在用计算机测试源程序时，计算机并不真正运行被测试的程序，只对被测程序进行特性分析。因此，静态方法常称为“分析”，静态分析是对被测程序进行特性分析的一些方法的总称。 动态方法的主要特征是计算机必须真正运行被测试的程序，通过输入测试用例，对其运行情况(输入/输出的对应关系)进行分析。 黑盒测试 黑盒测试（Black—box Testing）又称功能测试、数据驱动测试或基于规格说明的测试，是一种从用户观点出发的测试。用这种方法进行测试时，被测程序被当作一个黑盒，在不考虑程序内部结构和内部特性，测试者只知道该程序输入和输出之间的关系或程序的功能的情况下，依靠能够反映这一关系和程序功能的需求规格说明书考虑确定测试用例和推断测试结果的正确性。软件的黑盒测试被用来证实软件功能的正确性和可操作性。 白盒测试 白盒测试（White—box Testing）又称结构测试、逻辑驱动测试或基于程序的测试。它依赖于对程序细节的严密检验，针对特定条件和/与循环集设计测试用例，对软件的逻辑路经进行测试。在程序的不同点检验“程序的状态”以判定其实际情况是否和预期的状态相一致。软件的白盒测试用来分析程序的内部结构。 白盒测试 白盒测试要求对某些程序的结构特性做到一定程度的覆盖，或者说是“基于覆盖的测试” 。最为常见的程序结构覆盖有 ： 语句覆盖：它要求被测程序的每一可执行语句在测试中尽可能都检验过，这是最弱的逻辑覆盖准则； 分支覆盖或判定覆盖：要求程序中所有判定的分支尽可能得到检验； 条件覆盖：当判定式中含有多个条件时，要求每个条件的取值均得到检验； 判定／条件覆盖：同时考虑条件的组合值及判定结果的检验； 路径覆盖：只考虑对程序路径的全面检验。取得测试覆盖的方法——程序插装 黑盒测试与白盒测试的比较 测试阶段与测试方法 2软件测试用例设计－黑盒测试 2.0 概述 2.1 等价类划分 2.2 因果图 2.3 边值分析 2.4 判定表驱动测试 2.5 正交实验设计法 2.6 自动测试用例生成方法 2.7 小结 2.0 黑盒测试概述 这种方法是把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。 黑盒测试又叫做功能测试或数据驱动测试。 黑盒测试方法是在程序接口上进行测试，主要是为了发现以下错误: 是否有不正确或遗漏了的功能? 在接口上，输入能否正确地接受? 能否输出正确的结果? 是否有数据结构错误或外部信息(例如数据文件)访问错误? 性能上是否能够满足要求? 是否有初始化或终止性错误?　 用黑盒测试发现程序中的错误，必须在所有可能的输入条件和输出条件中确定测试数据，来检查程序是否都能产生正确的输出。 但这是不可能的。 假设一个程序P有输入量X和Y及输出量Z。在字长为32位的计算机上运行。若X、Y取整数，按黑盒方法进行穷举测试： 可能采用的 测试数据组： 232×232 ＝264 如果测试一 组数据需要1毫秒，一年工作365× 24小时，完成所有测试需5亿年。 2.1 测试用例设计方法－等价类划分 选取测试用例 等价类划分的办法是把程序的输入域划分成若干部分，然后从每个部分中选取少数代表性数据当作测试用例。 在分析需求规格说明的基础上划分等价类，列出等价类表。 2.1.1 等价类 所谓等价类是指某个输入域的集合。它表示，如果用集合中的一个输入条件作为测试数据进行测试不能发现程序中的错误，那么使用集合中的其它输入条件进行测试也不可能发现错误。也就是说，对揭露程序中的错误来说，集合中的每个输入条件是等效的。 有效等价类和无效等价类 在考虑等价类时，应该注意区别两种不同的情况： *有效等价类：有效等价类指的是对程序的规格说明是有意义的、合理的输入数据所构成的集合。在具体问题中，有效等价类可以有一个，也可以是多个。 *无效等价类：无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能有多个。 等价类 输入条件 有效等价类 无效等价类 输入条件：…项数可以从1到999… 有效等价类为“1〈项数〈999” 无效等价类为“项数1”及“项数999” 2.1.2 经典例子 “输入三个整数作为三边的边长构成三角形。当此三角形为一般三角形、等腰三角形及等边三角形时，分别做计算…” 注意输入和输出条件 有效等价类 覆盖有效等价类的测试用例： a b c 覆盖等价类号码 3