Program Test MethodsWilliam C. Hetzel Part I of this book serves as an introduction to the other parts of the book, briefly summarizing and relating the chapters to each other as well as offering a definitional framework for the field of testing. Parts II to VIII form the core of the book and basically contain the edited papers of the symposium arranged in topical order. Part IX contains a large annotated bibliography of the testing literature. The bibliography is structured into subject areas and is referenced by all the chapters in the text. |
Contents
TESTING CONCEPTS | 15 |
+5 On Proving the Correctness of Computer | 29 |
DESIGNING PROGRAMS FOR TESTING 847 | 39 |
Copyright | |
16 other sections not shown
Other editions - View all
Common terms and phrases
acceptance testing algorithm analysis application arguments arithmetic assertions automated automatic axioms basic C.A.R. Hoare CACM CALL certification character checking COBOL compiler complete component computer program consider control nucleus data type debugging defined definition described digits directed graph discussion double precision end-of-file entries environment error evaluation example execution FIGURE folding FORTRAN function values functional programming gram graph hardware IDENTIFIER implementation input integer interface KERNEL labelled logic machine mathematical software measure ment module node output parameters performance PL/I precision problem Proc procedure program correctness program testing programming language proof of correctness record reliability routine semantic sequence SigPac simulation software quality assurance software system software testing source code specification standard statement string structured programming subroutine techniques termination test data test kernels tester testing process tion UNIVAC validation variables vector verify