为下述程序分别设计语句覆盖测试用例、条件组合覆盖测试用例、以及路径覆盖测试用例。要求写明每个测试用例覆盖的路径、语句或条件组合。int logicExample(int x, int y){ int magic = 0; if(x>0 && y>0){ magic = x + y + 10; } else{ magic = x + y - 10; } if(magic<0){ magic = 0; } return magic; }

语句覆盖测试用例：
- 输入：x=1, y=2
- 覆盖路径：1-2-3-7
- 覆盖语句：int magic = 0;、if(x>0 && y>0)、magic = x + y + 10;、else、magic = x + y - 10;、if(magic<0)、magic = 0;、return magic;

条件组合覆盖测试用例：
- 输入：x=1, y=2
- 覆盖路径：1-2-3-4-7
- 覆盖条件组合：(x>0 && y>0)、(magic<0)

路径覆盖测试用例：
- 输入：x=1, y=2
- 覆盖路径：1-2-3-4-7
- 覆盖语句：int magic = 0;、if(x>0 && y>0)、magic = x + y + 10;、else、magic = x + y - 10;、if(magic<0)、magic = 0;、return magic;

相关问题

语句覆盖测试用例、分支覆盖测试用例、条件覆盖测试用例、判定覆盖测试用例以及路径覆盖测试用例优缺点

语句覆盖测试用例：设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。优点是简单易行，缺点是无法检测出所有的错误。

分支覆盖测试用例：设计若干个测试用例，运行被测程序，使得每个判断的每个取值分支（true or false）至少经历一次。优点是比语句覆盖更强的测试能力，缺点是往往大部分的分支语句是由多个逻辑条件组合而成，若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。

条件覆盖测试用例：设计若干个测试用例，运行被测程序，使得每个判断中的每个条件都取到true和false。优点是比分支覆盖更强的测试能力，缺点是测试用例数量较多。

判定覆盖测试用例：设计若干个测试用例，运行被测程序，使得每个判断的每个取值分支（true or false）至少经历一次。优点是比分支覆盖和条件覆盖更强的测试能力，缺点是仍然存在遗漏部分测试路径的可能。

路径覆盖测试用例：设计若干个测试用例，运行被测程序，使得每个可能的执行路径至少经历一次。优点是最强的测试能力，缺点是测试用例数量非常大。

请设计下列伪码程序的语句覆盖测试用例和路径覆盖测试用例。

伪码程序：

1. read x
2. read y
3. if x > y then
4.    print "x is greater than y"
5. else if y > x then
6.    print "y is greater than x"
7. else
8.    print "x and y are equal"

语句覆盖测试用例：

1. x=5, y=3
2. x=2, y=7
3. x=4, y=4

路径覆盖测试用例：

1. x=5, y=3
2. x=2, y=7
3. x=4, y=4
4. x=3, y=5
5. x=7, y=2