软件工程7(西南交通大学软件工程课件)PPT.ppt

（7）空字符串； 输入：‘ ’ 预期的输出：错误－没有数字 （8）字符串左部字符既不是零又不是空格； 输入：‘AAAAA1’ 预期的输出：错误－非数字 （9）最高位数字后面有空格； 输入：‘1 2’ 预期的输出：错误－无效输入 （10）最高位数字后面有其他字符； 输入：‘1AAA23’ 预期的输出：错误－无效输入 （11）负号和最高位数字之间有空格； 输入：‘－ 12’ 预期的输出：错误－负号位置错。 2. 判定覆盖 判定覆盖是指：选取足够的测试用例，使得程序中每个判断的可能结果都至少执行一次，也就是说使程序的每个判断分支至少通过一次。 入口 返回 A1 and B=0 A=2 or X1 X=X/A X=X+1 s a b d c e T T F F 1 2 3 4 5 6 7 图7.5 被测试模块的流程图 对于上例，选取如下测试用例： I. A=3，B=0，X=3 （覆盖sacbd） II. A=2，B=1，X=1 （覆盖sabed） 3. 条件覆盖 条件覆盖是指：选择足够的测试用例，使得程序中每个判定表达式的每个条件都取到各种可能的结果。 入口 返回 A1 and B=0 A=2 or X1 X=X/A X=X+1 s a b d c e T T F F 1 2 3 4 5 6 7 图7.5 被测试模块的流程图 上例中，有两个判定表达式，每个表达式有两个条件，为了做到条件覆盖，应该选取测试数据使得a点出现如下结果： A1，A≤1，B=0，B≠0 在b点出现如下结果： A=2，A≠2，X1，X≤1 选取如下测试用例： I.A=2，B=0，X=4 （满足A1，B=0，A=2和X1，执行路径为sacbed） II.A=1，B=1，X=1 （满足A≤1，B≠0，A≠2和X≤1，执行路径为sabd） 入口 返回 A1 and B=0 A=2 or X1 X=X/A X=X+1 s a b d c e T T F F 1 2 3 4 5 6 7 图7.5 被测试模块的流程图 条件覆盖通常比判定覆盖强，但是条件覆盖不一定包含判定覆盖。 入口 返回 A1 and B=0 A=2 or X1 X=X/A X=X+1 s a b d c e T T F F 1 2 3 4 5 6 7 图7.5 被测试模块的流程图 如： I．A=2，B=0，X=1 （满足A1，B=0，A=2和X≤1，执行路径为sacbed） II．A=1，B=1，X=2 （满足A≤1，B≠0，A≠2和X1，执行路径为sabed） 只满足条件覆盖，并不满足判定覆盖。 入口 返回 A1 and B=0 A=2 or X1 X=X/A X=X+1 s a b d c e T T F F 1 2 3 4 5 6 7 图7.5 被测试模块的流程图 4. 判定/条件覆盖 判定/条件覆盖是指：选取足够的测试用例使得同时满足判定覆盖和条件覆盖的要求。 对于上例，选取如下测试用例： I．A=2，B=0，X=4 （满足A1，B=0，A=2和X1，执行路径为sacbed） II．A=1，B=1，X=1 （满足A≤1，B≠0，A≠2和X≤1，执行路径为sabd） 入口 返回 A1 and B=0 A=2 or X1 X=X/A X=X+1 s a b d c e T T F F 1 2 3 4 5 6 7 图7.5 被测试模块的流程图 5. 条件组合覆盖 条件组合覆盖指：选取足够的测试用例，使得每个判定表达式中条件的各种可能的组合都至少出现一次。 对于上例，共有8种可能的条件组合： 1）A1，B=0 2）A1，B≠0 3）A≤1，B=0 4）A≤1，B≠0 ? 5）A=2，X1 6）A=2，X≤1 7）A≠2，X1 8）A≠2，X≤1 入口 返回 A1 and B=0 A=2 or X1 X=X/A X=X+1 s a b d c e T T F F 1 2 3 4 5 6 7 图7.5 被测试模块的流程图 选取如下测试用例： I．A=2，B=0，X=4（满足1、5组合：A1，B=0，A=2，X1，执行路径sacbed） II．A=2，B=1，X=1（满足2、6组合：A1，B≠0，A=2，X≤1，执行路径sabed） 入口 返