覆盖率MCDC的计算.doc

《覆盖率MCDC的计算.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、有两种coverage.一种是对需求的覆盖，一种是对代码的覆盖。对代码的覆盖包括语句覆盖、分支覆盖、条件覆盖、分支条件覆盖、LSACJ覆盖、MC/DC覆盖、路径覆盖等。MC/DC(修订的条件/判定覆盖)(ModifiedConditionDecisionCoverage)准则是一种实用的软件结构覆盖率测试准则,已被广泛地应用于软件验证和测试过程中.修正条件判定覆盖方法要求在一个程序中每一种输入输出至少得出现一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变

2、这个条件的值，而使判定结果改变．condition和decision的概念:ifAorBandCthenStatement;elseStatement2;A,B,C都是一个条件,而(AorBandC)叫一个Decision,如果是判定覆盖的话只需两个case就能覆盖,就是让这个decision为true和false各一次就能达到即为011,010如果是MC/DC的话就得四个case,而且只比条件数目多一个而已,怎么计算的呢?定义:在每个判定中的每个条件都曾独立的影响判定的结果至少一次,(独立影响意思是在其他的条件不变的情况下,改变一个条件);总结一句:每个

3、条件对结果都独立起作用比如A对结果起作用的话,B必须为false,C必须为true--101和001,这样结果就独立受A的值影响.同理如果B对结果独立起作用的话,A必须为false,C必须为true,两种情况B为true,false各一.即为011和001而C独立对结果起作用的话就是让(AorB)为true,为了减少case,上面的case已经含有这样的case了,我们就取A为false,B为true,这样c独体起作用的case为:011和010可以看出每个条件各走了一次true和false,这样三个变量条件就会有六个case,我们看出其中里面还有两个是重

4、复的,起作用Case序号ABC结果A1101120010B3011140010C5011160100case2和case4重复,case3和case5重复,这样去掉两个剩四个case,我们发现我们的判定里面的条件数为N个,那么这个判定就需要N+1个case,不信你试试!