白盒测试方法
1.白盒测试：也称结构测试，透明测试，基于程序本身的测试
白盒测试需要完全了解程序结构和处理过程，按照程序内部逻辑测试程序，检测程序中每条通路是否按照预定要求工作
2.白盒测试方法
语句覆盖
判定覆盖
条件覆盖
判定=条件覆盖
条件组合覆盖
路径覆盖
白盒测试方法的步骤
1.获得需求/算法图
2.画出控制流程图（根据需求画/算法图。弄清预期结果）
3.使用逻辑覆盖法或者路径覆盖法
A语句覆盖法
1.设计若干用例，运行被测程序，保证程序中的每个可执行的语句至少被执行一次
2.如果是顺序结构那么只要从头到尾执行下去即可
3.如果有分支，循环，条件那么需要利用这些方法(分支，循环，条件)执行足够的测试才能覆盖语句
4.覆盖率：被执行的语句数/所有可能的语句数
被执行的路径数/所有可能的路径数
5.语句覆盖可以发现语句错误不能发现逻辑错误，条件错误
B判定覆盖
1.设计若干用例，运行被测程序，保证程序中的每个判定分别取真分支和假分支各一次，判断真假分支是否被满足
2.判定覆盖能发现逻辑错误
3.判定覆盖不能发现组合判断中的条件错误
C条件覆盖
1.设计若干用例，运行被测升序，保证每个判定条件中的原子条件都能各取真假一次
例：有两个判定条件a>0且b>0，a>1或c>1，那么每个判定条件中的原子条件是a>0,b>0,a>1，c>1
即：a>0取真一次,b>0取真一次,a>1取真一次，c>1取真一次
a>0取假,b>0取假,a>1取假，c>1取假
2.不能发现逻辑错误
D判定-条件覆盖
判定-条件覆盖是判定覆盖于条件覆盖方法设计的综合体
E多条件覆盖
1.设计若干用例，执行被测软件，保证每个判定中多有的原子条件所有可能至少执行一次
F路径覆盖
1.设计若干用例，执行被测程序，保证程序中所有路径都执行一边
2.但不切实际，因为涉及到相当长和几乎无穷尽的路径数，在循环中路径可能会相同
|