Dependable Software Systems. Topics in Software Testing. Material drawn from [Beizer, Sommerville, Neumann, Mancoridis, Vokolos]. The first “bug”. The first “bug”.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
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 ))