软件工程白盒测试之逻辑覆盖

    逻辑覆盖是以程序内部的逻辑结构为基础的设计测试 用例的技术。它属白盒测试，一般来说，逻辑覆盖分为4个分支，语句覆盖 • 条件覆盖 • 分支覆盖 • 条件组合覆盖。下面一一来说。

先给出一个流程图：

一、语句覆盖：

设计测试用例，使得每个可执行的语句都要被执行一次，如上图的路线a->c->e就将4个可执行语句覆盖了。我们将该路线的判断语句进行合并，记住要考虑对应的情况，如果为F要取反。

取得满足条件的测试用例【（2，0，4），（2，0，3）】

二、分支覆盖

分支覆盖就是设计若干个测试用例， 运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。如上图，我们选择a->b->d，a->c->e就将所有的判断分支都走过了一遍。我们也像上面一样推导条件：

于