软件工程判断题标准

逻辑覆盖的强弱排序 — 软件工程判断题

软件工程（大学通用）白盒与黑盒测试 AI 三重审校通过

题目

对程序片段：if (x>0 && y>0) { S1; } else { S2; }，取测试集 T = { (x=1, y=1), (x=-1, y=1) }。甲判断：T 满足条件覆盖但不满足判定覆盖；这恰好说明在逻辑覆盖的强弱排序中，条件覆盖强于判定覆盖。判断甲的说法是否正确。