Program Test MethodsWilliam C. Hetzel Prentice-Hall, 1973 - 311 páginas 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. |
Índice
TESTING CONCEPTS | 15 |
DESIGNING PROGRAMS FOR TESTING | 39 |
7 | 49 |
Página de créditos | |
Otras 17 secciones no se muestran.
Otras ediciones - Ver todo
Términos y frases comunes
acceptance testing algorithm analysis application arguments arithmetic assertions automated Automatic basic BIT DEVIATION C.A.R. Hoare CACM CALL certification checking COBOL compiler complexity component computer program control nucleus debugging defined definition described determine Dijkstra directed graph discussion documentation double precision environment error evaluation example execution FIGURE folding formal FORTRAN function values functional programming gram graph hardware IDENTIFIER IEEE implementation input integer LABEL logic machine mathematical software measure ment methods module node operating system output parameters performance PL/I precision problem Proc procedures program correctness program testing programming language proof of correctness prototype proving programs correct record reliability routine sequence SigPac simulation SJCC software products software system software testing source code specification statement structured programming subroutine Taylor series techniques test data tester tion TRACE UNIVAC validation variables vector verify