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
A Definitional Framework W C Hetzel | 11 |
good | 24 |
good | 32 |
Página de créditos | |
Otras 15 secciones no se muestran.
Otras ediciones - Ver todo
Términos y frases comunes
acceptance testing ACTRAC algorithm analysis application arguments arithmetic assertions automated automatic axioms basic C.A.R. Hoare CALL certification character checking COBOL compiler complete component computer program control nucleus data type debugging defined definition described digits directed graph documentation double precision end-of-file entries environment error evaluation example execution external data FIGURE folding FORTRAN function values functional programming given gram graph hardware IDENTIFIER implementation input integer interface labelled logic machine mathematical software measure ment module node Nucleus program output parameters performance PL/I precision problem Proc procedure program correctness program testing programming language proof of correctness proving 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 tion UNIVAC validation variables vector verify