管理信息系统本科精品课件.ppt

* 测试的基本手段 ——人工运行 会前准备：提前几天提供资料以便仔细研究程序 会议内容：与会者当“计算机” ，运行每一个测试数据。沿着程序逻辑把这些测试数据走一遍，并监视追踪程序的状态。 会期：持续1至2小时而不间断的会议 * 测试的基本手段 ——人工运行 人工运行 需要注意的问题： 像程序审查会一样，与会者的态度极其重要。与会者应该评论程序而不是评论程序员。不能把错误看作由于程序员的弱点所造成，而应该把它看成由于程序开发的困难而固有的。对错误要追根到底 * 测试的基本手段 ——静态检验 静态检查可以看作一个人参加的程序审查会，或一个人参加的人工运行。让一个人读程序，依照查错表来检查程序或用测试数据把程序“走”一遍。 * 测试数据的设计——逻辑覆盖测试（白盒测试方法） 例： 两个判定（菱形部分）和四个条件（A1、B=0、A=2、X1） * 测试数据的设计——逻辑覆盖测试（白盒测试方法） 1、语句覆盖：编写足够的测试数据，使得每条语句至少执行一次 路径ace 满足覆盖要求 设计的测试数据：A＝2；B＝0；X＝3 问题：如果第一个判定被错误地写成“OR”，这个错误就检查不出来。同样如果将第二个判定中“X＞1”写成“X＞0”，也将检查不出错误。 * 测试数据的设计——逻辑覆盖测试（白盒测试方法） 2 、判定覆盖：编写足够的测试数据，使得每个判定至少有一次“真”和一次“假”的结果。或者说，每个分支方向都必须至少经过一次。 路径ace、bad或路径acd、abe都可以满足覆盖要求 * 测试数据的设计——逻辑覆盖测试（白盒测试方法） 设计的测试数据： A＝3，B＝0，X＝3 A＝2，B＝1，X＝1 问题：若第二个判定有错（X＞1被错误地写成X＜1），用路径acd及abe就检测不出这个错误 * 测试数据的设计——逻辑覆盖测试（白盒测试方法） 3 、条件覆盖：编写足够的测试数据，以使判定中每个条件的所有可能结果至少出现一次。 四个条件：A＞1，B＝0，A＝2和X＞1，因此需要有足够的测试数据以形成：在a点出现A＞1，A≤1，B＝0，B≠0。在b点出现A＝2，A≠2，X＞1，X≤1 * 测试数据的设计——逻辑覆盖测试（白盒测试方法） 设计的测试数据： A＝2，B＝0，X＝4，执行路径ace A＝1，B＝1，X＝1，执行路径abd 问题：当测试判定条件IF（A .AND. B）或IF（A .OR. B）一个条件的“真”或“假”会掩盖另一个条件的错误。 * 测试数据的设计——逻辑覆盖测试（白盒测试方法） 4、判定/条件覆盖 ： 编写足够的测试数据，使得判定中每个条件的所有可能结果至少出现一次，每个判定本身所有可能结果也至少出现一次。 * 测试数据的设计——逻辑覆盖测试（白盒测试方法） 5、 多重条件覆盖 ：编写足够的测试数据使得每个判定中条件结果的所有可能组合至少出现一次 ① A＞1，B＝0 ② A＞1，B≠0 ③ A≤1，B＝0 ④ A≤1，B≠0 ⑤ A＝2，X＞1 ⑥ A＝2，X≤1 ⑦ A≠2，X＞1 ⑧ A≠2，X≤1 * 测试数据的设计——逻辑覆盖测试（白盒测试方法） A＝2，B＝0，X＝4 覆盖①，⑤ A＝2，B＝1，X＝1 覆盖②，⑥ A＝1，B＝0，X＝2 覆盖③，⑦ A＝1，B＝1，X＝1 覆盖④，⑧ * 测试数据的设计——等价类划分 （黑盒测试方法） 测试数据设计步骤： （1）划分等价类 （2）找出测试数据 * 测试数据的设计——等价类划分 （黑盒测试方法） 确定等价类的几条原则 ： 1、如果某个输入条件规定了值的范围，可以确定一个有效等价类和两个无效等价类。 2、如果一个输入条件规定了值的个数，就可以确定一个有效等价类和两个无效等价类。 3、如果一个输入条件规定了一个输入值的集合，则对集合中每个元素可以确定一个等价类（在集合中的元素），同时可以对集合确定一个无效等价类（不在集合中的元素）。 * 测试数据的设计——等价类划分 （黑盒测试方法） 4、如果一个输入条件规定了“必须如何”的条件则可以确定一个有效等价类和一个无效等价类。 5、如果有理由确信某一个等价类中的各元素在程序中的处理方式是有区别的，那就应把这个等价类分成更小的等价类。 * 测试数据的设计——等价类划分 （黑盒测试方法） 确定测试数据（Identifying the Testing Cases）： 1、给每个等价类规定一个唯一的编号。 2、设计一个新的测试数据，使其尽可能多地覆盖未被覆盖的有效等价类，直到所有有效等价类都被覆盖为止（即每个有效等价类都包含于某个或某些测试数据中）。 3、设计出一个测试数据，使其仅仅覆盖一个未被覆盖的无效等价类，直到覆盖了全部无效等价类。 * 测试数据的设计——等价类划分 （