Model-based testing essentials : (Record no. 12292)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 08858cam a2200973 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn928136596 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240523125539.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 ||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151105s2016 nju ob 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2015042744 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DLC |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | DLC |
| Modifying agency | N$T |
| -- | YDXCP |
| -- | EBLCP |
| -- | DG1 |
| -- | CDX |
| -- | OCLCO |
| -- | COO |
| -- | UMI |
| -- | OCLCO |
| -- | KSU |
| -- | TOH |
| -- | DG1 |
| -- | RECBK |
| -- | VT2 |
| -- | DEBBG |
| -- | IDB |
| -- | DG1 |
| -- | K6U |
| -- | OCLCQ |
| -- | OTZ |
| -- | LIV |
| -- | MERUC |
| -- | OCLCQ |
| -- | DEBSZ |
| -- | OCLCQ |
| -- | D6H |
| -- | OCLCQ |
| -- | VVB |
| -- | WRM |
| -- | OCLCF |
| -- | CEF |
| -- | AU@ |
| -- | OCLCQ |
| -- | WYU |
| -- | LVT |
| -- | U3W |
| -- | OCLCQ |
| -- | OCLCO |
| -- | UAB |
| -- | STF |
| -- | OCLCQ |
| -- | OCLCO |
| -- | RDF |
| -- | UKAHL |
| -- | OCLCQ |
| -- | BRF |
| -- | OCLCO |
| -- | OCLCQ |
| -- | OCLCO |
| -- | OCLCL |
| 019 ## - | |
| -- | 957979858 |
| -- | 961649371 |
| -- | 964847888 |
| -- | 1066599591 |
| -- | 1076772811 |
| -- | 1103268004 |
| -- | 1124526682 |
| -- | 1148167336 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119130024 |
| Qualifying information | (Adobe PDF) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119130026 |
| Qualifying information | (Adobe PDF) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119130031 |
| Qualifying information | (ePub) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119130034 |
| Qualifying information | (ePub) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119130161 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119130166 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119130018 |
| Qualifying information | (cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119130017 |
| Qualifying information | (cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781119130017 |
| Qualifying information | (cloth) |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000056306921 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHBIS |
| System control number | 010879343 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000884067 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000944882 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHVBK |
| System control number | 480251207 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV043629563 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV043970012 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 485062941 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 485805448 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | GBVCP |
| System control number | 882759183 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)928136596 |
| Canceled/invalid control number | (OCoLC)957979858 |
| -- | (OCoLC)961649371 |
| -- | (OCoLC)964847888 |
| -- | (OCoLC)1066599591 |
| -- | (OCoLC)1076772811 |
| -- | (OCoLC)1103268004 |
| -- | (OCoLC)1124526682 |
| -- | (OCoLC)1148167336 |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | CL0500000779 |
| Source of stock number/acquisition | Safari Books Online |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.76.T48 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 000000 |
| Source | bisacsh |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.3028/7 |
| Edition number | 23 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Kramer, Anne |
| Titles and words associated with a name | (Software engineer), |
| Relator term | author. |
| 245 10 - TITLE STATEMENT | |
| Title | Model-based testing essentials : |
| Remainder of title | guide to the ISTQB certified model-based tester foundation level / |
| Statement of responsibility, etc. | Anne Kramer, Bruno Legeard. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Hoboken, New Jersey : |
| Name of producer, publisher, distributor, manufacturer | John Wiley & Sons Inc., |
| Date of production, publication, distribution, manufacture, or copyright notice | [2016] |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | �2016 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource |
| 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 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Print version record and CIP data provided by publisher. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Provides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB Model-Based Tester-Foundation Level Certification Syllabus This book covers the essentials of Model-Based Testing (MBT) needed to pass the ISTQB Foundation Level Model-Based Tester Certification. The text begins with an introduction to MBT, covering both the benefits and the limitations of MBT. The authors review the various approaches to model-based testing, explaining the fundamental processes in MBT, the different modeling languages used, common good modeling practices, and the typical mistakes and pitfalls. The book explains the specifics of MBT test implementation, the dependencies on modeling and test generation activities, and the steps required to automate the generated test cases. The text discusses the introduction of MBT in a company, presenting metrics to measure success and good practices to apply.-Provides case studies illustrating different approaches to Model-Based Testing -Includes in-text exercises to encourage readers to practice modeling and test generation activities -Contains appendices with solutions to the in-text exercises, a short quiz to test readers, along with additional information Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester - Foundation Level is written primarily for participants of the ISTQB Certification: software engineers, test engineers, software developers, and anybody else involved in software quality assurance. This book can also be used for anyone who wants a deeper understanding of software testing and of the use of models for test generation. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | TITLE PAGE; COPYRIGHT; TABLE OF CONTENTS; DEDICATION; FOREWORD BY GUALTIERO BAZZANA; FOREWORD BY ROBERT V. BINDER; PREFACE; THE ISTQB CERTIFIED TESTER FOUNDATION LEVEL -- MODEL-BASED TESTER; HOW THIS BOOK IS ORGANIZED?; ACKNOWLEDGMENTS; 1 INTRODUCTION TO MODEL-BASED TESTING; 1.1 WHY DO WE NEED NEW APPROACHES TO TESTING?; 1.2 WHAT IS MODEL-BASED TESTING?; 1.3 BENEFITS OF MBT; 1.4 PITFALLS OF MBT; 1.5 WHAT CAN YOU REALISTICALLY EXPECT?; 2 WHAT YOU SHOULD KNOW ABOUT MBT BEFORE STARTING; 2.1 ISTQB MBT GLOSSARY TERMS USED IN THIS BOOK; 2.2 OTHER TERMS TO KNOW |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 2.3 THE MODELING LANGUAGES USED IN THIS BOOK3 PROCESS ASPECTS OF MBT; 3.1 MBT AND THE FUNDAMENTAL TEST PROCESS; 3.2 THE TYPICAL MBT PROCESS; 3.3 MBT AND SOFTWARE DEVELOPMENT LIFECYCLES; 3.4 HOW MBT SUPPORTS REQUIREMENT ENGINEERING; 4 ASPECTS TO CONSIDER BEFORE YOU START WRITING AN MBT MODEL; 4.1 PRELIMINARY CONSIDERATIONS ON MBT MODELING; 4.2 SUBJECT AND FOCUS OF YOUR MBT MODEL; 4.3 THE INFLUENCE OF TEST OBJECTIVES ON MBT MODELS; 5 MODELING LANGUAGES -- THE AGONY OF CHOICE; 5.1 MAIN CATEGORIES OF MODELING LANGUAGES; 5.2 UML AND BPMN; 5.3 OTHER GRAPHICAL MODELING LANGUAGES USED FOR MBT |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 5.4 TEXTUAL MODELING LANGUAGES USED FOR MBT5.5 HOW TO SELECT THE APPROPRIATE MODELING LANGUAGE; 6 GOOD MBT MODELING PRACTICES; 6.1 QUALITY CHARACTERISTICS FOR MBT MODELS; 6.2 TYPICAL MISTAKES AND PITFALLS IN MBT MODEL DESIGN; 6.3 LINKING REQUIREMENTS AND PROCESS-RELATED INFORMATION TO THE MBT MODEL; 6.4 THE SIGNIFICANCE OF MODELING GUIDELINES FOR MBT; 6.5 THE QUESTION OF REUSING MODELS FROM OTHER DEVELOPMENT ACTIVITIES; 6.6 TOOL SUPPORT FOR MBT MODELING ACTIVITIES; 6.7 ITERATIVE MBT MODEL DEVELOPMENT; 6.8 OTHER RECOMMENDATIONS; 7 HOW MBT RELATES TO TEST DESIGN TECHNIQUES? |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 7.1 EQUIVALENCE PARTITIONING AND BOUNDARY VALUE ANALYSIS7.2 DECISION TABLES; 7.3 STATE TRANSITION TESTING; 7.4 USE CASE TESTING; 8 DERIVING TESTS FROM AN MBT MODEL; 8.1 TAXONOMY OF SELECTION CRITERIA; 8.2 TEST CASE SELECTION IN PRACTICE; 8.3 EXAMPLES OF COVERAGE CRITERIA; 8.4 PROS AND CONS OF SPECIFIC TEST SELECTION CRITERIA; 8.5 SOME RECOMMENDATIONS REGARDING TEST CASE SELECTION; 8.6 DEGREE OF AUTOMATION IN TEST GENERATION; 9 EXECUTING MODEL-BASED TESTS; 9.1 UNDERSTANDING THE CONCEPTS; 9.2 ADAPTING TEST CASES FOR AUTOMATED EXECUTION; 9.3 ADAPTING MBT ARTIFACTS DUE TO CHANGES |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 10 INTRODUCING MBT IN YOUR COMPANY10.1 FIVE STEPS TO MBT ADOPTION; 10.2 RETURN-ON-INVEST CONSIDERATIONS; 10.3 PRIORITIZE YOUR ORGANIZATIONAL OBJECTIVES; 10.4 HOW TO MEASURE PROGRESS AND SUCCESS?; 10.5 DEPLOYING MBT; 10.6 INITIAL AND RUNNING COSTS OF MBT; 10.7 INTEGRATING THE TOOLS; 11 CASE STUDIES; 11.1 ENTERPRISE IT MODEL-BASED TESTING -- ORANGEHRM CASE STUDY; 11.2 MBT FOR PROCESS-SUPPORTING SW -- TOOL VALIDATION CASE STUDY; 11.3 MBT FOR SECURITY COMPONENTS -- PKCS#11 CASE STUDY; 12 CONCLUSIONS; APPENDIX A SOLUTIONS OF EXERCISES; APPENDIX B TEST YOURSELF; APPENDIX C TAXONOMY OF MBT APPROACHES |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | John Wiley and Sons |
| Provenance (VM) [OBSOLETE] | Wiley Online Library: Complete oBooks |
| 610 20 - SUBJECT ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | International Software Testing Qualifications Board |
| General subdivision | Examinations |
| Form subdivision | Study guides. |
| 610 27 - SUBJECT ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | International Software Testing Qualifications Board |
| Source of heading or term | fast |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| General subdivision | Testing |
| -- | Examinations |
| Form subdivision | Study guides. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Model-based reasoning |
| General subdivision | Examinations |
| Form subdivision | Study guides. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Electronic data processing personnel |
| General subdivision | Certification. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Raisonnement �a base de mod�eles |
| General subdivision | Examens |
| Form subdivision | Guides de l'�etudiant. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTER SCIENCE |
| General subdivision | General. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Electronic data processing personnel |
| General subdivision | Certification |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Examinations |
| Source of heading or term | fast |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | examination study guides. |
| Source of term | aat |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Study guides |
| Source of term | fast |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Study guides. |
| Source of term | lcgft |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Guides de l'�etudiant. |
| Source of term | rvmgf |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Legeard, Bruno, |
| Relator term | author. |
| 758 ## - RESOURCE IDENTIFIER | |
| Relationship information | has work: |
| Label | Foundation level Model-based testing essentials (Text) |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCH6H7WXry74cXPrbMvW4FX |
| Relationship | https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Kramer, Anne, (Software engineer) author. |
| Title | Model-based testing essentials. |
| Place, publisher, and date of publication | Hoboken, New Jersey : John Wiley & Sons Inc., [2016] |
| International Standard Book Number | 9781119130017 |
| Record control number | (DLC) 2015035751 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Online access with DDA: Askews (Maths) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119130161">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119130161</a> |
| 938 ## - | |
| -- | Askews and Holts Library Services |
| -- | ASKH |
| -- | AH30144127 |
| 938 ## - | |
| -- | Coutts Information Services |
| -- | COUT |
| -- | 32691898 |
| 938 ## - | |
| -- | EBL - Ebook Library |
| -- | EBLB |
| -- | EBL4462538 |
| 938 ## - | |
| -- | EBSCOhost |
| -- | EBSC |
| -- | 1214876 |
| 938 ## - | |
| -- | Recorded Books, LLC |
| -- | RECE |
| -- | rbeEB00668981 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 12927304 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 12970999 |
| 994 ## - | |
| -- | 92 |
| -- | INLUM |
No items available.