问题 问答题

下面是关于嵌入式软件测试方面的叙述,回答问题1和问题2,将解答填入答题纸的对应栏内。

[说明]

甲公司是一个专业的软件测评中心,承担了某机载软件测试任务。王工是该测试任务的负责人。用户指出,被测件是控制飞机飞行的关键软件,其安全性要求很高,必须按有关规定开展测评工作。

仔细阅读以下有关修正的条件判定覆盖(MC/DC)好条件判定覆盖(C/DC的)叙述,回答①~④问题,并将其填入答题纸的对应栏内。

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

答案

参考答案:

①首先应满足C/DC的测试条件;判定中每个条件的取值都必须独立地影响判定的结果,即在其他条件取值不变的前提下,仅改变这个条件的值,而使判定结果改变。

②判定中每个条件的真值与假值都至少取一次;同时判定的真值与假值也要求至少取一次。

③FF,TF,FT

④TT,FF

 

解析:

[问题2]

根据宇航系统的软件安全性考虑要求,宇航系统将根据设备对飞行器安全性影响危害程度将软件分为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要求。

选择题
问答题