Tutorial: Static Analysis and Dynamic Testing of Computer Software
Richard E. Fairley · Computer · 1978
Computer programs can be checked for errors statically and dynamically. Static analysis looks for structural and semantic faults in programs. Dynamic analysis affirms proper operation—and helps identify errors.