下面是关于嵌入式软件测试方面的叙述,回答问题1和问题2,将解答填入答题纸的对应栏内。 [说明] 甲公司是一个专业的软件测评中心,承担了某机载软件测试任务。王工是该测试任务的负责人。用户指出,被测件是控制飞机飞行的关键软件,其安全性要求很高,必须

admin2010-05-08  31

问题 下面是关于嵌入式软件测试方面的叙述,回答问题1和问题2,将解答填入答题纸的对应栏内。
   [说明]
   甲公司是一个专业的软件测评中心,承担了某机载软件测试任务。王工是该测试任务的负责人。用户指出,被测件是控制飞机飞行的关键软件,其安全性要求很高,必须按有关规定开展测评工作。
仔细阅读以下有关修正的条件判定覆盖(MC/DC)和条件判定覆盖(C/DC)的叙述,回答①~④问题。
   由于被测件是关键级软件,按有关规定,被测件的测试必须达到MC/DC。MC/DC要求测试集满足①条件;C/DC要求测试集满足②条件。下图所示的例子中给出了两个判定条件的例子,则满足MC/DC要求的测试集是{③},满足C/DC要求的测试集是{④}。

选项

答案①首先应满足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要求。
转载请注明原文地址:https://jikaoti.com/ti/HOI7FFFM
0

相关试题推荐
随机试题
最新回复(0)