Consider the following computation problem in two variables

Plus:

Input -20 <= x <= 17, x Z; 10 <= y <= 25, y Z

Output the integer x+y+2

and the following partition of the input domains:

• Ax = {[-20,-1], [0,10], [11,17]} for the variable x
• Ay = {[10,12], [13, 25]} for the variable y

Consider the following test suites:

M:

	x	y	Expected Output
T1	-2	10	10
T2	0	10	12
T3	11	13	26

N:

	x	y	Expected Output
T1	-5	11	8
T2	-5	15	22
T3	15	15	33

O:

	x	y	Expected Output
T1	-5	11	8
T2	5	15	22
T3	15	15	32

P:

	x	y	Expected Output
T1	-5	15	12
T2	5	15	22
T3	15	15	32

For test suite M it holds

1- The test suite is correct.

2- There is a missing class for x.

3- There is a missing class for y.

4- There is a wrongly computed output.

For test suite N it holds

1- The test suite is correct.

2- There is a missing class for x.

3- There is a missing class for y.

4- There is a wrongly computed output.

For test suite O it holds

1- The test suite is correct.

2- There is a missing class for x.

3- There is a missing class for y.

4- There is a wrongly computed output.

For test suite P it holds

1- The test suite is correct.

2- There is a missing class for x.

3- There is a missing class for y.

4- There is a wrongly computed output.