软件工程判断题较难 ★ 精品

测试覆盖率度量 — 软件工程判断题

软件质量保证质量度量与评估 AI 三重审校通过

题目

某程序中的判定为 D = (A ∨ B) ∧ C，采用短路求值。现仅有两个测试用例：t1 中 A=真、C=真，B 因短路未求值，判定 D=真；t2 中 A=假、B=真、C=假，判定 D=假。判断：该测试集满足修正条件/判定覆盖率（MC/DC）。