条件覆盖的基本思想是设计若干测试用例，执行被测程序，使得每个判断的每个条件的可能取值至少满足一次。那么对于如下的C语言程序段if（a＞0&&b＞0）c=c/a；iI（a＞1||c＞1）c=c+1；如果采用适用于条件覆盖的两个测试用例，其输入值分别为a=2，b=-1，c=-2和a=-1，b=2，c=3，则以下叙述中正确的是-软件测试工程师-简明问答题库

问题描述：

[单选] 条件覆盖的基本思想是设计若干测试用例，执行被测程序，使得每个判断的每个条件的可能取值至少满足一次。那么对于如下的C语言程序段if（a＞0&&b＞0）c=c/a；iI（a＞1||c＞1）c=c+1；如果采用适用于条件覆盖的两个测试用例，其输入值分别为a=2，b=-1，c=-2和a=-1，b=2，c=3，则以下叙述中正确的是

A．执行测试后，4个条件a＞0，b＞0，a＞1，c＞1的所有取值都至少执行一次 B．执行测试后，除b＞0取真和c＞1取假外其他条件取值都至少执行一次 C．执行测试后，除b＞0取假和c＞1取真外其他条件取值都至少执行一次 D．执行测试后，除b＞0取真和c＞1取真外其他条件取值都至少执行一次