Consider the following computation problem in two variables

Plus:

Input $-14<=$ x $<=28,$ x in Z; $-10<=$ y $<=32,$ y in Z

Output the integer x$+$y$-7$

and the following partition of the input domains:

Ax $=\{[-14,-1],[0,10],[11,18]\}$ for the variable x

Ay $=\{[-10,12],[13,32]\}$ for the variable y

Consider the following test suite:

S:

Test case

x

y

Expected result

T$1$

$-5$

$5$

$-7$

T$2$

$5$

$5$

$3$

T$3$

$15$

$15$

$23$

Say what holds for S:

Consider the following computation problem in two variables

Plus:

Input $-14<=$ x $<=28,$ x in Z; $-10<=$ y $<=32,$ y in Z

Output the integer x$+$y$-7$

and the following partition of the input domains:

Ax $=\{[-14,-1],[0,10],[11,18]\}$ for the variable x

Ay $=\{[-10,12],[13,32]\}$ for the variable y

Consider the following test suite:

S:

Test case

x

y

Expected result

T$1$

$-5$

$5$

$-7$

T$2$

$5$

$5$

$3$

T$3$

$15$

$15$

$23$

Say what holds for S:

There is a representative for all classes from Ay$.$

For all classes from Ax it holds that they have at most one representative.

It has more test cases than a minimal test suite requires.

All expected results are correct.

There is at least one expected result calculated correctly from the numbers given for x and y$.$

There is a representative for all classes from Ax$.$