程序测试的逻辑覆盖测试方法

        逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。它属白盒测试。白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。

1.语句覆盖(Statement Coverage，SC)
        又称行覆盖（LineCoverage），段覆盖（SegmentCoverage），基本块覆盖（BasicBlockCoverage），这是最常用也是最常见的一种覆盖方式，就是度量被测代码中每个可执行语句是否被执行到了。

2. 判定覆盖(Decision Coverage，DC)
        判定覆盖是设计足够多的测试用例，使得程序中的每一个判断至少获得一次“真”和一次“假”，即使得程序流程图中的每一个真假分支至少被执行一次。

3. 条件覆盖(Condition Coverage，CC)
       使每个判定表达式中的每个条件都取到各种可能的结果。

4. 条件/判定覆盖(Condition/Decision Coverage，CC)
       判定条件覆盖是设计足够的测试用例，得使判断中每个条件的所有可能取值至少执行一次，同时每个判断本身所有可能结果也至少执行一次。缺点是忽略了条件的组合情况。

5. 条件组合覆盖(Conditional Combination Coverage,CCC)
       在白盒测试法中，选择足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。显然，满足“条件组合覆盖”的测试用例是一定满足“判定覆盖”、“条件覆盖”和“判定/条件覆盖”的。

6.多条件覆盖(Multi Condition Coverage，MCC)
       设计足够多的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。显然，满足多条件覆盖的测试用例是一定满足，“判定覆盖”、“条件覆盖”、条件判定组合覆盖的。

7.修正判定条件覆盖(MC/DC)
        条件表示不含有布尔操作符号的布尔表达式；
        判定表示由条件和零或者很多布尔操作符号所组成的一个布尔表达式；
        修正条件判定覆盖要求在一个程序中每一种输入输出至少得出现一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变。
        上面的定义有点不好理解，解释一下：
        MC/DC首先要求实现条件覆盖、判定覆盖，在此基础上，对于每一个条件C，要求存在符合以下条件的两次计算：
        1）条件C所在判定内的所有条件，除条件C外，其他条件的取值完全相同；
        2）条件C的取值相反；
        3）判定的计算结果相反。
        核心意思是每个条件都要独立影响判定结果。为什么说“两次计算”，而不是“两个用例”呢？当循环中有判定时，一个用例下同一判定可能被计算多次，每次的条件值和判定值也可能不同，因此，一个用例就可能完成循环中判定的MC/DC。

8. 点覆盖
       在图论中点覆盖的概念定义如下：对于图G=(V,E)中的一个点覆盖是一个集合S⊆V使得每一条边至少有一个端点在S中。

9. 边覆盖
       边覆盖是一类覆盖，指一类边子集。具体地说，图的一个边子集，使该图上每一节点都与这个边子集中的一条边关联，只有含孤立点的图没有边覆盖，边覆盖也称为边覆盖集，图G的最小边覆盖就是指边数最少的覆盖，图G的最小边覆盖的边数称为G的边覆盖数，常记为β′(G)。

10.路径覆盖
       路径覆盖的含义是，选取足够多的测试数据，使程序的每条可能路径都至少执行一次（如果程序图中有环，则要求每个环至少经过一次）。
       对于比较简单的小程序来说，实现路径覆盖是可能的，但是如果程序中出现了多个判断和多个循环，可能的路径数目将会急剧增长，以致实现路径覆盖是几乎不可能的。