白盒测试方法-覆盖.doc

白盒测试方法 逻辑覆盖 一、语句覆盖 二、判定覆盖 三、条件覆盖 四、判定－条件覆盖 五、路径覆盖 逻辑覆盖 结构测试是依据被测程序的逻辑结构设计测试用例，驱动被测程序运行完成的测 试。结构测试中的一个重要问题是，测试进行到什么地步就达到要求，可以结束测试 了。这就是说需要给出结构测试的覆盖准则。 以下给出的几种逻辑覆盖测试方法都是从各自不同的方面出发，为设计测试用例 提出依据的。 IF((A1)AND(B=0))THEN X=X/A IF((A=2)OR(X1)THEN X=X+1 其中“AND”和“OR”是两个逻辑运算符。图1给出了它的流程图。a、b、c、 d和e是控制流上的若干程序点。 一、语句覆盖 语句覆盖的含意是，在测试时，首先设计若干个测试用例，然后运行被测程序， 使程序中的每个可执行语句至少执行一次。这时所谓“若干个”，自然是越少越好。 在上述程序段中，我们如果选用的测试用例是： A=2 B=0………………CASE1 X=3 则程序按路径ace执行。这样该程序段的4个语句均得到执行，从而作到了语句覆 盖。但如果选用的测试用例是： A=2 B=1………………CASE2 X=3 程序按路径abe执行，便未能达到语句覆盖。 从程序中每个语句都得到执行这一点来看，语句覆盖的方法似乎能够比较全面地 检验每一个语句。但它也绝不是完美无缺的。假如这一程序段中两个判断的逻辑运算 有问