Ray的专栏

针对上述问题又提出了另一种标准——“条件组合覆盖”。它的含义是：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。显然，满足“条件组合覆盖”的测试用例是一定满足“判定覆盖”、“条件覆盖”和“判定/条件覆盖”的。再看图6.4的程序，我们需要选择适当的例子，使得下面8种条件组合都能够出现： 1）A>1, B=0          2)  A>1, B¹0     

一、语句覆盖(Statement coverage)“语句覆盖”是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。                                         图6.4是一个被测试的程序，它的源程序是：PROCEDURE M(VAR A，B，X：REAL)；  

一个判定中往往包含了若干个条件，例如图6.4的程序中，判定(A＞1) AND (B=0)包含了两个条件：A＞1以及B=0，所以可引进一个更强的覆盖标准——“条件覆盖”“条件覆盖”的含义是：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。   图6.4的程序有四个条件：        A＞1、B=0、A=2、X＞1为了达到“条件覆盖”标准，需要执行足够的测试用

针对上面的问题引出了另一种覆盖标准——“判定／条件覆盖”，它的含义是：执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。对图6.4的程序，上一节中的两个例子      ①A=2，B=0，X=4 (沿ace路径)                       ②A=1，B=1，X=1(沿abd路径)                   

摘要：白盒测试作为测试人 员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代码设计用例，而是需要根据不同的测试需求，结合不同的测试对象，使用适合 的方法进行测试。因为对于不同复杂度的代码逻辑，可以衍生出许多种执行路径，只有适当的测试方法，才能帮助我们从代码的迷雾森林中找到正确的方向。本文介 绍六种白盒子测试方法：语句覆盖(Statement coverage)、判

比“语句覆盖”稍强的覆盖标准是“判定覆盖”(或称分支覆盖)标准。含义是：执行足够的测试用例，使得程序中的每一个分支至少都通过一次。对图6.4的程序，如果设计两个例子，使它们能通过路径ace和abd，或者通过路径acd和abe，就可达到“判定覆盖”标准，为此，可以选择输入数据为：①A=3，B=0，X=1(沿路径acd执行)；       ②A=2，B=1，X=3(沿路径abe执行)