确发出信息X12，第二个字符不正确发出信息X13 。
①、分析规范
原因
结果
⑴ 因果图的基本符号
0 - 表示“不出现”
1 - 表示“出现”
恒等
a
b
若a为1，则b为1，否则b为0。
“非”函数
a
b
若a为1，则b为0，否则b为1。 “或”函数
a
∨d
若a或b为1，则d为1，否则d为0。 b
“与”函数
若a与b同为1，则d为1，否则d为 0。
a
∧d
b
4、因果图法（cause effcet graphicei）
X>1
N
X:=X+1
1、语句覆盖
a
A>1 AND B=0
N
b
c
Y
X:=X/ABiblioteka A=2 OR X>1dN
Ye
X:=X+1
使得程序中每个语句至少 都能被执行一次。
满足语句覆盖的情况： 执行路径：ace
用例格式： [输入(A,B,X)，输出(A,B,X)]
选择用例： [(2,0,4),(2,0,3)]
2、判定覆盖
THEN X:=X+1 END;
白盒法举例
Procedure （VAR A,B,X:REAL）； BEGIN IF（A>1) AND (B=0) TH逻E辑N结构X:=X/A ; IF (A=2) OR (X>1) THEN X:=X+1 END;
A>1 AND B=0
N
Y
X:=X/A
A=2
Y
OR
[(3,0,3),(3,1,1)] acd
3、条件覆盖
