Software Testing Concepts and Operations.
Autor principal: | |
---|---|
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Newark :
John Wiley & Sons, Incorporated,
2015.
|
Colección: | New York Academy of Sciences Ser.
|
Temas: | |
Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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