|
|
|
|
| LEADER |
00000cam a2200000Mu 4500 |
| 001 |
EBOOKCENTRAL_on1347023872 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr cnu|||||||| |
| 008 |
230209s2015 xx o ||| 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|c EBLCP
|d OCLCQ
|d EBLCP
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCL
|d OCLCQ
|
| 020 |
|
|
|a 9781119065593
|
| 020 |
|
|
|a 1119065593
|
| 035 |
|
|
|a (OCoLC)1347023872
|
| 082 |
0 |
4 |
|a 005.1/4
|q OCoLC
|2 23/eng/20230216
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Mili, Ali.
|
| 245 |
1 |
0 |
|a Software Testing
|h [electronic resource] :
|b Concepts and Operations.
|
| 260 |
|
|
|a Newark :
|b John Wiley & Sons, Incorporated,
|c 2015.
|
| 300 |
|
|
|a 1 online resource (407 p.).
|
| 490 |
1 |
|
|a New York Academy of Sciences Ser.
|
| 500 |
|
|
|a Description based upon print version of record.
|
| 505 |
0 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 500 |
|
|
|a 12.1 SELECTING A SPECIFICATION
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 655 |
|
0 |
|a Electronic books.
|
| 758 |
|
|
|i has work:
|a Software Testing [electronic resource] (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCYRWDMk49YGX8HTc4PXV3P
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Mili, Ali
|t Software Testing
|d Newark : John Wiley & Sons, Incorporated,c2015
|z 9781118662878
|
| 830 |
|
0 |
|a New York Academy of Sciences Ser.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=7104400
|z Texto completo
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL7104400
|
| 994 |
|
|
|a 92
|b IZTAP
|
