软件测试-白盒测试（笔记）
视频教程：https://www.bilibili.com/video/BV1XJ411Y7UJ?p=1
白盒测试设计方法：
PS：
①满足条件组合覆盖=>满足判定条件覆盖
②满足判定条件覆盖=>满足判断覆盖+满足条件覆盖=满足语句覆盖
③满足判定覆盖=>满足语句覆盖
逻辑覆盖：
语句覆盖：每条语句最少被执行一次
局限性：不能正确地判断运算中的逻辑关系错误
判定覆盖（分支覆盖）：也叫”分支覆盖“，即每个分支（真/假）至少被执行一次
局限性：判定覆盖会忽略条件中取“或”的情况
条件覆盖：判定中的每个条件至少有一次取真值，有一次取假值
局限性：条件覆盖不能保证判定覆盖
判定条件覆盖：同时满足判定覆盖与条件覆盖
局限性：判定覆盖会忽略条件中取“或”的情况
条件组合覆盖：每个条件所有的组合至少执行一次
局限性：不能保证所有路径被执行
路径覆盖：覆盖程序中所有可能的路径，比前五种覆盖面都广
局限性：不保证能满足条件覆盖，也就是不保证条件组合覆盖
基本路径覆盖：根据代码画出程序控制流图→分析程序环路复杂度→导出基本可执行路径集合→设计测试用例
根据代码画出程序控制流图
①根据代码画出程序流程图
②将程序流程图转为程序控制流图（两种图本质是一样的，只不过程序控制流图把判定的菱形框和语句的矩形框换成了圆形而已）
分析程序环路复杂度：用于核对下一步导出的路径数是否正确
环路复杂度"
V(G)"计算方法：改图环路复杂度为“4”①V(G) = E - N + 2；（E为“边”的数量，N为“节点”的数量）
②V(G) = P + 1；（P为判定节点的数量）
导出基本可执行路径集合：把每个节点都至少走到一次即可
设计测试用例
如文章表述有不足之处还请斧正，如果有更好的实现方法请大佬留言一下
本文章为本博客原创，转载请标明来源于本站，谢谢