扫码获取 VIP 码
添加管理员微信获取 VIP 码
软件测试按是否执行被测程序，划分为静态测试与动态测试两大类。静态测试不运行程序，靠人工检查和计算机辅助静态分析发现缺陷，典型手段包括桌面检查、代码审查与代码走查；动态测试则通过实际运行程序暴露错误，其下再按测试依据的不同分为黑盒测试与白盒测试。黑盒测试只关心输入与输出，把程序当成打不开的箱子；白盒测试则相反，测试者以程序的内部结构为依据来设计测试用例，因此又称结构测试或逻辑驱动测试。白盒测试所依据的"内部结构"，落到具体操作层面，就是程序的控制流图与判定条件，而逻辑覆盖正是用来度量测试用例对程序逻辑结构覆盖程度的成套标准。
所谓逻辑覆盖，规范表述是：以程序内部的逻辑结构为基础设计测试用例，通过考察测试对语句、判定、条件、路径等程序要素的覆盖比例，来评价测试充分性的一族覆盖准则。软件设计师教程将其归入白盒测试方法的范畴，与基本路径测试、循环覆盖等并列。要理解逻辑覆盖，必须先建立两个基础概念。其一是控制流图。任何程序都可以抽象为一张有向图：每条语句或语句块收缩为一个节点，语句之间可能的执行转移画成有向边，条件判断处形成分支节点。逻辑覆盖考察的各种要素，语句也好、判定也好、路径也好，全都是这张图上的对象。其二是测试充分性。覆盖标准的本质是在回答一个问题：测试用例集合到底把程序逻辑"走"到了什么程度。覆盖率定义为已覆盖要素数与全部要素数之比，例如语句覆盖率就是被执行过的语句占全部语句的比例。
控制流图上与逻辑覆盖直接相关的要素共有四类。第一类是语句，对应图中的节点，语句覆盖关心每个节点是否至少被执行一次。第二类是判定，又称分支，对应图中的分支节点，也就是 if 语句、while 语句、case 语句等产生控制转移的位置，判定覆盖关心每个判定的真分支与假分支是否都被执行过。第三类是条件，指的是构成判定的原子条件表达式，例如判定"a大于1并且b等于0"中，"a大于1"与"b等于0"各是一个条件，条件覆盖关心每个条件的真值与假值是否都出现过。第四类是路径，指程序从入口到出口沿控制流图走过的一条完整轨迹，路径覆盖关心每条可能的执行路径是否都至少走过一次。语句、判定、条件、路径四种要素从局部到全局、从微观到宏观，构成了逻辑覆盖标准族的度量对象体系。
必须澄清一个概念边界：逻辑覆盖是充分性度量，不是正确性证明。达到百分之百的语句覆盖，只能说明程序中没有从未执行过的语句，绝不意味着程序行为正确。覆盖率的提高，增大的是发现错误的概率，而不是消除错误的保证。英国计算机科学家迪杰斯特拉那句广为流传的论断——测试只能证明错误存在，不能证明错误不存在——在逻辑覆盖语境下同样成立。理解这一点，才能正确看待各覆盖标准之间的"强弱"关系：所谓覆盖强度高，指的是该标准对测试用例的要求更苛刻、能够覆盖到的程序行为更全面，相应地发现错误的能力更强，而不是说通过了该标准程序就一定没有缺陷。
逻辑覆盖六大标准的强度排序，并非人为规定，而是由控制流图的结构性质决定的。要真正掌握这组排序，必须回到程序逻辑的本质去理解。
程序中的错误分为两类来源。一类潜伏在语句内部，例如某条赋值语句的表达式写错；另一类潜伏在控制逻辑中，例如分支条件写反、边界条件漏判。语句覆盖只保证每条语句被触达一次，对于控制逻辑类的错误，它的检测能力极其有限。考察一个典型的判定结构：某程序包含判定"x大于0"，当 x 大于 0 时执行分支 A，否则执行分支 B。如果测试用例只有 x 等于 1 一组，语句覆盖的执行结果取决于分支 A 与分支 B 是否都含有被执行的语句——即便覆盖率达到百分百，判定为假的那一侧逻辑仍然从未被验证。这正是语句覆盖被称为"最弱覆盖标准"的根本原因：它度量的是代码的触达，而不是逻辑的真伪。
判定覆盖把验证粒度从语句提升到了分支，要求每个判定的真、假两种走向都至少执行一次。这一标准抓住了程序错误最主要的聚集区——分支走向，因此其错误发现能力明显强于语句覆盖。但判定覆盖仍有盲区：一个由多个条件复合而成的判定，例如"a大于1并且b等于0"，只要整个判定的真与假各出现一次即可，至于假这个结果是"a大于1为假"造成的还是"b等于0为假"造成的，判定覆盖并不区分。如果程序错误恰恰藏在某个单独条件的取值组合里，判定覆盖就可能漏检。
条件覆盖于是把粒度再细化一层，要求判定中的每个条件都取过真值和假值。这一标准的逻辑出发点是：复合判定的错误往往由单个条件判断错误引起，逐条件验证能更精准地定位缺陷。但条件覆盖存在一个著名的理论缺口——它不保证判定覆盖。举例而言，对判定"a大于1并且b等于0"设计两组用例：第一组 a 大于 1 成立、b 等于 0 不成立，第二组 a 大于 1 不成立、b 等于 0 成立。此时 a 与 b 两个条件各自的真值和假值都出现过了，条件覆盖达标，但整个判定两次取值都为假，判定的真分支从未执行，判定覆盖反而不满足。这个反例说明条件覆盖与判定覆盖是互不包含的关系，也成为软考命题的经典素材。
顺着细化的方向继续推进，就得到判定/条件覆盖与条件组合覆盖。判定/条件覆盖把前两者的要求叠加，既要求每个判定取真取假，又要求每个条件取真取假，克服了各自顾此失彼的问题，但它仍然没有考虑条件之间的组合关系。条件组合覆盖则要求判定中所有条件取值的全部组合至少各出现一次：含有 n 个条件的判定需要覆盖 2 的 n 次方种组合，组合数随条件个数指数增长，测试成本急剧上升。工程实践中，航空电子软件适航标准 DO-178B 提出的修正条件判定覆盖，即 MC/DC，正是条件组合覆盖的工程化折中：它只要求每个条件能够独立地影响判定结果，其余条件保持不变，从而把用例数从指数级压降到近似线性级。MC/DC 近年已进入软考信息安全工程师与系统架构设计师的考查范围，值得考生留意。
路径覆盖则沿着另一个方向——程序执行轨迹的全局视角——追求充分性，要求覆盖程序中每一条从入口到出口的可能路径。路径覆盖的强度在逻辑覆盖标准族中最高，原因在于它把判定、条件、组合的所有维度都纳入考察：一条路径的差异可能来自任何一个判定的任何一次走向。但路径覆盖面临不可实现性困境：一旦程序含有循环，循环次数的不同取值就会产生无穷多条路径，百分之百路径覆盖在数学上不可达。工程上以基本路径测试作为近似替代，用控制流图的圈复杂度界定独立路径的条数，按此设计用例即可覆盖所有线性无关路径。
语句覆盖是最基础的覆盖标准，定义为设计足够多的测试用例，使程序中每条可执行语句至少被执行一次。其用例设计方法直白：对照控制流图逐条语句核对，确保没有语句处于"从未执行"状态。语句覆盖的优点是标准简单、度量直观、工具实现成本低，覆盖率统计可以直接由插桩工具自动完成，适合作为组织内测试质量的最低门槛；缺点是错误发现能力最弱，因为只检查语句触达而不检查逻辑走向。在考试语境中，语句覆盖的典型标签就是"最弱的错误发现能力"，与之配对出现的还有"判定覆盖错误发现能力较强"等对比性表述。
判定覆盖又称分支覆盖，两个称谓在软考中同义，考生须牢记二者等价，命题人常借"分支覆盖"这个别名设置干扰项。判定覆盖要求设计足够多的测试用例，使程序中每个判定的真分支和假分支都至少执行一次。从包含关系看，判定覆盖严格强于语句覆盖：只要每个判定的两个走向都被执行，所有语句必然都被触达。这一包含关系是判断覆盖强度排序的第一个锚点。判定覆盖的用例设计要点在于穷举判定节点的走向组合，对含 k 个独立判定的程序，理论上两条用例即可覆盖两分支判定，但多个判定的走向组合仍需统筹。
条件覆盖的考察对象是判定中的原子条件。设计用例时，先枚举程序中每个判定的全部条件，再为每个条件安排真、假两种取值各出现一次。条件覆盖的价值在于能发现复合条件内部单个条件的取值错误，例如"小于等于"误写为"小于"这类边界笔误，往往只有逐条件取真取假才能暴露。但其致命弱点正如前文反例所示：条件覆盖与判定覆盖互不包含。这意味着仅满足条件覆盖的测试集可能漏掉整条分支，命题人常利用这一反直觉性质设置陷阱题。
判定/条件覆盖试图兼取两者之长，要求设计足够多的测试用例，使得判定中每个条件取到各种可能的值，同时每个判定也取到各
本篇完！