某C语言子程序如下。其中x,y是两个已定义的整型变量。表2-4给出了可供选择的4组测试数据组,则实现条件覆盖至少应采用的测试数据组是(31)。
【正确答案】 D
【答案解析】解析:在白盒测试用例设计中,有语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖及路径覆盖等常见的覆盖测试策略,这些策略的相关描述及发现错误的能力如表2-11所示。条件覆盖测试策略的本质是:构造一组测试用例数据,使被测程序中每一个判定语句的每个逻辑条件的可能取值至少满足1次。本试题程序段的程序流程图如图2-14所示。