Tutorial, software testing & validation techniques |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Theoretical Foundations | 15 |
Static Analysis Tools and Techniques | 81 |
Dynamic Analysis Tools and Techniques | 183 |
Copyright | |
5 other sections not shown
Other editions - View all
Tutorial, software testing & validation techniques Edward Miller,William E. Howden Snippet view - 1981 |
Common terms and phrases
abstract data structures algorithms analyzed array assertions assignment automated tools Automatic branch branch predicates bufpos COBOL complete Conf construct contains cost data structures debugging defined described detected digraph directed graph DISSECT domain effect elements evaluation systems example Figure flow formal Fortran gram graph Howden IEEE IEEE Trans IEEE Transactions input data inspection interface involves iteration logical loop maintenance ment methodology methods metrics module node operation output percent performed phase possible problem Proc program paths program testing programming language proof proving Reliable Software requirements segment sequence set of test software bugs software development Software Engineering software quality Software Reliability software system software test specifications statement static analysis structured programming SUB6 subprogram subroutine symbolic evaluation symbolic execution symbolic testing Table techniques test predicates test procedure testcase testing process testing strategy theorem tion trace TRANSACTIONS ON SOFTWARE validation values variable verification
Bibliographic information
| Title | Tutorial, software testing & validation techniques Volume 138, Issue 8 of IEEE Catalog. EHO |
| Authors | Edward Miller, William E. Howden |
| Publisher | IEEE Computer Society, 1978 |
| Length | 425 pages |
| Subjects | Computer programming Computer programs Computer software Debugging in computer science |
| Export Citation | BiBTeX EndNote RefMan |