Tutorial, Software Testing & Validation TechniquesPapers and articles discussing several significant advances tin the software testing and validation field. |
Contents
ACKNOWLEDGMENTS | 1 |
THEORETICAL FOUNDATIONS | 17 |
Completeness Criteria for Testing Elementary Program Functions | 67 |
Copyright | |
11 other sections not shown
Other editions - View all
Common terms and phrases
abstract algorithm analyzed array assertions assignment automated tools Automatic branch branch predicate bufpos classes Cobol complete Conf construct contains correct cost data flow data flow analysis data structures debugging defined described detected digraph directed graph documentation effect elements errors example Figure formal Fortran functional testing gram graph Howden IEEE IEEE Trans implementation incorrect input data inspection integer iteration logical loop ment method methodology module node operation output paper partition path computations path domain percent phase PL/I possible problem Proc program testing programming language proof Reliable Software reliable test requirements segment sequence set of test software bugs software development Software Engineering software quality Software Reliability software system software test specification statement static analysis structured programming subdomains subprogram subroutine symbolic evaluation symbolic execution Table techniques test data selection test predicates test procedure testcase testing strategy tion types validation values verification
References to this book
A Practical Handbook for Software Development N. D. Birrell,Martyn A. Ould,M. A. Ould Limited preview - 1988 |
Proceedings of the Hawaii International Conference on System Sciences, Volume 1 No preview available - 1983 |