Software testing : concepts and operations /
Ali Mili, Fairouz Tchier.
Bok Engelsk 2015 · Electronic books.
| Medvirkende | Tchier, Fairouz, (author.)
|
|---|---|
| Omfang | 1 online resource (401 p.)
|
| Utgave | 1st edition
|
| Opplysninger | Description based upon print version of record.. - 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. - 8.1 TEST GENERATION AND TARGET ATTRIBUTES. - 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 are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II c
|
| Emner | |
| Sjanger | |
| Dewey | |
| ISBN | 1-119-06556-9. - 1-119-06559-3
|
