仔细阅读以下有关修正的条件判定覆盖(MC/DC)和条件判定覆盖(C/DC)的叙述，回答①～④问题。由于被测件是关键级软件，按有关规定，被测件的测试必须达到MC/DC。MC/DC要求测试集满足①条件；C/DC要求测试集满足②条件。下图所示的例子中给出了两个判定条件的例子，则满足MC/DC要求的测试集是{③}，满足C/DC要求的测试集是{④}。

题目

仔细阅读以下有关修正的条件判定覆盖(MC/DC)和条件判定覆盖(C/DC)的叙述，回答①～④问题。

由于被测件是关键级软件，按有关规定，被测件的测试必须达到MC/DC。MC/DC要求测试集满足①条件；C/DC要求测试集满足②条件。下图所示的例子中给出了两个判定条件的例子，则满足MC/DC要求的测试集是{③}，满足C/DC要求的测试集是{④}。

相似考题

1.关于白盒测试的测试用例设计方法叙述，正确的是(55)。A．完成SC(语句判定)所需的测试用例数目一定多于完成DC(逻辑判定)所需的测试用例数目B．达到100%CC(条件判定)要求就一定能够满足100%SC的要求C．达到100%CDC(条件判定组合覆盖)要求就一定能够满足100%CC的要求D．任何情况下，都可以达到100%路径覆盖的要求

2.阅读以下关于软件测试的说明，回答司题l至问题3，将解答填入答题纸的对应栏内。【说明】使用在汽车、飞机中的嵌入式软件， 日于直接影响人的生命及财产安全，测试要求更为严格。语句覆盖、判定覆盖、条件覆盖和MC/DC覆盖是通常对这类软件的要求。以下是一段C语言代码，请仔细阅读并回答相关问题：【问题1】（6分）请根据测试要求，简要说明语句覆盖、判定覆盖、条件覆盖和MC/DC覆盖的含义。将答案填写在答题纸的对应栏中。【问题2】（5分）画出以上代码的流程图，将答案填写在答题纸的对应栏中。【问题3】（4分）请根据【说明】中的C语言代码，计算满足MC/DC覆盖要求的用例数量及条件取值范围，将答案填写在答题纸的对应栏中．

