【白盒测试的六种覆盖方法】设计测试用例实现语句覆盖,判定覆盖,条件覆盖，判定/条件覆盖,条件组合覆盖,路径覆盖.

已于 2024-01-19 16:31:45 修改
阅读量1.4w 收藏 132
点赞数 17
文章标签： 测试用例 单元测试 junit
于 2023-04-10 11:05:03 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_62632745/article/details/130055371
版权

45e4ffd1c64c4e54a301cc581dde87e7.png

3214a3f9ddc144219da30a9e064ccbf4.png

白盒测试：

        又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。

以下是白盒测试的六种方法：

【1】语句覆盖（设计若干个测试用例，使程序中的每个可执行语句至少执行一次）

【2】判定覆盖（设计足够多的测试用例，使程序中的每个判定都至少获得“真值”和“假值”）

【3】条件覆盖（每一个判定中每个逻辑条件的可能的值至少被满足一次

【4】判定条件覆盖（判定中每个条件所有可能至少出现一次，判定本身的判定结果业至少出现一次）

【5】条件组合覆盖（每个判定中条件的各种可能组合都至少出现一次）

【6】路径覆盖（每个路径都可能被执行）

第一题：

设计测试用例实现语句覆盖,判定覆盖,条件覆盖，判定/条件覆盖,条件组合覆盖,路径覆盖.

【1】语句覆盖（设计若干个测试用例，使程序中的每个可执行语句至少执行一次）

   

（x>3）&&（z<10）为真记为T1，为假记为F1

（x==4）||（y>5）为真记为T2，为假记为F2

序号

状态

条件

X

Z

Y

路径

1

T1T2

