计算MCDC覆盖率.docVIP

计算MC/DC覆盖率? MC/DC(修订的条件/判定覆盖)(Modified?Condition?Decision Coverage)准则是一种实用的软件结构覆盖率测试准则, 已被广泛地应用于软件验证和测试过程中. 定义 ?要对MC/DC建立一个有力的理解，知道MC/DC DO-178B 的术语描述以及关于条件和结果的描述是很必要的。 条件—一个不包含逻辑算子的布尔表达式 结果—一个由条件和0或者更多的逻辑算子组成的布尔表达式。一个没有逻辑算子的结果就是一个条件。如果一个条件在一个结果中出现多过一次，那么每次出现都是一个独立的条件。 MC/DC 的含义 ?由Chilenski和 Miller开发的MC/DC 准则是为了能在只经过较少的测试就和经过彻底测试的软件相媲美方面获得一定的信心。既是，MC/DC　是想高度自信的来保证基于需求的测试已经证明源码里的每一个结果里的每一个条件都有其适当的作用。 在DO-178B的内容里，MC/DC起着测量基于需求测试的适当程度的作用，尤其是有关逻辑表达式。由此考虑，MC/DC也常被用作基于需求测试得出口规则（或出口规则的一部分）。RTCA/DO-248A文档 第二年澄清DO-178B的报告“空中系统和设备认证中的软件要求”解释结构覆盖分析的目的如下： 结构覆盖分析的目的　是补足基于需求的测试，如下示： 1. 提供证据说明代码结构已被核实达到了应用软件级别所需求的程度。 2. 提供一个方法来支持无非必须函数的论证。 3. 建立基于需求的测试的健全体制。 有关必须的函数，基于需求的测试（包括普通范围的测试和强健测试）和基于需求测试覆盖分析的结合保证了 测试的严格性和完全性…… ?基本原理是如果基于需求的测试证明了所有必须的函数被适当的执行了，如果结构覆盖分析证明所有存在的代码都是可达成的，并被充分的测试，这两项加起来就为证明没有不必需的函数提供了更多的信心。 MC/DC 基本原理 MC/DC要求一个结果里的每一个条件可以独立产生影响，这使得它区别于其它的结构覆盖方法。根据Chilenski 和Miller的结果,要想使得每一个逻辑条件可以独立地去影响其结果，就需要为每一个逻辑算子明确最小测试目标。在大多数依照MC/DC目标进行测试的案例里，明确和理解某2个逻辑算子的最小测试目标就为整个测试奠定了充分的基础。 ?要理解MC/DC，首先要理解怎样测试一个逻辑与操作符和一个逻辑或操作符。这里，用逻辑操作符来表示逻辑门；并且，“逻辑操作符”和“逻辑门”是可互换的。表一图示了与、或操作符。注意，布尔操作符用粗斜体字符来表示：与，和或；布尔条件由加粗大写字母表示：Ａ，Ｂ，Ｃ……；布尔输出由true 或 false 或 T或 F表示。 表一.基本逻辑门表示 ? 图? 示 真 值 表 ?????????? A??????????Input ? ?????????? C??????? ?Output ? ??????? A ???????????????????? C ??????? B??? ?????????? C =A and B; ?? A? B? C ?? T? T? T ?? T? F? F ?? F? T? F ?? F? F? F ??????? A ??????????????????? ?C ?????? ?B??? ?????????? C =A or B; ?? A? B? C ?? T? T? T ?? T? F? T ?? F? T? T ?? F? F? F ? 接下来的部分将描述一个与门和或门的最小测试准则MC/DC—程序中的每一个出口、入口都被调用至少一次， 程序中一个结果的每一个条件都执行所有可能的输出至少一次，程序中每一个结果执行所有可能的输出至少一次，而且一个结果中的每一个条件被显示出独立地影响着这个结果的输出。通过只改变这一个条件，同时锁定其它所有的条件，一个条件就可以独立的影响一个结果的输出condition 和 decision 的概念: if A or B and C then ?? Statement; else ?? Statement2; A,B,C都是一个条件,而(A or B and C)叫一个Decision,如果是判定覆盖的话只需两个case就能覆盖,就是让这个decision为true和false各一次就能达到即为 0 1 1 ,? 0 1 0 如果是MC/DC的话就得四个case,而且只比条件数目多一个而已,怎么计算的呢? 定义: 在每个判定中的每个条件都曾独立的影响判定的结果至少一次, (独立影响意思是在其他的条件不变的情况下,改变一个条件); 总结一句:每个条件对结果都独立起作用 比如A对结果起作用的话, B 必须为 false, C必