Software Testing : (Record no. 33118)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05940nam a22004573i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EBC7104400 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MiAaPQ |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240724115714.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d | |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240724s2015 xx o ||||0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119065593 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781118662878 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (MiAaPQ)EBC7104400 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Au-PeEL)EBL7104400 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1347023872 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MiAaPQ |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | MiAaPQ |
| Modifying agency | MiAaPQ |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.76.T48 .M56 2015 |
| 082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1/4 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Mili, Ali. |
| 245 10 - TITLE STATEMENT | |
| Title | Software Testing : |
| Remainder of title | Concepts and Operations. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Newark : |
| Name of producer, publisher, distributor, manufacturer | John Wiley & Sons, Incorporated, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2015. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | ©2015. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (407 pages) |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| Series statement | New York Academy of Sciences Series |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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 -- 12.1 SELECTING A SPECIFICATION -- 12.2 SELECTING A PROCESS -- 12.3 SELECTING A SPECIFICATION MODEL -- 12.4 TESTING BY SYMBOLIC EXECUTION -- 12.5 CHAPTER SUMMARY -- 12.6 EXERCISES -- 12.7 BIBLIOGRAPHIC NOTES -- 13 Test Outcome Analysis -- 13.1 LOGICAL CLAIMS -- 13.2 STOCHASTIC CLAIMS: FAULT DENSITY -- 13.3 STOCHASTIC CLAIMS: FAILURE PROBABILITY -- 13.4 CHAPTER SUMMARY -- 13.5 EXERCISES -- 13.6 PROBLEMS -- 13.7 BIBLIOGRAPHIC NOTES -- Part V: Management of Software Testing -- 14 Metrics for Software Testing -- 14.1 FAULT PRONENESS -- 14.2 FAULT DETECTABILITY -- 14.3 ERROR DETECTABILITY -- 14.4 ERROR MASKABILITY -- 14.5 FAILURE AVOIDANCE -- 14.6 FAILURE TOLERANCE -- 14.7 AN ILLUSTRATIVE EXAMPLE -- 14.8 CHAPTER SUMMARY -- 14.9 EXERCISES -- 14.10 BIBLIOGRAPHIC NOTES -- 15 Software Testing Tools. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 15.1 A CLASSIFICATION SCHEME -- 15.2 SCRIPTING TOOLS -- 15.3 RECORD-AND-REPLAY TOOLS -- 15.4 PERFORMANCE-TESTING TOOLS -- 15.5 ORACLE DESIGN TOOLS -- 15.6 EXCEPTION DISCOVERY -- 15.7 COLLABORATIVE TOOLS -- 15.8 CHAPTER SUMMARY -- 16 Testing Product Lines -- 16.1 PLE: A STREAMLINED REUSE MODEL -- 16.2 TESTING ISSUES -- 16.3 TESTING APPROACHES -- 16.4 ILLUSTRATION -- 16.5 CHAPTER SUMMARY -- 16.6 EXERCISES -- 16.7 PROBLEMS -- 16.8 BIBLIOGRAPHIC REFERENCES -- Bibliography -- Index -- End User License Agreement. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on publisher supplied metadata and other sources. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software-Testing. |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Mili, Ali |
| Title | Software Testing |
| Place, publisher, and date of publication | Newark : John Wiley & Sons, Incorporated,c2015 |
| International Standard Book Number | 9781118662878 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) | |
| Corporate name or jurisdiction name as entry element | ProQuest (Firm) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | New York Academy of Sciences Series |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=7104400">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=7104400</a> |
| Public note | Click to View |
No items available.