3.【问题2】（7分）仔细阅读以下有关修正的条件判定覆盖(MC/DC）和条件判定覆盖（C/DC）的叙述，回答①~④问题，并将其填入答题纸的对应栏内。由于被测件是关键级软件，按有关规定，被测件的测试必须达到MC/DC。MC/DC要求测试集满足 ① 条件；C/DC要求测试集满足 ② 条件。图3-1的例子中给出了两个判定条件的例子，则满足MC/DC要求的测试集是｛ ③ ｝，满足C/DC要求的测试集是｛ ④ ｝。

4.【问题1】 （4分）请给出满足100%DC（判定覆盖）所需的逻辑条件。

参考答案和解析
正确答案：①首先应满足C/DC的测试条件；判定中每个条件的取值都必须独立地影响判定的结果即在其他条件取值不变的前提下仅改变这个条件的值而使判定结果改变。 ②判定中每个条件的真值与假值都至少取一次；同时判定的真值与假值也要求至少取一次。 ③FFTFFT ④TTFF
①首先应满足C/DC的测试条件；判定中每个条件的取值都必须独立地影响判定的结果，即在其他条件取值不变的前提下，仅改变这个条件的值，而使判定结果改变。 ②判定中每个条件的真值与假值都至少取一次；同时判定的真值与假值也要求至少取一次。 ③FF，TF，FT ④TT，FF 解析：根据宇航系统的软件安全性考虑要求，宇航系统将根据设备对飞行器安全性影响危害程度将软件分为5级(A～E)，其中A级软件是关键软件，在软件测试中必须达到 100%修正的条件判定覆盖(MC/DC)和条件判定覆盖(C/DC)。这里主要考查考生是否理解这两种测试要求的具体含义。
MC/DC要求测试集条件是：首先应满足C/DC的测试条件；判定中每个条件的取值都必须独立地影响判定的结果，即在其他条件取值不变的前提下，仅改变这个条件的值，而使判定结果改变。因此，对所列的A、B两个条件变量，{PF，TF，FT}集合就满足了MC/DC要求。
C/DC要求测试集条件是：判定中每个条件的真值与假值都至少取一次；同时判定的真值与假值也要求至少取一次。因此，对所列的A、B两个条件变量，{TT，FP}集合就满足了C/DC要求。
更多“ 仔细阅读以下有关修正的条件判定覆盖(MC/DC)和条件判定覆盖(C/DC)的叙述，回答①～④问题。由于被测件是关键级软件，按有关规定，被测件的测试必须达到MC/DC。MC/DC要求测试集满足①条件；C/DC要求测”相关问题

  • 第1题：

    由于该软件是质量要求很高的航空嵌入式实时软件，在甲乙双方就签订该软件第三方测试技术协议进行磋商时，甲方要求乙方的第三方测试结构覆盖率必须达到修正的条件判定覆盖(MC/DC)。请分别简述修正的条件判定覆盖MC/DC与条件判定覆盖(C/DC)对测试用例集的要求条件，下面给出了一个含有两个判定条件的例子，请说明两种覆盖测试用例集的设计方法。

    例子：

    IF A OR B THEN

    …

    …

    ELSE

    …

    …

    ENDIF


    正确答案：(1)对于C/DC要求测试集满足如下条件：判定中每个条件的真值与假值都至少取一次：同时判定的真值与假值也要求至少取一次。 (2)对MC/DC要求测试集满足如下条件： 首先应满足C/DC的测试条件。 判定中每个条件的取值都必须独立地影响判定的结果即在其他条件取值不变的前提下仅改变这个条件的值而使判定结果改变。 (3)两个判定例子的C/DC测试集设计方法。 满足C/DC要求的测试用例集是{TTFF}。 说明：因为该测试用例集中条件A与B分别取了T与F判定A OR B也取了 T值(当A=TB=T时)和F值(当A=FB=F时)。 (4)两个判定例子的MC/DC测试集设计方法。 满足MC/DC要求的测试用例集是{FFTFFT}。 说明：C/DC要求的测试用例集是{TTFF}无法满足MC/DC的要求条件A与B均没有独立地影响判定的输出结果。
    (1)对于C/DC，要求测试集满足如下条件：判定中每个条件的真值与假值都至少取一次：同时判定的真值与假值也要求至少取一次。 (2)对MC/DC，要求测试集满足如下条件： 首先应满足C/DC的测试条件。 判定中每个条件的取值都必须独立地影响判定的结果，即在其他条件取值不变的前提下，仅改变这个条件的值，而使判定结果改变。 (3)两个判定例子的C/DC测试集设计方法。 满足C/DC要求的测试用例集是{TT，FF}。 说明：因为该测试用例集中，条件A与B分别取了T与F，判定A OR B，也取了 T值(当A=T，B=T时)和F值(当A=F，B=F时)。 (4)两个判定例子的MC/DC测试集设计方法。 满足MC/DC要求的测试用例集是{FF，TF，FT}。 说明：C/DC要求的测试用例集是{TT，FF}无法满足MC/DC的要求，条件A与B均没有独立地影响判定的输出结果。

  • 第2题：

    逻辑覆盖标准包括（ ）？①分支覆盖②语句覆盖③条件覆盖④MC/DC覆盖

    A.①②③
    B.①②④
    C.①③④
    D.①②③④

    答案：D
    解析：
    本题考查白盒测试逻辑覆盖的基础知识。逻辑覆盖标准包括语句覆盖、判定覆盖（又称为分支覆盖）、条件覆盖、条件判定覆盖、修正条件判定覆盖（MC/DC覆盖）、条件组合覆盖和路径覆盖等。

  • 第3题：

    3、整理满足100%DC（判定覆盖）所需的逻辑条件。


    【问题1】 （4分）

  • 第4题：

    ● 关于白盒测试的测试用例设计方法叙述，正确的是（55） 。

    （55）

    A．完成SC（语句判定）所需的测试用例数目一定多于完成DC（逻辑判定）所需的测试用例数目

    B．达到100％CC（条件判定）要求就一定能够满足100％SC的要求

    C．达到 100％CDC（条件判定组合覆盖）要求就一定能够满足 100％CC的要求

    D．任何情况下，都可以达到100％路径覆盖的要求


    正确答案：C

  • 第5题：

    关于白盒测试的测试用例设计方法叙述，正确的是（ ）。

    A.完成SC（语句判定）所需的测试用例数目一定多于完成DC（逻辑判定）所需的测试用例数目
    B.达到100%CC（条件判定）要求就一定能够满足100%SC的要求
    C.达到100%CDC（条件判定组合覆盖）要求就一定能够满足100%CC的要求
    D.任何情况下，都可以达到100%路径覆盖的要求

    答案：C
    解析：
    本题考查白盒测试用例设计方法中各覆盖法的概念。CDC要同时满足DC和CC，因此达到100%CDC（条件判定组合覆盖）要求就一定能够满足100%CC的要求。

相关内容