（x>3）（z<10）（x==4）(y>5）

4

5

6

abd

【2】判定覆盖（设计足够多的测试用例，使程序中的每个判定都至少获得“真值”和“假值”）

（x>3）&&（z<10）为真记为T1，为假记为F1

（x==4）||（y>5）为真记为T2，为假记为F2

根据判定覆盖的定义，应使两个判定都至少获得“真值”和“假值”。即（x>3）&&（z<10）和（x==4）||（y>5）都至少获得“真值”和“假值”

序号

状态

条件

X

Z

Y

路径

1

F1T2

（x<=3）,（z<10）,( y>5), （x不等于4）

3

5

7

acd

2

T1F2

（x>3）,（z<10）,( y<=5), （x不等于4）

5

6

4

abe

【3】条件覆盖（每一个判定中每个逻辑条件的可能的值至少被满足一次）

（x>3）&&（z<10）

        （x>3）记为T1     （x<=3）记为F1

（z<10）记为T2    （z>=10）记为F2

（x==4）||（y>5）

        （x==4）记为T3   （x不等于4）记为F3

        （y>5）记为T4      ( y<=5)记为F4

序号

状态

条件

X

Z

Y

路径

1

T1T2T3T4

（x>3）（z<10）（x==4）(y>5）

4

5

6

abd

2

F1F2F3F4

（x<=3）（z>=10）（x不等于4）( y<=5)

1

11

4

ace

【4】判定条件覆盖（判定中每个条件所有可能至少出现一次，判定本身的判定结果业至少出现一次）

（x>3）&&（z<10）

        （x>3）记为T1     （x<=3）记为F1

（z<10）记为T2    （z>=10）记为F2

（x==4）||（y>5）

        （x==4）记为T3   （x不等于4）记为F3

        （y>5）记为T4      ( y<=5)记为F4

序号

状态

条件

X

Z

Y

路径

1

T1T2T3T4

（x>3）（z<10）（x==4）(y>5）

4

5

6

abd

2

F1F2F3F4

（x<=3）（z>=10）（x不等于4）( y<=5)

1

11

4

ace

【5】条件组合覆盖（每个判定中条件的各种可能组合都至少出现一次）

（x>3）&&（z<10）

        （x>3）记为T1     （x<=3）记为F1

（z<10）记为T2    （z>=10）记为F2

（x==4）||（y>5）

        （x==4）记为T3   （x不等于4）记为F3

        （y>5）记为T4      ( y<=5)记为F4

序号

状态

条件

X

Z

Y

路径

1

T1T2T3T4

（x>3）（z<10）（x==4）(y>5）

4

5

6

abd

2

F1T2T3T4

（x<=3）（z<10）（x==4）(y>5）

-

-

-

-

3

T1F2T3T4

（x>3）（z>=10）（x==4）(y>5）

4

6

11

acd

4

T1T2F3T4

（x>3）（z<10）（x不等于4）(y>5）

5

8

6

abd

5

T1T2T3F4

（x>3）（z<10）（x==4）( y<=5)

4

8

4

abd

6

T1T2F3F4

（x>3）（z<10）（x不等于4）( y<=5)

5

8

4

abe

7

F1F2T3T4

（x<=3）（z>=10）（x==4）(y>5）

-

-

-

-

8

F1T2F3T4

（x<=3）（z<10）（x不等于4）(y>5）

2

8

6

acd

9

T1F2T3F4

（x>3）（z>=10）（x==4）( y<=5)

4

11

6

acd

10

T1F2F3T4

（x>3）（z>=10）（x不等于4）(y>5）

5

11

6

acd

11

F1T2T3F4

（x<=3）（z<10）（x==4）( y<=5)

-

-

-

-

12

T1F2F3F4

（x>3）（z>=10）（x不等于4）( y<=5)

5

11

4

ace

13

F1T2F3F4

（x<=3）（z<10）（x不等于4）( y<=5)

2

8

4

ace

14

F1F2T3F4

（x<=3）（z>=10）（x==4）( y<=5)

-

-

-

-

15

F1F2F3T4

（x<=3）（z>=10）（x不等于4）（y>5）

2

11

6

acd

16

F1F2F3F4

（x<=3）（z>=10）（x不等于4）( y<=5)

1

11

4

ace

【6】路径覆盖（每个路径都可能被执行）

（x>3）&&（z<10）

        （x>3）记为T1     （x<=3）记为F1

（z<10）记为T2    （z>=10）记为F2

（x==4）||（y>5）

        （x==4）记为T3   （x不等于4）记为F3

        （y>5）记为T4      ( y<=5)记为F4

序号

状态

条件

X

Z

Y

路径

1

T1T2T3T4

（x>3）（z<10）（x==4）(y>5）

4

5

6

abd

2

F1F2F3F4

（x<=3）（z>=10）（x不等于4）( y<=5)

1

11

4

ace

纯爱小师
关注
  • 17
    点赞
  • 踩
  • 132
    收藏
    觉得还不错? 一键收藏
  • 10
    评论
白盒测试六种覆盖方法
06-16
白盒测试--六种覆盖方法:语句覆盖、条件覆盖、判定覆盖、路径覆盖、条件组合覆盖、条件判定覆盖
白盒测试（分别以判定覆盖、条件覆盖、条件组合覆盖设计测试用例）
03-26
本次实验主要是用逻辑覆盖法和基路径测试法对程序进行测试验证，运行程序测试之前按照老师课上讲的思路先将各种测试方法的测试用例以及预期结果写了下来，然后对其进行上机测试，得出真实结果与预期结果进行对比。个人觉得基路径测试法的结果更加完善。
白盒测试六中方法
Dream_Heart的博客
02-28 926
白盒测试六中方法 测试强度由低到高：语句覆盖、分支覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。
请写出判断三角形的代码-设计用例达到测试效果(语句覆盖-判定覆盖-条件组合覆盖-基本路径测试法).doc
06-04
请写出判断三角形的代码-设计用例达到测试效果(语句覆盖-判定覆盖-条件组合覆盖-基本路径测试法)，基本路径测试法、程序控制流图、环路复杂度、基本路径组合。
白盒测试：语句覆盖、判定覆盖、条件覆盖、条件判定覆盖、条件组合覆盖、路径覆盖
mumiandeci的博客
12-12 3518
①A=0，B=0，C=0 和 A=2，B=2，C=4 和 A=2，B=0，C=0 和 A=0，B=1，C=3（两个判定里面条件的组合可以自由搭配，只要符合逻辑即可，但必须确保每个判定里面的条件所有可能组合都有）①A=2，B=2，C=4 和 A=0，B=0，C=0 和 A=1，B=1，C=1 和 A=0，B=0，C=2（确保每一条可以走通的路径都要被覆盖）②A=0，B=0，C=2（False，True）和 A=1，B=1，C=1（True，False）两个测试用例可以进行语句覆盖的测试。
白盒测试用例设计方法（语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖、基本路径覆盖）
Merkava2020的博客
06-25 2万+
语句覆盖：每条语句至少执行一次。 判定覆盖：每个判定的所有可能结果至少出现一次。（又称“分支覆盖”） 条件覆盖：每个条件的所有可能结果至少执行一次。 判定/条件覆盖：一个判定中的每个条件的所有可能结果至少执行一次，并且每个判断本身的所有可能结果至少执行一次。 多重条件覆盖（组合覆盖）：每个判定中的所有可能的条件结果的组合，以及所有的入口点都至少执行一次。（注意“可能”二字，因为有些组合的情况难以生成。） 完全路径覆盖：每条路径至少执行一次。 基本路径覆盖：根据流图计算环复杂度，得到基本路径覆盖的用例数。 分
白盒测试-六种基本方法
西门又见吹雪
05-22 1万+
一、语句覆盖 使程序中的每个可执行语句都能执行一次的测试用例 二、判断覆盖（分支覆盖） 对于判断语句，在设计用例的时候，要设计判断语句结果为True和False的两种情况 三、条件覆盖 设计用例时针对判断语句里面每个条件表达式true 和 false各取值一次，不考判断语句的计算结果 四、判断条件覆盖（分支条件覆盖） 设计测试用例时，使得判断语句中每个条件表达式的所有可能结果至少出现一次，每个判断语句本身所有可能结果也至少出现一次 五、条件组合覆盖 设计测试用例时，使得每个判断语句中条件结
白盒测试方法｜白盒测试的六种方法比较分析
热门推荐
匿名用户小易
12-20 3万+
白盒测试的六种方法比较分析 一、摘要 白盒测试是测试人员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代码测试用例而走，需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。本文介绍六种白盒测试方法：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。 二、概述 白盒测试也称结构测试或逻辑驱动测试， 它是按照程序内部的结构测试程序，通过测试来...
判定条件覆盖法
m0_66348852的博客
10-18 8892
判定覆盖（分支覆盖）：判定覆盖是指设计若干个测试用例，运行被测程序，使得程序中每个判定本身的判定（真假）分支执行一次，然后，程序中每个判定条件中的逻辑条件至少取一次真值和假值。假如 if(x>0 && y>0) 就要 if表达式的真假值各取一次并且x和y各取一次真值和假值。判定条件覆盖率=被执行的条件表达式（真假）和条件（真假）总数可执行的条件条件表达式（真假）和条件（真假）总数\frac{被执行的条件表达式（真假）和条件（真假）总数}{可执行的条件条件表达式（真假）和条件（真假）总数}
白盒测试
lryain的专栏
07-30 1865
白盒测试的概述　　由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。由于我们经常相信某逻辑路径不可能被执行, 而事实上,它可能在正常的情况下被执行。由于代码中的笔误是随机且无法杜绝的，因此我们要进行白盒测试。　　白盒测试又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里
软件测试笔记（四）：白盒测试
氷泠
04-14 5033
1 白盒测试 白盒测试是对软件的过程性细节做细致的检查，把测试对象看作是一个打开的盒子，允许测试人员利用程序内部的逻辑结构以及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。 白盒测试只测试软件产品的内部结构和处理过程，而不是测试软件产品的功能，可以分为静态和动态两种： 静态白盒测试就是在不执行测试的情况下有条理仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程 动态白盒测试也叫结构化测试，通过查看并使用代码的内部结构，设计和执行
白盒测试及用例设计白盒测试法的覆盖标准
01-05
白盒测试，白盒测试及用例设计，白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖、
软件测试系列–白盒测试覆盖率的问题
02-26
覆盖率是用来度量测试完整性的一个手段，现在有越来越多的测试工具能够支持覆盖率测试，但是它们本身并不包含测试技术，只是测试技术...（5）条件组合覆盖；（6）路径覆盖。1、语句覆盖（StatementCoverage）语句覆盖的
浅析白盒测试中的逻辑覆盖测试
01-27
按照其对测试的有效程度，又将其划分为由弱到强的6种：语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖、路径覆盖。在这里，不深究各个覆盖的优缺点，仅仅根据一个实际例子来看看如何写出6种覆盖的测试...
如何在TestNG中忽略测试用例
C'mon的博客
04-23 718
但是，我们不能只是将@Ignore注释放在包的顶部，如下面的代码所示。在这篇文章中，我们将讨论如何在TestNG中忽略测试用例。TestNG帮助我们忽略使用@Test注释的情况，我们可以在不同的级别上忽略这些情况。因此，如果我们在一个类上放置@Ignore注释，那么该类及其子类中的case将被忽略。所以，现在在这个文件中，我们可以在Test包上写@Ignore，如下所示。注意：@Ignore注释的优先级高于单个@Test方法注释。这里，子类的case没有执行，因为我们在父类上使用了@Ignore注释。
pytest系列——allure之在测试用例添加标题（@allure.title()）
2301_80119579的博客
04-26 516
通过使用装饰器@allure.title可以为测试用例自定义一个更具有阅读性的易读的标题。
上位机图像处理和嵌入式模块部署（树莓派4b用skynet实现进程通信）
嵌入式-老费，一个分享专业嵌入式知识的blog
04-24 597
【 声明：版权所有，欢迎转载，请勿用于商业用途。 联系信箱：feixiaoxing @163.com】 前面我们说过，在工业系统上面一般都是使用多进程来代替多线程。这后面，主要的原因还是基于安全的考虑。毕竟一个系统里面，如果很多的功能都focus在一个进程里面，这本身比较危险。因为这意味着，如果一个线程里面的code不是很健壮，那么整个系统就无法正常运行了。所以大家普遍采用的方法还是多进程。 当然多进程就会涉及到通信的问题。很多同学都会推荐共享内存的方法，其实个人还是
程序包 org.junit 不存在解决方案
董攀的博客
04-26 180
git 拉取其它同事维护的应用，构建报错：项目默认的单元测试类 ExampleUnitTest 涉及到 junit 的类都找不到。查看 build.gradle 配置的依赖项，缺失了 org.junit 的依赖。
junit组件的使用
最新发布
码不停歇的博客
04-26 255
JUnit 是一个广泛使用的 Java 单元测试框架，它帮助开发者编写可重复运行的测试用例来验证代码的正确性。
为以下程序分别使用白盒测试的判定覆盖、条件覆盖、条件组合覆盖设计测试用例。 i
07-18
### 回答1： 白盒测试是一种基于源代码的测试方法，通过分析程序的逻辑结构和内部运行过程来设计测试用例。根据题目要求，下面将针对该程序使用白盒测试的判定覆盖、条件覆盖、条件组合覆盖设计测试用例。 该程序的代码如下： ``` 1. if (x > 0) { 2. if (y > 0) { 3. z = x + y; 4. if (z > 10) { 5. output "z is greater than 10."; 6. } else { 7. output "z is less than or equal to 10."; 8. } 9. } else { 10. output "y is not greater than 0."; 11. } 12.} else { 13. output "x is not greater than 0."; 14.} ``` 1. 判定覆盖：判定覆盖的目的是测试程序中的所有条件判断语句，并覆盖每个条件的两种可能取值。根据代码，需要设计测试用例覆盖以下判定条件： - x > 0 和 x <= 0 - y > 0 和 y <= 0 - z > 10 和 z <= 10 所以，可以设计以下测试用例： - x = 1, y = 1 - x = 1, y = -1 - x = -1, y = 1 2. 条件覆盖：条件覆盖的目的是测试每个条件的取值都覆盖到，并测试每个条件判断的两个分支（true和false）。根据代码，需要设计测试用例覆盖以下条件： - x > 0 - y > 0 - z > 10 所以，可以设计以下测试用例： - x = 1, y = 1 - x = 1, y = -1 - x = -1, y = 1 - x = 0, y = 1 - x = 1, y = 0 3. 条件组合覆盖：条件组合覆盖的目的是测试每个条件的组合情况。根据代码，每个条件的取值有两种可能，因此需要覆盖4种可能的组合情况： - x > 0 & y > 0 - x > 0 & y <= 0 - x <= 0 & y > 0 - x <= 0 & y <= 0 所以，可以设计以下测试用例： - x = 1, y = 1 - x = 1, y = -1 - x = -1, y = 1 - x = -1, y = -1 以上就是针对该程序使用白盒测试的判定覆盖、条件覆盖、条件组合覆盖的测试用例设计。 ### 回答2： 首先，我们需要了解白盒测试的概念。白盒测试是基于代码结构和内部逻辑的测试方法，旨在通过检查程序的内部状态和路径来验证程序的正确性。 1. 判定覆盖测试用例设计： 判定覆盖是一种测试方法，其中测试用例的设计是为了覆盖程序中的所有判定条件。对于给定的程序，我们需要设计测试用例，每个判断条件至少被测试一次。以下是一个示例程序： ```java public boolean isEven(int num) { if (num % 2 == 0) { return true; } else { return false; } } ``` 对于这个程序，我们可以设计以下判定覆盖的测试用例： - 输入一个偶数，预期结果为true。 - 输入一个奇数，预期结果为false。 2. 条件覆盖测试用例设计： 条件覆盖是一种测试方法，其中测试用例的设计是为了覆盖程序中的所有可能的条件组合。对于给定的程序，我们需要设计测试用例，每个条件的每个可能取值至少被测试一次。以下是一个示例程序： ```java public String grade(int score) { if (score >= 90) { return "A"; } else if (score >= 80 && score < 90) { return "B"; } else if (score >= 70 && score < 80) { return "C"; } else { return "D"; } } ``` 对于这个程序，我们可以设计以下条件覆盖的测试用例： - 输入一个大于等于90的分数，预期结果为"A"。 - 输入一个大于等于80但小于90的分数，预期结果为"B"。 - 输入一个大于等于70但小于80的分数，预期结果为"C"。 - 输入一个小于70的分数，预期结果为"D"。 3. 条件组合覆盖测试用例设计： 条件组合覆盖是一种测试方法，其中测试用例的设计是为了覆盖程序中的所有条件组合。对于给定的程序，我们需要设计测试用例，每个条件的每个可能取值的所有组合至少被测试一次。以下是一个示例程序： ```java public boolean isTriangle(int a, int b, int c) { if (a + b > c && b + c > a && a + c > b) { return true; } else { return false; } } ``` 对于这个程序，我们可以设计以下条件组合覆盖的测试用例： - 输入3个大于0的整数，且能构成一个三角形，预期结果为true。 - 输入3个大于0的整数，但不能构成一个三角形，预期结果为false。 这些是针对给定程序使用白盒测试的判定覆盖、条件覆盖和条件组合覆盖的测试用例设计。根据不同的测试目标，我们可以选择适当的覆盖方法来设计测试用例，以确保对程序的各个方面进行有效的测试。 ### 回答3： 请问需要给出具体的程序代码或者程序的功能描述，以便更好地设计相应的测试用例。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 10
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值