1、语句覆盖 使得程序中每个语句至少 a 都能被执行一次 AND 满足语句覆盖的情况: B=0 执行路径:ace X=XA b 用例格式: OR [输入(A,BX),输出(A,B,X)] X:=X+1 选择用例 [(20,4),(2,0,3) 首页上页[下页末页片退出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