第一题：

设计测试用例实现语句覆盖,判定覆盖,条件覆盖，判定/条件覆盖,条件组合覆盖,路径覆盖.

【1】语句覆盖（设计若干个测试用例，使程序中的每个可执行语句至少执行一次）

（x>3）&&（z5）为真记为T2，为假记为F2

序号

状态

条件

X

Z

Y

路径

1

T1T2

（x>3）（z5）

4

5

6

abd

【2】判定覆盖（设计足够多的测试用例，使程序中的每个判定都至少获得“真值”和“假值”）

（x>3）&&（z5）为真记为T2，为假记为F2

根据判定覆盖的定义，应使两个判定都至少获得“真值”和“假值”。即（x>3）&&（z5）都至少获得“真值”和“假值”

序号

状态

条件

X

Z

Y

路径

1

F1T2

（x3）,（z5）记为T4      ( y3）（z5）

4

5

6

abd

2

F1F2F3F4

（x=10）（x不等于4）( y3）&&（z3）记为T1     （x5）

        （x==4）记为T3   （x不等于4）记为F3

        （y>5）记为T4      ( y3）（z5）

4

5

6

abd

2

F1F2F3F4

（x=10）（x不等于4）( y3）&&（z3）记为T1     （x5）

        （x==4）记为T3   （x不等于4）记为F3

        （y>5）记为T4      ( y3）（z5）

4

5

6

abd

2

F1T2T3T4

（x3）（z>=10）（x==4）(y>5）

4

6

11

acd

4

T1T2F3T4

（x>3）（z5）

5

8

6

abd

5

T1T2T3F4

（x>3）（z=10）（x不等于4）(y>5）

5

11

6

acd

11

F1T2T3F4

（x