白盒测试之修正判定条件覆盖测试（MCDC测试）

已于 2022-09-13 15:27:04 修改
阅读量8.7k 收藏 15
点赞数 4
分类专栏： 软件测试方法 文章标签： 测试用例 测试覆盖率 软件测试
于 2021-12-06 11:02:32 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/bufushutaoqibao/article/details/121741883
版权
本文介绍了修正条件/判定覆盖（MCDC测试）的概念，通过一个需求示例展示了如何进行测试用例分析设计，并详细解释了如何满足MCDC覆盖条件。在测试用例脚本部分，提供了实现MCDC覆盖的实例，最后总结了MCDC测试的特点，强调测试用例通常成对出现，至少需要N+1个测试用例来覆盖含有N个条件的判定。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

修正条件/判定覆盖（MC/DC）测试

概念

修正条件/判定覆盖是对于每一个条件C，要求存在并符合以下条件：
1）条件C所在判定内的所有条件，除条件C外，其他条件的取值完全相同；
2）条件C的取值相反；
3）判定的计算结果相反。
通俗的讲就是：条件C可以独立影响判定结果。

需求示例

程序源代码如下：

int funmcdc(bool A, bool B, bool C
了解本专栏 订阅专栏 解锁全文 超级会员免费看
软件测试理论介绍：一文讲清白盒测试中的那些代码覆盖率：语句、判定、条件、MCDC等
文章主要涉及嵌入式软件开发、测试、项目管理等，欢迎交流，共同进步。
07-13 4179
白盒测试中的代码覆盖率是用来度量测试完整性的一种指标。它基于程序的内部结构，关注程序内部的逻辑路径和代码执行情况，是评价软件测试质量的重要手段之一。常用的白盒测试覆盖率主要包括以下几种类型：语句覆盖、判定（分支）覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖、修正条件判定覆盖（MCDC）等。代码覆盖率作为白盒测试中的一个关键指标，能够帮助开发人员和测试人员了解测试的覆盖面和测试的质量，并为进一步的测试提供指导。
白盒测试的3种主要方法(cont.)
行步至春深
11-05 4689
包括：逻辑覆盖，基本路径，循环路径覆盖。
MCDC测试
qq_67006794的博客
03-25 380
1)条件C所在判定内的所有条件，除条件C外，其他条件的取值完全相同，通俗的讲就是:条件C可以独立影响判定结果。3)判定的计算结果相反。2)条件C的取值相反;
软件测试实验三 修正条件/判定覆盖测试设计
qq_48116514的博客
06-28 4187
软件测试实验三 修正条件/判定覆盖测试设计
修正条件判定覆盖
FD2580的博客
07-12 1881
修正条件/判定覆盖 MC/DC--Modified Condition/Decision Coverage：锁定其他的条件不变，改变一项条件，必引起整个表达式变化． 【例】IF（A||B||C）THEN W=W/X 锁定AB的值不变(FF_) 改变C条件的值 {FFT,FFF} 锁定AC的值不变(F_F) 改变B条件的值 {FTF,FFF} 锁定BC的值不变(_FF) 改变A条件的值 {TFF,FFF} ...
MCDC — 修正判定条件覆盖
热门推荐
digiproto2020的博客
04-16 1万+
什么是MCDC？ 答：修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变。 什么是条件？ 答：不包含布尔运算符的布尔表达式 什么是判定？ 答：由条件和零个或多个布尔运算符组成的布尔表达式。没有布尔运算符的判定是条件。 如果一个条件在一个判定中出现不止一次，则每次出现都是一个不同的条件。 MCDC示例 A || (B &
白盒测试-修正条件判定覆盖
weixin_38383877的博客
08-18 4384
当程序中的判定语句包含多个条件时，运用多条件覆盖方法进行测试，其条件取值组合数目是非常大的。 修正条件判定覆盖要求在一个程序中每一种输入输出至少得出现一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变。（条件：不含有布尔操作符号的布尔表达式。判定：由条件和零或者很多布尔操作符号所组成的一个布尔表达式） 即修正条件判定覆盖首先要求实现条件覆盖、判定覆盖，在此基础上，对于每一个
白盒测试MCDC
weixin_51824280的博客
12-10 822
白盒测试MC/DC（修正条件/判定覆盖）
白盒测试中的代码覆盖率简介
软件测试人Tao的博客
11-08 1万+
白盒测试（也称为透明盒测试、结构化测试等）是指对源代码的内部结构和内部行为进行测试。在白盒测试中，主要使用内部视角以及编程技术来设计测试用例。测试人员通过选择不同的输入，来测试不同的路径。 白盒测试可以在测试的多个阶段进行，例如：单元测试，集成测试和系统测试。在单元测试阶段，白盒测试可以对单元内部路径进行覆盖。在集成测试阶段，白盒测试可以对单元之间的路径进行覆盖。在系统测试阶段，白盒测试可以对子
测试技术-白盒测试技术
weixin_42685900的博客
09-11 1178
** 白盒测试技术 ** 1.概述 白盒测试叶城结构测试或者逻辑驱动测试，他按照程序内部结构的测试程序，通过测验来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作，他关注的是软件内部逻辑结构。 2.白盒测试方法 白盒测试常用方法主要有：代码检查法、静态结构分析法、逻辑覆盖法、基本路径测试法、域测试法、符号测试法、数据流测试法、Z路径覆盖法、变异测...
修正的判定条件覆盖例题_语句覆盖、判断覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修正条件覆盖...
weixin_42165973的博客
02-11 3098
'''int function(bool a,bool b,bool c){int x;x=0;if(a&&(b||c)){x=1;return x;}}'''1、语句覆盖(SC)选择足够多的测试数据，使得被测程序中的每条语句至少执行一次。测试用例：a=T,b=T,c=T2、判断覆盖(DC)设计足够的测试用例，使得程序中的每个判定至少都获得一次真值或假值。或者使得程序中的每...
修正的判定条件覆盖例题_硬核：嵌入式代码覆盖率统计方法和经验
weixin_31211457的博客
01-06 1346
代码覆盖率是衡量软件测试完成情况的指标，通常基于测试过程中已检查的程序源代码比例计算得出。代码覆盖率可以有效避免包含未测试代码的程序被发布。1. 问题背景代码覆盖(Code coverage)是软件测试中的一种度量，描述程式中源代码被测试的比例和程度，所得比例称为代码覆盖率。在进行代码测试时，常常使用代码覆盖率作为考核测试任务完整性的指标，并且代码覆盖率也被拿来作为衡量代码质量的度量，甚...
转贴一篇经典文章--条件判定覆盖和修正条件判定覆盖的差异
第4代白盒测试方法
03-13 6330
1 简介文章的目的在于通过比较发现条件判定覆盖(即Condition/Decision Coverage C/DC)和修正条件判定覆盖(Modified Condition/Decision Coverage即MC/DC)的差异．软件测试是一项大型的软件工程中必不可少且非常重要的一部分，软件测试使用两种测试方法：静态测试和动态测试．静态测试是指不用执行程序的测试，它主要采取方案——代码走查、技
MCDC覆盖及测试系统
m0_67663465的博客
07-10 1722
本项目为编写一套 代码MCDC覆盖测试及分析系统，支持Java,Python以及C语言，会对待测代码依次进行 解析代码→生成决策树→代码插桩→生成测试用例→测试用例参数化→执行测试用例→输出MCDC覆盖率结果的操作。项目源代码：https://github.com/wenzuowei333/MCDC_coverage_analysis_system。
MCDC修正判定条件覆盖
最新发布
qq_34459334的博客
07-15 481
MCDC
修正的判定/条件覆盖的方法一个例子
斌斌的博客
11-29 4867
给定以下代码，请以判定表达式为测试重点，选择合适的覆盖指标设计测试用例。 bool TestLogicCoverage(bool a, bool b, bool c) { 1 bool x = false; 2 if( (a||b) && c) 3 x = true; 4 else 5 x = false; 6 return x; } 参考答案如下： ...
软件测试：CDC和MCDC
weixin_45695686的博客
07-01 3217
**MC/DC:**修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变。 **条件:**不包含布尔运算符的布尔表达式 **判定:**由条件和零个或多个布尔运算符组成的布尔表达式。没有布尔运算符的判定是条件。 如果一个条件在一个判定中出现不止一次，则每次出现都是一个不同的条件。 实际演示： 1:对于(A&&amp
白盒测试：判定/条件覆盖深度解析
逻辑覆盖是白盒测试中常用的技术之一，包括语句覆盖、判定覆盖、条件覆盖、条件组合覆盖和判定/条件覆盖等。其中，语句覆盖是最基本的，要求每个程序语句至少执行一次；判定覆盖关注于每个判断（如IF语句）的真假...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

One_Tester0101

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值