第三章测试设计和开发-公开课件（讲义）.ppt

软 件 测 试 技 术 第三章 测试设计和开发 3.1 测试设计流程 3.2 总体设计 3.3 开发测试用例 3.4 评审测试用例 3.1 测试设计流程 3.2 总体设计 定义设计目标 清楚地说明每项测试的目标 使每项测试的目的单一，可以对应到规格说明书中的一项需求 只说明测试将完成什么工作，而不是说明如何完成 3.3 开发测试用例 测试过程的每一步都需要明确预期的结果。 样例 － 登录 需求： 用户名长度为6至10位（含6位和10位） 用户名由字符（a-z、A-Z）和数字（0-9）组成 不能为空、空格和特殊字符 密码规则同用户名规则 简单 能够正确处理用户登录 详细 定义 － 参数化 是一个将测试数据与测试逻辑（步骤）分开，简化测试用例的过程； 方式是将用例中的一些输入、输出等作为参数，数据则单独列出，在执行时选择相应的数据执行。 为什么要参数化？ 没有将测试数据和测试逻辑分开的测试用例可能显得非常庞大，不利于测试员理解，导致难以控制和执行； 通过将用例参数化，可以简化用例，使测试用例逻辑清晰，数据与逻辑的关系明了，易于理解； 有利于提高测试用例的复用性； 哪些内容需要参数化？ 测试用例中需要通过使用不同数据来重复执行测试的部分； 包括： 输入（数据或操作等） 输出（结果数据或预期结果等） 样例 － 登录 测试数据（一） 测试数据（二） 白盒测试作为结构测试方法，是按照程序内部的结构测试程序，对软件的过程性细节做细致的检查，测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例。 白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准确定的。 白盒法步骤： 例：用白盒法测试以下程序段： Procedure（VAR A，B，X：REAL）； BEGIN IF （A1) AND (B=0) THEN X:=X/A ; IF (A=2) OR (X1) THEN X:=X+1 END; 白盒法举例 Procedure （VAR A,B,X:REAL）； BEGIN IF（A1) AND (B=0) THEN X:=X/A ; IF (A=2) OR (X1) THEN X:=X+1 END; 1、语句覆盖 使得程序中每个语句至少都能被执行一次。 2、判定覆盖 使得程序中每个判定至少为TRUE 或FALSE各一次。 3、条件覆盖 4、判定/条件覆盖 同时满足判断覆盖和条件覆盖。 5、条件组合覆盖 使得每个判定中条件的各种可能组合都至少出现一次。 6、路径覆盖 覆盖程序中所有可能的路径 黑盒测试不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。 1、等价分类法 基本思想：根据程序的I/O特性，将程序的定义域划分为有限个等价区段 —“等价类”，从等价类中选择出的用例，具有“代表性”。 2、边值分析法 基本思想： 选择等价类的边缘值作为测试用例，让每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。 黑盒法应用实例（一） [例] 某FORTRAN编译系统的设计和程序编写工作已经完成，现需对DIMENSION语句的实现设计测试用例。已知DIMENSION语句的语法规则是： DIMENSION语句用以规定数组的维数。 形式为：DIMENSION AD[；AD]… 其中，AD是数组描述符，其形式为 n( d [,d] …) 其中，n是数组名，由1-6个字母或数字组成。为首的必须是字母；d是维数说明符，数组维数最大为7，最小为1，它的形式为 [ lb: ]ub lb和ub分别表示数组下界和上界，均为-65534至65535之间的整数，也可是整型变量名（但不可是数组元素名）。若未规定lb，则认为其值为1，且ub=lb。若已规定了lb，则它可为负数、零或正数。DIMENSION语句也和其他语句一样，可连续写多行。（以上规则中，[ ]内为任选项，小写字母代表语法单位，…表示它前面的项可重复出现多次。） FORTRAN语言的DIMENSION语句 AD DIMENSION ALPHA(2:5, 3:10), BETA(-4:4, 1:7), …… n d d d = [ lb: ]ub 1~6 1~7 -65534~65535 字符数 维数 界值 [解]第一步 确定输入条件，列出等价类表 第二步 确定测试用例 先设计一个测试用例，使其覆盖一个或多个有效等价