第一题：
设计测试用例实现语句覆盖,判定覆盖,条件覆盖，判定/条件覆盖,条件组合覆盖,路径覆盖.
【1】语句覆盖（设计若干个测试用例，使程序中的每个可执行语句至少执行一次）
（x>3）&&（z<10）为真记为T1，为假记为F1
（x==4）||（y>5）为真记为T2，为假记为F2
| 序号 | 状态 | 条件 | X | Z | Y | 路径 |
| 1 | T1T2 | （x>3）（z<10）（x==4）(y>5） | 4 | 5 | 6 | abd |
【2】判定覆盖（设计足够多的测试用例，使程序中的每个判定都至少获得“真值”和“假值”）
（x>3）&&（z<10）为真记为T1，为假记为F1
（x==4）||（y>5）为真记为T2，为假记为F2
根据判定覆盖的定义，应使两个判定都至少获得“真值”和“假值”。即（x>3）&&（z<10）和（x==4）||（y>5）都至少获得“真值”和“假值”
| 序号 | 状态 | 条件 | X | Z | Y | 路径 |
| 1 | F1T2 | （x<=3）,（z<10）,( y>5), （x不等于4） | 3 | 5 | 7 | acd |
| 2 | T1F2 | （x>3）,（z<10）,( y<=5), （x不等于4） | 5 | 6 | 4 | abe |
【3】条件覆盖（每一个判定中每个逻辑条件的可能的值至少被满足一次）
（x>3）&&（z<10）
（x>3）记为T1 （x<=3）记为F1
（z<10）记为T2 （z>=10）记为F2
（x==4）||（y>5）
（x==4）记为T3 （x不等于4）记为F3
（y>5）记为T4 ( y<=5)记为F4
| 序号 | 状态 | 条件 | X | Z | Y | 路径 |
| 1 | T1T2T3T4 | （x>3）（z<10）（x==4）(y>5） | 4 | 5 | 6 | abd |
| 2 | F1F2F3F4 | （x<=3）（z>=10）（x不等于4）( y<=5) | 1 | 11 | 4 | ace |
【4】判定条件覆盖（判定中每个条件所有可能至少出现一次，判定本身的判定结果业至少出现一次）
（x>3）&&（z<10）
（x>3）记为T1 （x<=3）记为F1
（z<10）记为T2 （z>=10）记为F2
（x==4）||（y>5）
（x==4）记为T3 （x不等于4）记为F3
（y>5）记为T4 ( y<=5)记为F4
| 序号 | 状态 | 条件 | X | Z | Y | 路径 |
| 1 | T1T2T3T4 | （x>3）（z<10）（x==4）(y>5） | 4 | 5 | 6 | abd |
| 2 | F1F2F3F4 | （x<=3）（z>=10）（x不等于4）( y<=5) | 1 | 11 | 4 | ace |
【5】条件组合覆盖（每个判定中条件的各种可能组合都至少出现一次）
（x>3）&&（z<10）
（x>3）记为T1 （x<=3）记为F1
（z<10）记为T2 （z>=10）记为F2
（x==4）||（y>5）
（x==4）记为T3 （x不等于4）记为F3
（y>5）记为T4 ( y<=5)记为F4
| 序号 | 状态 | 条件 | X | Z | Y | 路径 |
| 1 | T1T2T3T4 | （x>3）（z<10）（x==4）(y>5） | 4 | 5 | 6 | abd |
| 2 | F1T2T3T4 | （x<=3）（z<10）（x==4）(y>5） | - | - | - | - |
| 3 | T1F2T3T4 | （x>3）（z>=10）（x==4）(y>5） | 4 | 6 | 11 | acd |
| 4 | T1T2F3T4 | （x>3）（z<10）（x不等于4）(y>5） | 5 | 8 | 6 | abd |
| 5 | T1T2T3F4 | （x>3）（z<10）（x==4）( y<=5) | 4 | 8 | 4 | abd |
| 6 | T1T2F3F4 | （x>3）（z<10）（x不等于4）( y<=5) | 5 | 8 | 4 | abe |
| 7 | F1F2T3T4 | （x<=3）（z>=10）（x==4）(y>5） | - | - | - | - |
| 8 | F1T2F3T4 | （x<=3）（z<10）（x不等于4）(y>5） | 2 | 8 | 6 | acd |
| 9 | T1F2T3F4 | （x>3）（z>=10）（x==4）( y<=5) | 4 | 11 | 6 | acd |
| 10 | T1F2F3T4 | （x>3）（z>=10）（x不等于4）(y>5） | 5 | 11 | 6 | acd |
| 11 | F1T2T3F4 | （x<=3）（z<10）（x==4）( y<=5) | - | - | - | - |
| 12 | T1F2F3F4 | （x>3）（z>=10）（x不等于4）( y<=5) | 5 | 11 | 4 | ace |
| 13 | F1T2F3F4 | （x<=3）（z<10）（x不等于4）( y<=5) | 2 | 8 | 4 | ace |
| 14 | F1F2T3F4 | （x<=3）（z>=10）（x==4）( y<=5) | - | - | - | - |
| 15 | F1F2F3T4 | （x<=3）（z>=10）（x不等于4）（y>5） | 2 | 11 | 6 | acd |
| 16 | F1F2F3F4 | （x<=3）（z>=10）（x不等于4）( y<=5) | 1 | 11 | 4 | ace |
【6】路径覆盖（每个路径都可能被执行）
（x>3）&&（z<10）
（x>3）记为T1 （x<=3）记为F1
（z<10）记为T2 （z>=10）记为F2
（x==4）||（y>5）
（x==4）记为T3 （x不等于4）记为F3
（y>5）记为T4 ( y<=5)记为F4
| 序号 | 状态 | 条件 | X | Z | Y | 路径 |
| 1 | T1T2T3T4 | （x>3）（z<10）（x==4）(y>5） | 4 | 5 | 6 | abd |
| 2 | F1F2F3F4 | （x<=3）（z>=10）（x不等于4）( y<=5) | 1 | 11 | 4 | ace |
