Cargando…
Software testing : concepts and operations /
Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test managementThis book examines the principles, concepts, and processes that ar...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken, New Jersey :
John Wiley & Sons Inc.,
[2015]
|
| Colección: | Quantitative software engineering series.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
Tabla de Contenidos:
- Title Page; Copyright Page; Contents; Preface; Part I Introduction to Software Testing; Chapter 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.7.1 A Labor-Intensive Industry; 1.7.2 Absence of Automation; 1.7.3 Limited Quality Control; 1.7.4 Unbalanced Lifecycle Costs; 1.7.5 Unbalanced Maintenance Costs; 1.8 CHAPTER SUMMARY; 1.9 BIBLIOGRAPHIC NOTES; Chapter 2 Software Quality Attributes.
- 2.1 FUNCTIONAL ATTRIBUTES2.1.1 Boolean Attributes; 2.1.2 Statistical 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; Chapter 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; Chapter 4 Software Specifications; 4.1 PRINCIPLES OF SOUND SPECIFICATION; 4.1.1 A Discipline of Specification.
- 4.2 RELATIONAL MATHEMATICS4.2.1 Sets and Relations; 4.2.2 Operations on Relations; 4.2.3 Properties of Relations; 4.3 SIMPLE INPUT OUTPUT PROGRAMS; 4.3.1 REPRESENTING SPECIFICATIONS; 4.3.2 ORDERING SPECIFICATIONS; 4.3.3 SPECIFICATION GENERATION; 4.3.4 SPECIFICATION VALIDATION; 4.4 RELIABILITY VERSUS SAFETY; 4.5 STATE-BASED SYSTEMS; 4.5.1 A Relational Model; 4.5.2 AXIOMATIC REPRESENTATION; 4.5.3 SPECIFICATION VALIDATION; 4.6 CHAPTER SUMMARY; 4.7 EXERCISES; 4.8 PROBLEMS; 4.9 BIBLIOGRAPHIC NOTES; Chapter 5 Program Correctness and Verification; 5.1 CORRECTNESS: A DEFINITION.
- 5.2 CORRECTNESS: PROPOSITIONS5.2.1 Correctness and Refinement; 5.2.2 Set Theoretic Characterizations; 5.2.3 Illustrations; 5.3 VERIFICATION; 5.3.1 Sample Formulas; 5.3.2 An Inference System; 5.3.3 Illustrative Examples; 5.4 CHAPTER SUMMARY; 5.5 EXERCISES; 5.6 PROBLEMS; 5.7 BIBLIOGRAPHIC NOTES; Chapter 6 Failures, Errors, and Faults; 6.1 FAILURE, ERROR, AND FAULT; 6.2 FAULTS AND RELATIVE CORRECTNESS; 6.2.1 Fault, an Evasive Concept; 6.2.2 Relative Correctness; 6.3 CONTINGENT FAULTS AND DEFINITE FAULTS; 6.3.1 Contingent Faults; 6.3.2 Monotonic Fault Removal.
- 6.3.3 A Framework for Monotonic Fault Removal6.3.4 Definite Faults; 6.4 FAULT MANAGEMENT; 6.4.1 Lines of Defense; 6.4.2 Hybrid Validation; 6.5 CHAPTER SUMMARY; 6.6 EXERCISES; 6.7 PROBLEMS; 6.8 BIBLIOGRAPHIC NOTES; Chapter 7 A Software Testing Taxonomy; 7.1 THE TROUBLE WITH HYPHENATED TESTING; 7.2 A CLASSIFICATION SCHEME; 7.2.1 Primary Attributes; 7.2.2 Secondary Attributes; 7.3 TESTING TAXONOMY; 7.3.1 Unit-Level Testing; 7.3.2 System-Level Testing; 7.4 EXERCISES; 7.5 BIBLIOGRAPHIC NOTES; Part III Test Data Generation ; Chapter 8 Test Generation Concepts.