数据结构与算法

白盒测试

逻辑覆盖又可分为以下6种

判定覆盖（分支覆盖）

程序中每个判定至少有一次为真值，有一次为假值,使得程序中每个分支至少执行一次

特点
1、满足判定覆盖的测试用例一定满足语句覆盖
2、对整个判定的最终取值（真或假）进行度量，但判定内部每一个子表达式的取值未被考虑

语句覆盖

程序中每一个语句至少能被执行一次

与判定覆盖关系

参考：https://www.cnblogs.com/snailrunning/p/11019436.html

题目

设计相应的测试用例，确保能够覆盖对应的分支
方法：根据路径来决定输入的值，再写出测试用例
参考：https://blog.csdn.net/zff13673839907/article/details/102161061

参考：https://blog.csdn.net/u010098159/article/details/50961635

控制流图

画出控制流图

如何根据一段代码，画出其控制流程图，流程图

控制流图中的基本元素

节点和边
节点由带标 的圆圈表示比如一个处理框序列和一个条件判定框（假设不包含复合条件）。
控制流线由带箭头的弧或线表示，可称为边。它代表程序中的控制流。
其中，由边和节点围成的面积称为区域。当计算区域数时，应该包括图外部未被围起来的那个区域。
注意：在选择或多分支结构中，分支的汇聚处应有一个汇聚节点。

原文链接：https://blog.csdn.net/xiadanying/article/details/91419065

计算其环路复杂度