仔细阅读以下有关修正的条件判定覆盖(MC／DC)和条件判定覆盖(C／DC)的叙述,回答①~④问题。 由于被测

Question

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

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

Answer 1

正确答案：①首先应满足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要求。