什么是条件覆盖？并为以下程序流程图设计条件覆盖测试用例并标明程序执行路径。

解：1）条件覆盖——条件覆盖是指设计足够的测试用例，使程序中每个判定表达式中的每个条件的每种可能值都至少执行一次。 设计如下两组测试用例，可以满足条件覆盖的标准： x=2，y=0，z=3 （覆盖x>1，y=0，x=2，z>1，（T1, T2, T3, T4），通过路径abcde）； x=1，y=1，z=1 （覆盖x≤1，y≠0，x≠2，z≤1，（~T1, ~T2, ~T3, ~T4），通过路径ace）。