Selenium 学习(0.17)——软件测试之测试用例设计方法——白盒测试——逻辑覆盖法(条件覆盖和条件判定覆盖)

条件覆盖

设计测试用例,使每个判断中每个条件的可能取值至少满足一次。

条件判定覆盖

通过设计足够的测试用例,满足如下条件:

所有条件的可能至少执行一次的取值

所有判断的可能结果至少执行一次

条件判定覆盖同时满足判定覆盖和条件覆盖

案例描述

Java 代码段如下所示,请使用白盒测试的、辑覆盖方法为其设计测试用例。

if 〈 a > 1 b = 0 ){

x = x/a

};

if(a == 2 || x > 1) {

x = x + 1

};

两个判定中有四个条件,每个条件均可取真假两种值:

若要实现条件覆盖,应使以下 8 种结果成立:

a > 1 a <= 1 b == 0 b != 0 【在P1点出现】

a ==2 a != 2 x > 1 x <= 1 【在P3点出现】

为了覆盖以上 8 种可能,可设计如下两组测试用例:实现了条件覆盖,也实现了判定覆盖。

这不是绝对的,在某种条件下,可能出现实现了条件覆盖而未实现判定覆盖的情形。

这两组测试用例均使流程图中的第二个判定取值为真,而未覆盖到第二个判定取值为假的情况,没有实现了判定覆盖。

条件覆盖比判定覆盖增加了综合判定的测试,增加了测试路径,要达到条件覆盖要足够多的测试用例。但条件覆盖并不保证判定覆盖,条件覆盖只能保证每个条件至少有一次为真,而不考虑所有的判定结果。

既然条件覆盖也不一定包含判定覆盖,就自然会提出一种能同时满足两种覆盖标准的逻辑覆盖。这就是条件判定覆盖,条件判定覆盖测试用例如下所示:

两种测试用例就是先前为实现条件覆盖而设计的第一种测试用例,他同时满足了判定覆盖准则和条件覆盖准则,弥补了两者的不足。

=========================================================================

有点乱有点乱,回头再来消化一遍罢!

相关推荐
李小星同志1 分钟前
VID2WORLD: CRAFTING VIDEO DIFFUSION MODELSTO INTERACTIVE WORLD MODELS论文学习
学习
laplace012336 分钟前
Claude Code 逆向工程报告 笔记(学习记录)
数据库·人工智能·笔记·学习·agent·rag
lingggggaaaa40 分钟前
安全工具篇&Go魔改二开&Fscan扫描&FRP代理&特征消除&新增扩展&打乱HASH
学习·安全·web安全·网络安全·golang·哈希算法
Daydream.V1 小时前
网页学习——HTML
学习
张永清-老清2 小时前
每周读书与学习->JMeter性能测试脚本编写实战(四)-利用JMeter对MySQL数据库查询进行性能测试
学习·jmeter·性能调优·jmeter性能测试·性能分析·每周读书与学习
InterestOriented2 小时前
中老年线上学习发展:兴趣岛“内容+服务+空间”融合赋能下的体验升级
人工智能·学习
宇钶宇夕2 小时前
CoDeSys入门实战一起学习(二十八):(ST)三台电机顺起逆停程序详解
运维·学习·自动化·软件工程
£漫步 云端彡2 小时前
Golang学习历程【第十篇 方法(method)与接收者】
开发语言·学习·golang
im_AMBER2 小时前
Leetcode 111 两数相加
javascript·笔记·学习·算法·leetcode
四谎真好看3 小时前
JavaWeb学习笔记(Day12)
笔记·学习·学习笔记·javaweb