计算机软件技术基础第六章应用软件开发的原则和方法精要.pptVIP

(3) 高级测试 ①功能测试 功能测试又称有效性测试，主要是用黑箱法测试软件功能是否与用户一致。 ②系统测试 把软件元素与硬件元素结合在一起进行测试。 ③验收测试 主要检查程序的操作与原设计要求以及用户要求是否一致。这类测试常以用户为主体进行。 ④安装测试 主要检查软件在安装时产生的问题。 测试 测试方法 主要技术： 1、逻辑覆盖(Logical coverage) —— 适用于白盒测试 覆盖程度由弱到强顺次为： ⑴ 语句覆盖(Statement coverage):每个语句至少执行一次。 任务：①预定要测试的功能 ②设计输入的测试数据(test cases) ③列出预期结果(expected output) 例：if (a1 b=0) x = x/a; if(a=2 || x1) x=x+1; 问题：若AND错写为OR，或X1错写为X1,则错误无法由上例测出。 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F Test case : A=2 , B=0 , X=4. 测试方法 ⑵判定覆盖(Branch coverage)：在⑴的基础上，每个判定的每个分支至少执行一次。 Test cases: ①A=3 , B=0 , X=3 ②A=2 , B=1 , X=1 问题：若X1错写为X1,仍然无法被测出。 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F 测试方法 ⑶ 条件覆盖(Condition coverage)：在⑴的基础上，使每个判定表达式的每个条件都取到各种可能的结果。 Test cases: ①A=2 , B=0 , X=4 （满足A1, B=0; A=2, X1) ②A=1, B=1, X=1 (满足A?1, B?0; A ?2, X?1） 问：条件覆盖 ？ 判定覆盖 答: 不一定。 反例: ①A=2, B=0, X=1 ②A=1, B=1, X=2 ⑷判定/条件覆盖：即判定覆盖?条件覆盖 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F 测试方法 ⑸ 条件组合覆盖：每个判定表达式中条件的各种可能组合都至少出现一次。 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F 全部可能的条件组合为： ① A1, B=0 ② A1, B? 0 ③ A?1, B=0 ④ A?1, B? 0 ⑤ A=2, X1 ⑥ A=2, X? 1 ⑦ A ? 2, X1 ⑧ A ? 2,X? 1 Test cases: ① A=2, B=0, X=4 (T T) ② A=2. B=1, X=1 (F T) ③ A=1, B=0, X=2 (F T) ④ A=1, B=1, X=1 (F F) 问题：没有测试到（T F）的情形 ⑴ 划分经验 ? 当规定了输入范围时： 2、等价划分(Equivalence Partitioning) —— 适用于黑盒测试 无效类 有效类 无效类 ? 当规定了输入的一组值，且对不同值做不同处理时：例：教工分房方案中，按教授、副教授、讲师、助教分别计分 ? 有效类4个；无效类1个 测试方法 ? 当规定了输入的规则时： 例：(PASCAL) 语言规定，每个语句以“ ；” 结 束? 有效类1个；无效类若干（以“ ，”结束、以“ ：”结束、以空格结束等等） ? 当输入为整型时：有效类可分为Z+、0、Z— 三种 ? 当处理表格时：有效类可分为空表、含一项的表、含多项的表等 注：① 以上经验亦适用于输出数据； ② 不需要测试编译程序肯定能发现的错误。 测试方法 ⑵ 设计步骤 ? 设计一个新方案以尽可能多地覆盖尚未被覆盖的有效等价类；重复这一步骤直到所有有效类都被覆盖为止。 ? 设计一个新方案以覆盖一个且仅一个尚未被覆盖的无效等价类；重复这一步骤直到所有无效类都被覆盖为止。（通常程序执行一个错误后即不继续检测其它错误，故每次只测一个无效类） 3、边界值分析(Boundary Value Analysis) 注意：① 程