采用条件覆盖为下面的程序设计测试用例，要求条件覆盖率达到100%。
已知程序源代码如下：
dim a，b As Integer
dim c As Double
if(a＞0 And b＞0)then c=c/a
endif
if(a＞1 or c＞1)then c=c+1
endif
c=a+b

【参考答案】

根据上述源代码，画出程序流程图如图a，b所示：


其中，图(b)中的条件M={(a＞0 And b＞0)