05黑盒测试.ppt

软件测试技术基础 ;第3章 黑盒测试技术;第3章 黑盒测试; 等价类划分是一种典型的黑盒测试方法。使用这一方法时，完全不考虑程序的内部结构，只依据程序的规格说明来设计测试用例。由于不可能用所有可以输入的数据来测试程序，而只能从全部可供输入的数据中选择一个自己进行测试。如何选择适当的子集，使其尽可能多地发现错误，解决的办法之一就是等价类划分。;3.1等价类划分法;等价类的划分有两种不同的情况： 有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据所构成的集合；利用它可以检验程序是否实现了预期的功能和性能； 无效等价类：是指对于程序的规格说明来说，是不合理的，没有意义的输入数据所构成的集合；利用它可以检验程序对于无效数据的处理。;划分等价类的原则如下。 ① 按区间划分 ② 按数值划分 ③ 按数值集合划分 ④ 按限制条件或规则划分 ; 在确立了等价类之后，建立等价类表，列出所有划分出的等价类，如下表所示。;再从划分出的等价类中按以下原则选择测试用例。 ① 为每一个等价类规定一个惟一的编号。 ② 设计一个新的测试用例，使其尽可能多地覆盖尚未覆盖的有效等价类；重复这一步骤，直到所有的有效等价类都被覆盖为止。 ③ 设计一个新的测试用例，使其仅覆盖一个无效等价类，重复这一步骤，直到所有的无效等价类都被覆盖为止。;等价类法举例;等价类法举例;等价类法举例;等价类法举例;等价类法举例;等价类法举例;16;等价类法举例;18; 人们从长期的测试工作经验得知，大量的错误是发生在输入或输出范围的边界上，而不是在输入范围的内部。因此针对各种边界情况设计测试用例，可以查出更多的错误。 使用边界值分析方法设计测试用例，首先应确定边界情况。 ; 选择测试用例的原则如下。 ① 如果输入条件规定了值的范围，则应该取刚达到这个范围的边界值，以及刚刚超过这个范围边界的值作为测试输入数据。 ② 如果输入条件规定了值的个数，则用最大个数、最小个数、比最大个数多1个、比最小个数少1 个的数作为测试数据。;③ 根据规格说明的每一个输出条件，使用规则1。 ④ 根据规格说明的每一个输出条件，使用规则2。 ⑤ 如果程序的规格说明给出的输入域或输出域是有序集合（如有序表、顺序文件等），则应选取集合的第一个和最后一个元素作为测试用例。;⑥如果程序用了一个内部结构，应该选取这个内部数据结构的边界值作为测试用例。 ⑦分析规格说明，找出其他可能的边界条件。;例：根据用户输入的有效日期（从1800的1月1日至2050年12月31日），自动计算下一天的日期。;①整体考虑： 1800年1月2日 1799年12月31日 2051年1月1日 2050年12月30日;3.2 NextDate示例的边界值分析法; 人们也可以靠经验和直觉推测程序中可能存在的各种错误，从而有针对性地编写检查这些错误的例子。这就是错误推测法。 错误推测法的基本想法是：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。 ; 因果图方法最终生成的就是判定表。它适合于检查程序输入条件的各种组合情况。 利用因果图生成测试用例的基本步骤如下。 ① 分析软件规格说明的描述中哪些是原因，哪些是结果。原因是输入条件或输入条件的等价类，结果是输出条件。;② 分析软件规格说明描述中的语义，找出原因与结果之间、原因与原因之间对应的关系，根据这些关系，画出因果图。 ③ 标明约束条件。由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因果图上使用若干标准的符号标明约束条件。;④ 把因果图转换成判定表。 ⑤ 为判定表中的每一列设计测试用例。 通常在因果图中，用Ci表示原因，Ei表示结果，其基本符号如下图所示。;因果图中原因与结果之间的关系符号 ;因果图中原因（或结果）之间的约束关系符号;3.4自动饮料机的因果图法;3.4自动饮料机的因果图法;3.4自动饮料机的因果图法;3.4自动饮料机的因果图法;3.4自动饮料机的因果图法;实验; 现在的软件几乎都是用事件触发来控制流程的，事件触发时的情景便形成了场景，而同一事件不同的触发顺序和处理结果就形成事件流。这种在软件设计方面的思想也可以引入到软件测试中，可以比较生动地描绘出事件触发时的情景，有利于测试设计者设计测试用例，同时使测试用例更容易理解和执行。; 用例场景用来描述流经用例的路径，从用例开始到结束遍历这条路径上所有基本流和备选流。;基本流和备选流 如下图所示，图中经过用例的每条路径都用基本流和备选流