软件测试是软考中级与高级多门科目的常驻考点，其中白盒测试的逻辑覆盖标准几乎年年出现，却又年年有人丢分。很多考生能把"语句覆盖""判定覆盖""条件覆盖"这几个名词背下来，却说不清它们之间的强弱关系，更分不清"条件覆盖"为什么未必强于"判定覆盖"。这种知其名而不知其所以然的复习方式，恰恰是命题人最喜欢利用的软肋。本文从概念定义出发，逐层拆解六种逻辑覆盖标准的底层原理、强弱关系、命题陷阱与真题考法，帮助你在考试中把这部分的分数稳稳拿下。
白盒测试又称结构测试、逻辑驱动测试或基于代码的测试，是一种把程序内部逻辑结构作为测试依据的测试方法。它与黑盒测试最本质的区别在于：黑盒测试只关心程序在给定输入下产生什么样的输出，把程序当作一个无法透视内部的黑箱；而白盒测试则要求测试人员能够看到程序的源代码、控制流和逻辑结构，并据此设计测试用例，使测试能够有针对性地覆盖程序内部的特定路径、语句或判定。
在软考语境下，白盒测试的正式表述通常引用国家标准与经典教材中的术语：白盒测试是按照程序内部的结构测试程序，检验程序中的每条通路是否都能按预定要求正确工作。它关注的不是"程序做了什么"，而是"程序是怎么做的"，即程序内部的每一条语句、每一个判定、每一个条件是否都被执行过。
逻辑覆盖是白盒测试中最核心的一类覆盖标准。所谓覆盖，指的是测试用例集合对程序内部某类元素的执行情况：当一条语句被执行到，就说这条语句被覆盖了；当一个判定的某个分支被执行到，就说这个分支被覆盖了。逻辑覆盖就是依据"被覆盖元素的类型"来划分测试充分程度的一组标准。
之所以叫"逻辑覆盖"，是因为它以程序的逻辑结构——语句、判定、条件、条件组合、路径——作为覆盖目标。不同的覆盖目标对应着不同的测试强度，也就对应着不同的发现错误能力。软考考试中反复考察的，正是这组标准之间"谁比谁强、谁不覆盖谁"的比较关系。理解这一点，是理解整个逻辑覆盖体系的第一步。
要理解逻辑覆盖，必须先理解一个根本问题：测试用例覆盖的到底是什么。黑盒测试的覆盖对象是输入域的划分，比如等价类划分把输入空间切成若干等价类，边界值分析关注输入域的边界；而白盒测试的覆盖对象是程序的控制流图。
程序的控制流图由节点和边构成：节点表示一条或多条顺序执行的语句，边表示控制流的转移方向。判定节点会分出真假两条边，循环结构会形成回边。测试用例运行一次，就会在控制流图上走出一条特定的路径。逻辑覆盖标准所做的，就是规定"测试用例集合必须在控制流图上覆盖到哪些节点或边"。
逻辑覆盖标准的划分逻辑，本质上是对控制流图覆盖精细度的递进要求。覆盖得越精细，能够触发的程序逻辑组合就越多，暴露缺陷的概率就越高。语句覆盖只要求覆盖到每个节点，是最粗的粒度；判定覆盖进一步要求每个判定的真假两个分支都被走到；条件覆盖把目光聚焦到判定内部每个原子条件的真假取值；条件组合覆盖则要求每个判定内部所有条件的真假组合全部出现；路径覆盖最彻底，要求程序中每一条从入口到出口的路径都被执行。
这条递进链条，就是软考命题最常考察的主线。命题人往往通过"下列覆盖标准中，发现错误能力最强的是"或"满足X覆盖是否一定满足Y覆盖"这类题目，来检验考生是否真正理解了覆盖的粒度差异，而不是仅仅记住了名词。
判断两种覆盖标准谁强谁弱，有一个通用的判定方法，就是看覆盖元素的集合是否构成包含关系。如果标准甲要求覆盖的元素集合完全包含了标准乙要求的元素集合，那么满足甲就一定满足乙，甲就比乙强。例如，判定覆盖要求覆盖每个判定的真假分支，而语句覆盖只要求覆盖每条语句；任何一个执行了真假两个分支的测试用例集合，必然也执行到了判定内部的所有语句，因此判定覆盖蕴含语句覆盖，判定覆盖强于语句覆盖。
反过来，如果两种标准的覆盖元素集合是交叉关系，就无法简单地说谁强谁弱，甚至可能出现"满足了甲却未必满足乙"的情况。条件覆盖与判定覆盖之间的关系正是如此，这是本文后面要重点剖析的命题陷阱。
语句覆盖又称语句覆盖标准，要求设计足够多的测试用例，使程序中的每条可执行语句至少被执行一次。这里的"可执行语句"指的是会真正产生执行动作的语句，声明语句和注释不计算在内。语句覆盖是强度最低的逻辑覆盖标准。
语句覆盖的缺陷十分明显：它只保证语句被执行，而不保证语句执行时逻辑条件的各种取值都被验证过。举一个最典型的例子，假设程序中有这样的判定结构——当条件为真时执行某条语句，条件为假时执行另一条语句。如果测试用例只让条件为真，那么两条语句虽然都被执行了，判定中"条件为假"这一分支却从未被验证，程序在条件为假时可能存在的错误就无法被发现。这就是语句覆盖最致命的盲区：它无法暴露判定本身书写错误所导致的逻辑缺陷。
更进一步看，语句覆盖的“弱”还体现在它对判定的值完全不敏感。设想一个判定表达式被程序员误写为恒真，例如把“大于等于”写成了“大于”，那么在边界值恰好相等的那一组输入下，本应进入假分支的程序会错误地进入真分支。如果测试用例只覆盖了真分支对应的语句，这个判定错误就永远无法被发现。正因为语句覆盖对判定表达式本身的正确性毫无约束力，它只能作为测试充分性的最低门槛，而不能作为衡量测试质量的合格标准。
判定覆盖又称分支覆盖，要求设计足够的测试用例，使程序中每个判定的"真"分支和"假"分支都至少被执行一次。判定覆盖的目标是判定节点的两条出边，而不再是单纯的语句。
判定覆盖比语句覆盖更强，原因在于：一个判定的真假两个分支都执行了，意味着判定内部所有可达语句都被覆盖，同时判定本身的真假取值也都得到了验证。因此满足判定覆盖的测试集合，必然满足语句覆盖；反之则不然。软考题目中常以"判定覆盖一定满足语句覆盖"这一单向蕴含关系作为考点。
但判定覆盖仍然有局限。它关注的是整个判定表达式的真假，而不关注判定内部由逻辑运算符连接起来的各个条件。当一个判定由多个条件通过"与""或"连接而成时，判定覆盖只保证整个表达式真假各取一次，可能遗漏掉内部某个条件单独出错的情况。
条件覆盖要求设计足够的测试用例，使程序中每个判定中的每个条件（即每个不含逻辑运算符的原子布尔表达式）的真假取值都至少出现一次。这里的"条件"是构成判定表达式的最小布尔单元，例如判定"A与B"中，A和B就是两个独立的条件。
条件覆盖的关键陷阱在于：条件覆盖并不必然蕴含判定覆盖。这是软考历年反复挖坑的地方。因为条件覆盖只要求每个原子条件的真假各自出现过一次，却不要求这些取值组合起来能同时使整个判定表达式的真假都出现。举个反例：判定表达式为"A或B"，测试用例一取A为真、B为假，整个判定为真；测试用例二取A为假、B为真，整个判定仍然为真。此时A和B的真假取值都覆盖到了，满足条件覆盖，但判定表达式的"假"分支从未出现，不满足判定覆盖。这个反例正是命题人设计干扰选项的常用素材。
反过来，判定覆盖也不蕴含条件覆盖。仍以“A与B”为例，测试用例一取A为真、B为真，判定为真；测试用例二取A为假、B为假，判定为假。这两组用例满足了判定真假两个分支的覆盖，但A与B的取值组合只出现了同为真和同为假两种，A真B假、A假B真这两种中间组合从未被验证，因此并未充分覆盖所有原子条件的取值组合。这个双向不蕴含的关系，正是条件覆盖与判定覆盖“交叉而不包含”的完整内涵，也是考生最容易在比较题中失分的地方。
判定-条件覆盖要求设计足够的测试用例，同时满足判定覆盖和条件覆盖的要求，即既要使每个判定的真假分支都执行过，又要使每个条件的真假取值都出现过。判定-条件覆盖是判定覆盖与条件覆盖的并集，其强度高于两者各自单独使用。
判定-条件覆盖弥补了条件覆盖不蕴含判定覆盖的缺陷，但它仍然存在一个隐患：它没有要求判定内部各条件之间的组合关系被充分覆盖。也就是说，虽然每个条件的真假都
本篇完！