Computer Program Testing: Proceedings of the Summer School on Computer Program Testing Held at SOGESTA, Urbino, Italy, June 29-July 3, 1981B. Chandrasekaran, Sergio Radicchi |
Contents
Computer Program Testing An Introduction | 3 |
Levels of Static Program Validation | 27 |
Symbolic Evaluation Methods Implementations and Applications | 65 |
Copyright | |
11 other sections not shown
Common terms and phrases
abstract algorithm amount analyzer assertion automated branch predicate checking checklist COMMAND computer program configurations consistency control flow control flow graph control path correct coverage data base data flow analysis debugging debugging and testing defined detect documentation domain errors dynamic symbolic evaluation dynamic testing entity EPSDOC example execution history Figure file system flow graph formal verification FORTRAN global symbolic evaluation host Howden IEEE IEEE Transactions implementation input data input values interactive interpreted iteration loop method module mutants mutation analysis NEWBAL node operations output parameters parse tree path computation path condition problem procedure program testing programming languages Reliability representation requirements routine segments selection sequence Software Engineering software product Software Testing source code source text specific statement static analysis structure symbolic execution target environment target machine techniques test data test points testing strategy testing tools tion TOOLPACK Transactions on Software types variables verification