��测试用例的设计格式如下
����
【输入的(A, B, x),输出的(A, B, x)】
��本题满足语句覆盖的测试用例是:
����
【(2, 0, 4),(2, 0, 3)】 覆盖 ace【L1】
图5.13(a) 复合判定的例子
图5.13(b) 改为单个条件判定的嵌套结构
��这种覆盖又称为点覆盖,它使得程序中每个可执行语句都得到执行,但它是最弱的逻辑覆盖准,效果有限,必须与其它方法交互使用。
��从程序中每个可执行语句都得到执行这一点来看,语句覆盖的方法似乎能够比较全面地检验每一个可执行语句。但需要注意的是,这种覆盖也绝不是完美无缺的。假设图中两个判断的逻辑运算有问题,例如,第一个判断中的逻辑运算符" "错写成了" ", 或者第二个判断中的逻辑运算符" "错写成了" ",利用上面的测试用例,仍可覆盖所有4个可执行语句。这说明虽然做到了语句覆盖,但可能发现不了判断中逻辑运算中出现的错误。与后面所介绍的其它覆盖相比,语句覆盖是最弱的逻辑覆盖准则。