《第6章 软件测试》.pptVIP

第六章 软件测试 软件测试的基本概念 软件测试方法 软件测试的策略 1 软件测试的基本概念 软件测试的定义 软件测试的基本原则 软件测试的步骤 软件测试的信息流 软件测试的定义 为什么要进行软件测试？ 测试的目标是什么？ G.Myers认为： 1）测试是为了发现程序中的错误而执行程序的过程； 2）好的测试方案是极可能发现迄今为止尚未发现的错误的测试方案； 3）成功的测试是发现了至今为止尚未发现的错误的测试。 测试的定义： 为了发现程序中的错误而执行程序的过程。 软件测试的特点 1、软件测试的开销大　　 按照Boehm的统计，软件测试的开销大约占总成本的30%-50%。例如：APOLLO登月计划，80%的经费用于软件测试。 2、不能进行“穷举”测试 只有将所有可能的情况都测试到，才有可能检查出所有的错误。但这是不可能的： 例：程序P有两个整型输入量 X、Y，输出量为Z，在32位机上运行。所有的测试数据组（Xi，Yi）的数目为： 软件测试的基本原则 1、尽量不由程序设计者进行测试 因为由程序设计者进行测试，他会有意无意地在测试过程中去证明自己的程序是正确的，因而会影响测试的效果。 2、关键是注重测试用例的选择 测试用例由两部分组成（输入数据、预期的输出结果）。 既有合理输入数据，也有不合理的输入数据。 3、充分注意测试中的群集现象 群集现象是指在测试过程中，发现错误比较集中的程序段，往往可能残留的错误数较多。因此必须注意这种群集现象，对错误群集的程序段进行重点测试，以提高测试的效率。 软件测试的信息流 2 软件测试方法 软件测试方法分为两类：静态分析、动态测试，在进行软件测试时，通常两种方法都应同时使用。 一、静态分析方法 静态测试,是通过对被测程序的静态审查，发现代码中潜在的错误。 计算机并不真正运行被测试的程序，只对被测程序进行特性分析。 桌前检查（Desk Checking) 由程序员检查自己的程序，对源代码进行分析、检验。 代码会审（Code Reading Review) 由程序员和测试员组成评审小组，按照“常见的错误清单”，进行会议讨论检查。 步行检查 (Walkthroughs) 与代码会审类似，也要进行代码评审，但评审过程主要采取人工执行程序的方式，故也称为“走查”。 二、动态测试方法 动态测试方法与静态分析方法的区别是：需要通过选择适当的测试用例，上机执行程序进行测试。 白盒测试 测试时按照程序内部的逻辑测试程序、检验程序中的每条通路是否都能按预定的要求正确工作。 白盒测试又称为结构测试，主要用于单元测试。 逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术，在白盒法中，规定了不同的覆盖标准。 语句覆盖 语句覆盖就是设计足够的测试用例，使得程序中的每个语句至少执行一次。 满足语句覆盖的情况是： 执行路径：ace 用例格式，由输入数据和预期的输出结果两部分组成： [输入(A,B,X)，输出(A,B,X)] 选择用例：[(2,0,4),(2,0,3)]　 若第一个判断中的逻辑运算符“”若错写成了“||”，利用上面的数据能检查出这个错误吗？ 判定覆盖 覆盖情况：共有两个判定，应执行路径： 　　ace ∧ abd　或： acd ∧ abe 选择用例： 　　(1) [(2,0,4),(2,0,3)] ace　　 　　　 [(1,1,1),(1,1,1)] abd　　　 或：(2) [(3,0,3),(3,0,1)] acd [(2,1,1),(2,1,2)] abe　　　　　　 如果x＞1错写成了x＜1，能检查出这个错误吗？ 条件覆盖 条件： 　　A＞1，B＝0，A＝2，x＞1。 选择输入数据： 　　A＝2，B＝0，x＝4 　　A＝1，B＝1，x＝1 如下数据： A＝1，B＝0，x＝3 A＝2，B＝1，x＝1 满足条件覆盖，但不满足判定覆盖。 判定／条件覆盖 条件： A＞1，B＝0，A＝2，x＞1。 判定： (A＞1) and (B＝0) (A＝2) or (x＞1) 选择输入数据： A＝2，B＝0，x＝4 A＝1，B＝1，x＝1 条件组合覆盖 可能的条件组合： （1）A＞1，B＝0（2）A＞1，B≠0 （3）A≤1，B＝0（4）A≤1，B≠0 （5）A＝2，x＞1 （6）A＝2，x≤1 （7）A≠2，x＞1 （8）A≠2，x≤1 相应的输入数据： A＝2，B＝0，x＝4 满足（1）和（5） A＝2，B＝1，x＝1 满足（2）和（