Cargando…

Software Testing Concepts and Operations.

Detalles Bibliográficos
Autor principal: Mili, Ali
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