Software Testing : Concepts and Operations.

Intro -- Title page -- Table of Contents -- Preface -- ACKNOWLEDGMENT -- Part I: Introduction to Software Testing -- 1 Software Engineering: A Discipline Like No Other -- 1.1 A YOUNG, RESTLESS DISCIPLINE -- 1.2 AN INDUSTRY UNDER STRESS -- 1.3 LARGE, COMPLEX PRODUCTS -- 1.4 EXPENSIVE PRODUCTS -- 1.5 ABSENCE OF REUSE PRACTICE -- 1.6 FAULT-PRONE DESIGNS -- 1.7 PARADOXICAL ECONOMICS -- 1.8 CHAPTER SUMMARY -- 1.9 BIBLIOGRAPHIC NOTES -- 2 Software Quality Attributes -- 2.1 FUNCTIONAL ATTRIBUTES -- 2.2 OPERATIONAL ATTRIBUTES -- 2.3 USABILITY ATTRIBUTES -- 2.4 BUSINESS ATTRIBUTES -- 2.5 STRUCTURAL ATTRIBUTES -- 2.6 CHAPTER SUMMARY -- 2.7 EXERCISES -- 2.8 BIBLIOGRAPHIC NOTES -- 3 A Software Testing Lifecycle -- 3.1 A SOFTWARE ENGINEERING LIFECYCLE -- 3.2 A SOFTWARE TESTING LIFECYCLE -- 3.3 THE V-MODEL OF SOFTWARE TESTING -- 3.4 CHAPTER SUMMARY -- 3.5 BIBLIOGRAPHIC NOTES -- Part II: Foundations of Software Testing -- 4 Software Specifications -- 4.1 PRINCIPLES OF SOUND SPECIFICATION -- 4.2 RELATIONAL MATHEMATICS -- 4.3 SIMPLE INPUT OUTPUT PROGRAMS -- 4.4 RELIABILITY VERSUS SAFETY -- 4.5 STATE-BASED SYSTEMS -- 4.6 CHAPTER SUMMARY -- 4.7 EXERCISES -- 4.8 PROBLEMS -- 4.9 BIBLIOGRAPHIC NOTES -- 5 Program Correctness and Verification -- 5.1 CORRECTNESS: A DEFINITION -- 5.2 CORRECTNESS: PROPOSITIONS -- 5.3 VERIFICATION -- 5.4 CHAPTER SUMMARY -- 5.5 EXERCISES -- 5.6 PROBLEMS -- 5.7 BIBLIOGRAPHIC NOTES -- 6 Failures, Errors, and Faults -- 6.1 FAILURE, ERROR, AND FAULT -- 6.2 FAULTS AND RELATIVE CORRECTNESS -- 6.3 CONTINGENT FAULTS AND DEFINITE FAULTS -- 6.4 FAULT MANAGEMENT -- 6.5 CHAPTER SUMMARY -- 6.6 EXERCISES -- 6.7 PROBLEMS -- 6.8 BIBLIOGRAPHIC NOTES -- 7 A Software Testing Taxonomy -- 7.1 THE TROUBLE WITH HYPHENATED TESTING -- 7.2 A CLASSIFICATION SCHEME -- 7.3 TESTING TAXONOMY -- 7.4 EXERCISES -- 7.5 BIBLIOGRAPHIC NOTES -- Part III: Test Data Generation.

8 Test Generation Concepts -- 8.1 TEST GENERATION AND TARGET ATTRIBUTES -- 8.2 TEST OUTCOMES -- 8.3 TEST GENERATION REQUIREMENTS -- 8.4 TEST GENERATION CRITERIA -- 8.5 EMPIRICAL ADEQUACY ASSESSMENT -- 8.6 CHAPTER SUMMARY -- 8.7 EXERCISES -- 8.8 BIBLIOGRAPHIC NOTES -- 8.9 APPENDIX: MUTATION PROGRAM -- 9 Functional Criteria -- 9.1 DOMAIN PARTITIONING -- 9.2 TEST DATA GENERATION FROM TABULAR EXPRESSIONS -- 9.3 TEST GENERATION FOR STATE BASED SYSTEMS -- 9.4 RANDOM TEST DATA GENERATION -- 9.5 TOURISM AS A METAPHOR FOR TEST DATA SELECTION -- 9.6 CHAPTER SUMMARY -- 9.7 EXERCISES -- 9.8 BIBLIOGRAPHIC NOTES -- 10 Structural Criteria -- 10.1 PATHS AND PATH CONDITIONS -- 10.2 CONTROL FLOW COVERAGE -- 10.3 DATA FLOW COVERAGE -- 10.4 FAULT-BASED TEST GENERATION -- 10.5 CHAPTER SUMMARY -- 10.6 EXERCISES -- 10.7 BIBLIOGRAPHIC NOTES -- Part IV: Test Deployment and Analysis -- 11 Test Oracle Design -- 11.1 DILEMMAS OF ORACLE DESIGN -- 11.2 FROM SPECIFICATIONS TO ORACLES -- 11.3 ORACLES FOR STATE-BASED PRODUCTS -- 11.4 CHAPTER SUMMARY -- 11.5 EXERCISES -- 12 Test Driver Design -- 12.1 SELECTING A SPECIFICATION -- 12.2 SELECTING A PROCESS -- 12.3 SELECTING A SPECIFICATION MODEL -- 12.4 TESTING BY SYMBOLIC EXECUTION -- 12.5 CHAPTER SUMMARY -- 12.6 EXERCISES -- 12.7 BIBLIOGRAPHIC NOTES -- 13 Test Outcome Analysis -- 13.1 LOGICAL CLAIMS -- 13.2 STOCHASTIC CLAIMS: FAULT DENSITY -- 13.3 STOCHASTIC CLAIMS: FAILURE PROBABILITY -- 13.4 CHAPTER SUMMARY -- 13.5 EXERCISES -- 13.6 PROBLEMS -- 13.7 BIBLIOGRAPHIC NOTES -- Part V: Management of Software Testing -- 14 Metrics for Software Testing -- 14.1 FAULT PRONENESS -- 14.2 FAULT DETECTABILITY -- 14.3 ERROR DETECTABILITY -- 14.4 ERROR MASKABILITY -- 14.5 FAILURE AVOIDANCE -- 14.6 FAILURE TOLERANCE -- 14.7 AN ILLUSTRATIVE EXAMPLE -- 14.8 CHAPTER SUMMARY -- 14.9 EXERCISES -- 14.10 BIBLIOGRAPHIC NOTES -- 15 Software Testing Tools.

15.1 A CLASSIFICATION SCHEME -- 15.2 SCRIPTING TOOLS -- 15.3 RECORD-AND-REPLAY TOOLS -- 15.4 PERFORMANCE-TESTING TOOLS -- 15.5 ORACLE DESIGN TOOLS -- 15.6 EXCEPTION DISCOVERY -- 15.7 COLLABORATIVE TOOLS -- 15.8 CHAPTER SUMMARY -- 16 Testing Product Lines -- 16.1 PLE: A STREAMLINED REUSE MODEL -- 16.2 TESTING ISSUES -- 16.3 TESTING APPROACHES -- 16.4 ILLUSTRATION -- 16.5 CHAPTER SUMMARY -- 16.6 EXERCISES -- 16.7 PROBLEMS -- 16.8 BIBLIOGRAPHIC REFERENCES -- Bibliography -- Index -- End User License Agreement.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.