白盒测试用例设计方法
白盒设计方法
静态：桌面检查、代码审查、代码走查、代码扫描工具
动态：
逻辑覆盖法：语句覆盖、判断覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖
基本路径测试法
逻辑覆盖法：是通过对程序逻辑结构的遍历实现程序的覆盖
覆盖率：是用来度量测试完整性的一个手段
语句覆盖：设计测试用例，使得程序中每条语句至少被执行一次
例如：
在六种逻辑覆盖标准中，语句覆盖标准最弱。不能准确的判断运算中的逻辑关系错误
判定覆盖：也叫分支覆盖，设计测试用例，使得程序中的每个判断的“真”或“假”都至少被执行一次，即程序中的每个分支至少执行一次
例如：
只要满足了判定覆盖标准就一定满足语句覆盖标准，判定覆盖会忽略条件中取或（or）的情况
条件覆盖：设计测试用例，使得判定中的每个条件至少有一次取真值，有一次取假值
例如：
条件覆盖比判定覆盖，增加了对判定中所有条件的测试，但条件覆盖并不能保证判定覆盖
判定条件覆盖：设计测试用例，使得被测试程序中的每个判断本身的判定结果（真假）至少满足一次，同时，每个逻辑条件的可能值（真假）也至少被满足一次，即同时满足100%判定覆盖和100%条件覆盖的标准
例如：
满足判定-条件覆盖标准一定能满足条件覆盖、判定覆盖和语句覆盖，判定条件覆盖会忽略条件中取或（or）的情况
条件组合覆盖：设计测试用例，使得被测试程序中的每个判定中条件结果的所有可能组合至少被执行一次
例如：
条件组合覆盖能满足判定覆盖、条件覆盖、判定-条件覆盖，也就包括语句覆盖，条件组合覆盖不能保证所有路径被执行
路径覆盖：设计测试用例，覆盖程序中所有可能的路径
例如：
路径覆盖可以对程序进行彻底的测试，比前面五种覆盖面都广，但是满足路径覆盖，并不一定能满足条件覆盖，也就不能满足条件组合覆盖
基本路径测试法：在程序控制流图的基础上，通过分析程序的环复杂性，导出可执行路径集合，从而设计测试用例
总结：
主要应用于单元测试阶段
先静态，后动态
设计用例一般使用基本路径测试，重点模块使用多种覆盖率标准
