测试技术与方法.docVIP

测试技术与方法 1黑盒测试方法 4 1.1等价类划分法 4 1.2边界值分析法 6 1.3因果图法 7 1.4错误推断法 7 1.5组合分析法 8 2白盒测试方法 8 2.1逻辑覆盖法 10 2.1.1语句覆盖 10 2.1.2判定覆盖 12 2.1.3条件覆盖 13 2.1.4判定/条件覆盖 15 2.1.5条件组合覆盖 16 2.2基本路径测试法 19 2.2.1基本路径测试法的基本步骤 19 2.2.2基本路径测试法的工具方法 20 2.2.3程序的控制流图 20 3单元测试 25 3.1单元测试测试内容 25 3.1.1模块接口 26 3.1.2局部数据结构 27 3.1.3重要的执行路径 28 3.1.4错误处理 29 3.1.5边界测试 29 3.2单元测试步骤 29 4集成测试 31 4.1非渐增式测试 31 4.2渐增式测试 31 5确认测试（验收测试） 36 5.1有效性测试 37 5.2软件配置复复查 37 5.3α测试和β测试 37 6系统测试 38 6.1恢复测试 39 6.2安全性测试 39 6.2.1静态的代码安全测试 40 6.2.2动态的渗透测试 40 6.2.3程序数据扫描 40 6.3强度测试 41 6.4性能测试 41 6.4.1单交易基准测试 42 6.4.2单交易负载测试 42 6.4.3混合场景 43 6.4.4稳定性测试 44 6.4.5异常测试 44 6.4.6极限测试 45 6.4.7性能测试的主要策略 45 6.4.8综合系统性能测试指标 47 1黑盒测试方法 1.1等价类划分法 1.2边界值分析法 例子：排序程序，边界条件有： 序列为空； 序列仅有一个数据； 序列为满，用猜错法补充一下测试用例； 序列已经按要求排好序； 序列的顺序与要求的顺序恰好相反； 序列中的所有数据全部相等。 因为错误最容易发生在边界值附近，所以边界值分析法对于多变量函数的测试很有效，尤其是对于像C/C++数据类型要求不是很严格的语言有利 。 例：(1) 使输出刚好等于最小的负整数。例如： 输入：‘－32768’ 预期的输出：－32768 (2) 使输出刚好等于最大的正整数。例如： 输入：‘32767’ 预期的输出：32767 (3) 使输出刚好小于最小的负整数。例如： 输入：‘－32769’ 预期的输出：“错误——无效输入” (4) 使输出刚好大于最大的正整数。例如： 输入：‘32768’ 预期的输出：“错误——无效输入” 1.3因果图法 1.4错误推断法 零作为测试数据往往容易使程序发生错误。 分析规格说明书中的漏洞，编写测试数据。 根据尚未发现的软件错误与已发现软件错误成正比 的统计规律，进一步测试时重点测试已发现错误的程序段。 等价类划分与边界值分析容易忽略组合的测试数 据，因而，可采用判定表或判定树列出测试数据。 与人工代码审查相结合，两个模块中共享的变量已 被做修改的，可用来做测试用例。因为对一个模块测试出 错，同样会引起另一模块的错误。 1.5组合分析法 组合分析是一种基于每对参数组合的测试技术，主要考虑参数之间的影响是主要的错误来源和大多数的错误起源于简单的参数组合。 2白盒测试方法 白盒测试(white box testing),也叫玻璃盒测试，对软件的过程性细节做细致的检查。这一方法是把测试对象看作是一个打开的盒子，它允许测试人员利用程序内壁的逻辑结构及有关信息，来设计或选择测试用例，对程序所有逻辑路径进行测试。 从理论上讲白盒测试是可以进行完全的测试的。但实际测试中，这种穷举法是无法实现的，因为即使是很小的程序，也可能会出现数目惊人的逻辑路径。 测试用例设计的基本目的：是确定一组最有可能发现某个错误或某类错误的测试数据。 白盒测试主要测试方法有 代码检查法 静态结构分析法 静态质量度量法 逻辑覆盖法 基本路径测试法（应用最广泛） 域测试 符号测试 Z路径覆盖 程序变异 只介绍主要的逻辑覆盖法和基本路径测试法。 2.1逻辑覆盖法 逻辑覆测试方法通常采用流程图来设计测试用例，它考察的重点是图中的判定框，因为这些判定通常是与选择结构有关或是与循环结构有关，是决定程序结构的关键成分 白盒测试的用例设计 2.1.1语句覆盖 语句覆盖的含义是选择足够多的测试用例，使得被测程序中的每条语句至少执行一次。图7.3是测试的一段程序的流程图对应的C源程序(用C 语言书写)。 float A, B, X; if(A＞1B= =0) X=X/A; if(A= =2||X1) X=X+1; … 为了使每条语句都执行一次，程序应该按sacbed路径执行，为实现此路径而选取下面的一组输入数据(实际上X可以是任意实数): A=2, B=0, X=2 说明：这组数据只测试了条件为真的情况，若实际输入的条件为