
Chapter 8
SOF TWARE-TESTING
STRATEGIES
8.1 STATIC-TESTING STRATEGIES
S
tatic testing is the systematic examination of a program structure for the
purpose of showing that certain properties are true regardless of the execution
path the program may take. Consequently, some static analyses can be used
to demonstrate the absence of some faults from a program. Static testing represents
actual behavior with a model based upon the program’s semantic features and
structure. Human comparison often consists of people exercising little discipline in
comparing their code against notions of intent that are only loosely and imprecisely
defined. But human comparisons ...