Program Testing Techniques: Tutorial : COMPSAC 77, the IEEE Computer Society's First International Computer Software & Applications Conference, Chicago, November 8-11, 1977 |
Contents
PHILOSOPHY OF TESTING | 1 |
THEORETICAL FOUNDATIONS | 51 |
TOOLS AND TECHNIQUES | 107 |
Copyright | |
12 other sections not shown
Common terms and phrases
AFIPS algorithm analysis analyzed approach ASSERT assigned automated tools automatically branch bufpos COBOL complexity computer program Computer Science Computer Software construction cost cycle cyclomatic complexity DD path debugging decision-to-decision path defined digraph directed graph effect Elspas error detection example exercised Figure Fortran Fortran programs function GOTO gram hardware identify IEEE IEEE Trans implementation input domain integer iteration language level-i path logical loop measure ment method methodology module node output P-testing performed phase possible probe problem Proc procedure program correctness program flow program graph program proving program structure program testing proof Reliable Software reliable test requirements Research satisfy segment sequence set of test simulation Software Engineering software quality Software Reliability software system software testing specifications structured programming subprogram subroutine symbolic execution techniques test predicates testcase testing strategy theorem tion traversed unit test validation variables verification