Inferring – black cat in a dark room Known environment, selected inputs – real time software & simulator
Part III: Execution – Based Verification and Validation Katerina Goseva - Popstojanova Lane Department of Computer Science and Electrical Engineering West Virginia University, Morgantown, WV [email_address] edu www.csee.wvu.edu/~katerina
Changing a requirements document during its first review is inexpensive. It costs more when requirements change after code has been written: the code must be rewritten.
Fixing faults is much cheaper when programmers find their own errors. There is no communication cost. They don’t have to explain an error to anyone else. They don’t have to enter the fault into a fault tracking database. Testers and managers don’t have to review the fault status. The fault does not block or corrupt anyone else’s work.
Fixing a fault before releasing a program is much cheaper than maintenance or the consequences of failure.
Backtracking – effective for small programs; beginning from the site where a symptom has been uncovered, the source code is traced backward (manually) until the site of the cause is found
Cause elimination – a list of all possible causes is developed and tests are conducted to eliminate each; if initial tests indicate that a particular cause shows promise, data are refined in an attempt to isolate the bug
Black box testing , also called functional or specification based testing – test cases are derived from the specification, does not consider software structure
White box testing, also called structural or glass box testing – considers the internal software structure in the derivation of test cases; test adequacy criteria are specified in terms of the coverage (statements, branches, paths, etc.)