【问题2】(7分) 仔细阅读以下有关修正的条件判定覆盖(MC/DC)和条件判定覆盖(C/DC)的叙述,回答①~④
【问题2】(7分)
仔细阅读以下有关修正的条件判定覆盖(MC/DC)和条件判定覆盖(C/DC)的叙述,回答①~④问题,并将其填入答题纸的对应栏内。
由于被测件是关键级软件,按有关规定,被测件的测试必须达到MC/DC。MC/DC要求测试集满足 ① 条件;C/DC要求测试集满足 ② 条件。图3-1的例子中给出了两个判定条件的例子,则满足MC/DC要求的测试集是{ ③ },满足C/DC要求的测试集是{ ④ }。
①首先应满足C/DC的测试条件(1分);判定中每个条件的取值都必须独立地影响判定的结果,即在其它条件取值不变的前提下,仅改变这个条件的值,而使判定结果改变。(1分)②判定中每个条件的真值与假值都至少取一次(1分);同时判定的真值与假值也要求至少取一次。(1分)③FF,TF,FT(1.5分)④TT,FF(1.5分)
已知两条异面直线BA,DC与两平行平面α,β分别交于B,A和D,C,M,N分别是AB,CD的中点. 数学 2020-04-05 …
1:已知M<3是X方+(M-3)X+(7-M)=0的有两个大于0的实数根的A:充分不必要条件 B: 数学 2020-05-13 …
“m>2”是“方程x^2/(m-2) +y^2/(5-m) =1表示的曲线是椭圆”的()?A 充分 数学 2020-05-16 …
实数m=12是“两条直线(m+2)x+3my+1=0与(m-2)x+(m+2)y=0相互垂直”的( 数学 2020-06-03 …
设f(x)=x^3-27x^2+243x-720,则对任意实数m,n,m+n>=18是f(m)+f 数学 2020-07-19 …
1stOpt能做灵敏度分析吗?y=B*(1-exp(-c*x))^m-D*(1-exp(-k*(( 数学 2020-07-23 …
推断题:现有如下反应(反应条件均不给),推断物质⑴A→B+C+D⑵C+E→C+F+D⑶D+G→H⑷ 化学 2020-07-30 …
设集合I=C={复数}R={实数}M={纯虚数}那么()A.R∪M=CB.R∩M={0} 数学 2020-08-01 …
设M,N为两个随机事件,如果M,N为互斥事件(.M,.N表示M,N的对立事件),那么()A..M∪. 数学 2020-12-01 …
关于化学平衡常数和浓度积的问题化学平衡常数:c^p(C)*c^q(D)/C^m(A)*c^n(B)浓 化学 2021-01-22 …