1语句覆盖 使得程序中每个语句至少都能被执行一次 A>1 AND B=0 X:=X/A A=2 OR X>1 X:=X+1 a b c d e 满足语句覆盖的情况 执行路径ace 选择用例 [(2,0,4(2,0,3)] 用例格式 [输入(A,B,X)输出(A,B,X)] Y N Y N 2判定覆盖 使得程序中每个判定至少为TRUE 或FALSE各一次 A>1 AND B=0 X:=X/A A=2