Professional Documents
Culture Documents
Chapter Three - Part II
Chapter Three - Part II
Chapter Three - Part II
• Conditional
• Iteration
• Each clear-box specification represents the design of a procedure
(subfunction) required to accomplish a state-box transition.
• Since the conditional test (y+1)2 ≤x must fail to reach the exit
condition, it follows that (y+1)2 ≤x .
• The five steps just noted are a proof of the correctness of the
design of the algorithm noted in the above Figure.
• You are now certain that the design will, in fact, compute the
integer part of a square root.
Exercise (bubble sort)
Document a correctness
verification proof for the bubble
sort
CLEANROOM TESTING
• The strategy and tactics of cleanroom testing are
fundamentally different from conventional testing
approaches
• Test cases are generated for each set of stimuli according to the usage
probability distribution.
Example (SafeHome)