白盒测试：（结构性测试，逻辑驱动测试）
基于被测程序的源代码，而非基于定义
支持严格定义、数据分析、精确度量
方法：
控制流/路径测试数据流测试其他：程序插装、域测试法、符号测试、Z路径覆盖法、程序变异程序图
有向图
结点：语句片段边：控制流
DD-路径
DD-路径是程序图中的一条链，使得：
情况1：由一个节点组成，内度=0情况2：由一个节点组成，外度=0情况3：由一个节点组成，内度≥2或外度≥2情况4：由一个节点组成，内度=1并且外度=1情况5：长度≥1的最大链
测试覆盖指标
语句覆盖：每个可执行语句至少执行一次
分支覆盖（判定覆盖）：每个判定至少都获得一次“真”值和“假”值.
条件覆盖：每个判定中每个条件的可能值至少满足一次.
条件判定覆盖：每个判定中的每个条件的所有可能(真/假)至少出现一次并且每个判定本身的结果(真/假)也至少出现一次.
条件组合覆盖：每个判定中条件的各种可能组合都至少出现一次，显然满足条件组合覆盖的测试用例一定满足“(判定)分支覆盖”、“分支条件覆盖”和“条件判定覆盖”.
路径覆盖：覆盖程序中所有可能的路径.
如果觉得《软件测试-白盒测试方法》对你有帮助，请点赞、收藏，并留下你的观点哦！
