Dependable Software Systems. Topics in Software Testing. Material drawn from [Beizer, Sommerville, Neumann, Mancoridis, Vokolos]. The first “bug”. The first “bug”.
Material drawn from [Beizer, Sommerville, Neumann, Mancoridis, Vokolos]
Note: all of these steps are subject to mistakes.
In testing we are concerned with outcomes, not just outputs.
Which approach is superior?
procedure Search (Key : INTEGER ; T: array 1..N of INTEGER;
Found : BOOLEAN; L:1..N) ;
-- the array has at least one element
1 <= N
-- the element is found and is referenced by L
( Found and T (L) = Key)
-- the element is not in the array
( not Found and
not (exists i, 1 <= i <= N, T (i) = Key ))