Testing, Debugging, and Verification - Testing, Part II

Test Cases, more precise
Params,
Input State
Result,
Final State
I: (P, S )
in Method
(R, S )
out
m
Oracle O
More formally...
A test case is a tuple 〈m, I, O〉 of method m, input I, and oracle O,
where
◮ m is the method under test
◮ I is a tuple 〈P, Sin〉
of call parameters P and initial state Sin
◮ O(R, Sout) ↦→ {pass, fail}
is a function on return value R and final state Sout, telling whether
they comply with correct behaviour
TDV: Testing /GU 121130 12 / 28
Yes!
No!