Tutorial, Software Testing & Validation TechniquesSoftware, Programmiersprache, Betriessystem (EDV). |
Contents
Acknowledgments i | 1 |
Theoretical Foundations | 15 |
Static Analysis Tools and Techniques | 81 |
Copyright | |
7 other sections not shown
Other editions - View all
Common terms and phrases
algorithms analyzed array assertions assignment automated tools Automatic branch branch predicates bufpos COBOL complete computer program Computer Science Conf construct contains cost data structures debugging defined described detected digraph directed graph domain effect elements Elspas evaluation systems example Figure flow formal Fortran gram graph Howden IEEE IEEE Trans IEEE Transactions input data involves iteration logical loop maintenance ment methodology methods module node operation output percent performed phase possible problem Proc program testing programming language proof proving Reliable Software Report requirements Research 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 subprogram subroutine symbolic evaluation symbolic execution symbolic testing techniques test data selection test predicates test procedure testcase testing process testing strategy theorem tion trace TRANSACTIONS ON SOFTWARE validation values variable verification