Consider the following computation problem in two variables
Plus:
Input -14 <= x =""><= 28,="">∈ Z; -10 <= y=""><= 32,="">∈ 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
|
T1
|
-5
|
5
|
-7
|
T2
|
5
|
5
|
3
|
T3
|
15
|
15
|
23
|
Say what holds for S:
Consider the following computation problem in two variables
Plus:
Input -14 <= x =""><= 28,="">∈ Z; -10 <= y=""><= 32,="">∈ 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
|
T1
|
-5
|
5
|
-7
|
T2
|
5
|
5
|
3
|
T3
|
15
|
15
|
23
|
Say what holds for S:
a) It has more test cases than a minimal test suite requires.
b) There is a represenatative for all classes from Ax.
c) All classes from Ax have at most one representative.
d) All expected results are correct.
e) There is at least one expected result calculated correctly from the numbers given for x and y.
f) There is a representative for all classes from Ay.