top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Model Checking Software [[electronic resource] ] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan
Model Checking Software [[electronic resource] ] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (X, 377 p. 143 illus.)
Disciplina 005.3028/7
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Compilers (Computer programs)
Computer science
Software Engineering
Compilers and Interpreters
Computer Science Logic and Foundations of Programming
ISBN 3-642-39176-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Explicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general.
Record Nr. UNISA-996465697303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan
Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (X, 377 p. 143 illus.)
Disciplina 005.3028/7
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Compilers (Computer programs)
Computer science
Software Engineering
Compilers and Interpreters
Computer Science Logic and Foundations of Programming
ISBN 3-642-39176-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Explicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general.
Record Nr. UNINA-9910483181903321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Model Checking Software [[electronic resource] ] : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings / / edited by Alastair Donaldson, David Parker
Model Checking Software [[electronic resource] ] : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings / / edited by Alastair Donaldson, David Parker
Edizione [1st ed. 2012.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica 1 online resource (X, 261 p. 85 illus.)
Disciplina 005.3028/7
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Compilers (Computer programs)
Computer science
Software Engineering
Compilers and Interpreters
Computer Science Logic and Foundations of Programming
ISBN 3-642-31759-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465491603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Model-based testing essentials : guide to the ISTQB certified model-based tester foundation level / / Anne Kramer, Bruno Legeard
Model-based testing essentials : guide to the ISTQB certified model-based tester foundation level / / Anne Kramer, Bruno Legeard
Autore Kramer Anne (Software engineer)
Edizione [1st edition]
Pubbl/distr/stampa Hoboken, New Jersey : , : John Wiley & Sons Incorporated, , [2016]
Descrizione fisica 1 online resource (333 p.)
Disciplina 005.3028/7
Soggetto topico Computer software - Testing - Examinations
Model-based reasoning - Examinations
Electronic data processing personnel - Certification
Soggetto genere / forma Electronic books.
ISBN 1-119-13003-4
1-119-13002-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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
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
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?
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
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
ABBREVIATIONS
Record Nr. UNINA-9910136775803321
Kramer Anne (Software engineer)  
Hoboken, New Jersey : , : John Wiley & Sons Incorporated, , [2016]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Model-based testing essentials : guide to the ISTQB certified model-based tester foundation level / / Anne Kramer, Bruno Legeard
Model-based testing essentials : guide to the ISTQB certified model-based tester foundation level / / Anne Kramer, Bruno Legeard
Autore Kramer Anne (Software engineer)
Edizione [1st edition]
Pubbl/distr/stampa Hoboken, New Jersey : , : John Wiley & Sons Incorporated, , [2016]
Descrizione fisica 1 online resource (333 p.)
Disciplina 005.3028/7
Collana THEi Wiley ebooks
Soggetto topico Computer software - Testing - Examinations
Model-based reasoning - Examinations
Electronic data processing personnel - Certification
ISBN 1-119-13003-4
1-119-13002-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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
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
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?
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
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
ABBREVIATIONS
Record Nr. UNINA-9910830634603321
Kramer Anne (Software engineer)  
Hoboken, New Jersey : , : John Wiley & Sons Incorporated, , [2016]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical model-based testing [[electronic resource] ] : a tools approach / / Mark Utting, Bruno Legeard
Practical model-based testing [[electronic resource] ] : a tools approach / / Mark Utting, Bruno Legeard
Autore Utting Mark
Pubbl/distr/stampa San Francisco, CA, : Morgan Kaufmann Publishers, 2006
Descrizione fisica 1 online resource (455 p.)
Disciplina 005.3028/7
Altri autori (Persone) LegeardBruno
Soggetto topico Computer software - Testing
Computer software - Testing - Automation
Soggetto genere / forma Electronic books.
ISBN 1-280-72897-3
9786610728978
0-08-046648-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front cover; Title page; Copyright page; Table of Contents; Preface; Acknowledgements; About the authors; Chapter 1 The challenge; 1.1 What Do We Mean by Testing?; 1.2 What Is Model-Based Testing?; 1.3 A Smart Card Example; 1.4 Summary; 1.5 Further Reading; Chapter 2 The pain and the gain; 2.1 Classic Testing Processes; 2.2 The Model-Based Testing Process; 2.3 Models: Build or Borrow?; 2.4 Your Maturity Level; 2.5 Hypothetical Case: Total Testing Hours; 2.6 Model-Based Testing Experience Reports; 2.7 Benefits of Model-Based Testing; 2.8 Limitations of Model-Based Testing; 2.9 Summary
2.10 Further ReadingChapter 3 A model of your system; 3.1 How to Model Your System; 3.2 A Case Study; 3.3 Transition-Based Models; 3.4 Pre/Post Models in B; 3.5 Summary; 3.6 Further Reading; Chapter 4 Selecting your tests; 4.1 Structural Model Coverage; 4.2 Data Coverage Criteria; 4.3 Fault-Based Criteria; 4.4 Requirements-Based Criteria; 4.5 Explicit Test Case Specifications; 4.6 Statistical Test Generation Methods; 4.7 Combining Test Selection Criteria; 4.8 Summary; 4.9 Further Reading; Chapter 5 Testing from finite state machines; 5.1 Testing Qui-Donc with a Simple FSM
5.2 EFSMs and the ModelJUnit Library5.3 Unit Testing ZLive with EFSMs; 5.4 Labeled Transition Systems Models; 5.5 Summary; 5.6 Further Reading; Chapter 6 Testing from pre/post models; 6.1 How to Write Pre/Post Models for Testing; 6.2 The System Process Scheduler Example; 6.3 The Triangle Example; 6.4 Robustness Testing from a Pre/Post Model; 6.5 Testing a Chat System with Spec Explorer; 6.6 Summary; 6.7 Further Reading; Chapter 7 Testing from UML transition-based models; 7.1 UML Modeling Notations; 7.2 Testing an eTheater with LTG/UML; 7.3 Testing a Protocol with Qtronic; 7.4 Summary
7.5 Further ReadingChapter 8 Making tests executable; 8.1 Principles of Test Adaptation; 8.2 Example: The eTheater System; 8.3 Summary; 8.4 Further Reading; Chapter 9 The gsm 11.11 case study; 9.1 Overview of the GSM 11.11 Standard; 9.2 Modeling GSM 11.11 in B; 9.3 Validation and Verification of the B Model; 9.4 Generating Tests with LTG/B; 9.5 Generating Executable Scripts; 9.6 Test Execution; 9.7 Summary; 9.8 Further Reading; Chapter 10 The atm case study; 10.1 Overview of the ATM System; 10.2 Modeling the ATM System in UML; 10.3 Generating Test Cases
10.4 Generating Executable Test Scripts10.5 Executing the Tests; 10.6 Summary; 10.7 Further Reading; Chapter 11 Putting it into practice; 11.1 Prerequisites for Model-Based Testing; 11.2 Selecting a Model-Based Testing Approach; 11.3 People, Roles, and Training; 11.4 Model-Based Testing and Agile Methods; 11.5 Model-Based Testing and the Unified Process; 11.6 Epilogue; Appendix A Summary of B abstract machine notation; Appendix B Summary of common OCL constructs; Appendix C Commercial tools; Glossary; Bibliography; Index
Record Nr. UNINA-9910458600303321
Utting Mark  
San Francisco, CA, : Morgan Kaufmann Publishers, 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical model-based testing [[electronic resource] ] : a tools approach / / Mark Utting, Bruno Legeard
Practical model-based testing [[electronic resource] ] : a tools approach / / Mark Utting, Bruno Legeard
Autore Utting Mark
Pubbl/distr/stampa San Francisco, CA, : Morgan Kaufmann Publishers, 2006
Descrizione fisica 1 online resource (455 p.)
Disciplina 005.3028/7
Altri autori (Persone) LegeardBruno
Soggetto topico Computer software - Testing
Computer software - Testing - Automation
ISBN 1-280-72897-3
9786610728978
0-08-046648-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front cover; Title page; Copyright page; Table of Contents; Preface; Acknowledgements; About the authors; Chapter 1 The challenge; 1.1 What Do We Mean by Testing?; 1.2 What Is Model-Based Testing?; 1.3 A Smart Card Example; 1.4 Summary; 1.5 Further Reading; Chapter 2 The pain and the gain; 2.1 Classic Testing Processes; 2.2 The Model-Based Testing Process; 2.3 Models: Build or Borrow?; 2.4 Your Maturity Level; 2.5 Hypothetical Case: Total Testing Hours; 2.6 Model-Based Testing Experience Reports; 2.7 Benefits of Model-Based Testing; 2.8 Limitations of Model-Based Testing; 2.9 Summary
2.10 Further ReadingChapter 3 A model of your system; 3.1 How to Model Your System; 3.2 A Case Study; 3.3 Transition-Based Models; 3.4 Pre/Post Models in B; 3.5 Summary; 3.6 Further Reading; Chapter 4 Selecting your tests; 4.1 Structural Model Coverage; 4.2 Data Coverage Criteria; 4.3 Fault-Based Criteria; 4.4 Requirements-Based Criteria; 4.5 Explicit Test Case Specifications; 4.6 Statistical Test Generation Methods; 4.7 Combining Test Selection Criteria; 4.8 Summary; 4.9 Further Reading; Chapter 5 Testing from finite state machines; 5.1 Testing Qui-Donc with a Simple FSM
5.2 EFSMs and the ModelJUnit Library5.3 Unit Testing ZLive with EFSMs; 5.4 Labeled Transition Systems Models; 5.5 Summary; 5.6 Further Reading; Chapter 6 Testing from pre/post models; 6.1 How to Write Pre/Post Models for Testing; 6.2 The System Process Scheduler Example; 6.3 The Triangle Example; 6.4 Robustness Testing from a Pre/Post Model; 6.5 Testing a Chat System with Spec Explorer; 6.6 Summary; 6.7 Further Reading; Chapter 7 Testing from UML transition-based models; 7.1 UML Modeling Notations; 7.2 Testing an eTheater with LTG/UML; 7.3 Testing a Protocol with Qtronic; 7.4 Summary
7.5 Further ReadingChapter 8 Making tests executable; 8.1 Principles of Test Adaptation; 8.2 Example: The eTheater System; 8.3 Summary; 8.4 Further Reading; Chapter 9 The gsm 11.11 case study; 9.1 Overview of the GSM 11.11 Standard; 9.2 Modeling GSM 11.11 in B; 9.3 Validation and Verification of the B Model; 9.4 Generating Tests with LTG/B; 9.5 Generating Executable Scripts; 9.6 Test Execution; 9.7 Summary; 9.8 Further Reading; Chapter 10 The atm case study; 10.1 Overview of the ATM System; 10.2 Modeling the ATM System in UML; 10.3 Generating Test Cases
10.4 Generating Executable Test Scripts10.5 Executing the Tests; 10.6 Summary; 10.7 Further Reading; Chapter 11 Putting it into practice; 11.1 Prerequisites for Model-Based Testing; 11.2 Selecting a Model-Based Testing Approach; 11.3 People, Roles, and Training; 11.4 Model-Based Testing and Agile Methods; 11.5 Model-Based Testing and the Unified Process; 11.6 Epilogue; Appendix A Summary of B abstract machine notation; Appendix B Summary of common OCL constructs; Appendix C Commercial tools; Glossary; Bibliography; Index
Record Nr. UNINA-9910784657103321
Utting Mark  
San Francisco, CA, : Morgan Kaufmann Publishers, 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical model-based testing : a tools approach / / Mark Utting, Bruno Legeard
Practical model-based testing : a tools approach / / Mark Utting, Bruno Legeard
Autore Utting Mark
Edizione [1st ed.]
Pubbl/distr/stampa San Francisco, CA, : Morgan Kaufmann Publishers, 2006
Descrizione fisica 1 online resource (455 p.)
Disciplina 005.3028/7
Altri autori (Persone) LegeardBruno
Soggetto topico Computer software - Testing
Computer software - Testing - Automation
ISBN 1-280-72897-3
9786610728978
0-08-046648-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front cover; Title page; Copyright page; Table of Contents; Preface; Acknowledgements; About the authors; Chapter 1 The challenge; 1.1 What Do We Mean by Testing?; 1.2 What Is Model-Based Testing?; 1.3 A Smart Card Example; 1.4 Summary; 1.5 Further Reading; Chapter 2 The pain and the gain; 2.1 Classic Testing Processes; 2.2 The Model-Based Testing Process; 2.3 Models: Build or Borrow?; 2.4 Your Maturity Level; 2.5 Hypothetical Case: Total Testing Hours; 2.6 Model-Based Testing Experience Reports; 2.7 Benefits of Model-Based Testing; 2.8 Limitations of Model-Based Testing; 2.9 Summary
2.10 Further ReadingChapter 3 A model of your system; 3.1 How to Model Your System; 3.2 A Case Study; 3.3 Transition-Based Models; 3.4 Pre/Post Models in B; 3.5 Summary; 3.6 Further Reading; Chapter 4 Selecting your tests; 4.1 Structural Model Coverage; 4.2 Data Coverage Criteria; 4.3 Fault-Based Criteria; 4.4 Requirements-Based Criteria; 4.5 Explicit Test Case Specifications; 4.6 Statistical Test Generation Methods; 4.7 Combining Test Selection Criteria; 4.8 Summary; 4.9 Further Reading; Chapter 5 Testing from finite state machines; 5.1 Testing Qui-Donc with a Simple FSM
5.2 EFSMs and the ModelJUnit Library5.3 Unit Testing ZLive with EFSMs; 5.4 Labeled Transition Systems Models; 5.5 Summary; 5.6 Further Reading; Chapter 6 Testing from pre/post models; 6.1 How to Write Pre/Post Models for Testing; 6.2 The System Process Scheduler Example; 6.3 The Triangle Example; 6.4 Robustness Testing from a Pre/Post Model; 6.5 Testing a Chat System with Spec Explorer; 6.6 Summary; 6.7 Further Reading; Chapter 7 Testing from UML transition-based models; 7.1 UML Modeling Notations; 7.2 Testing an eTheater with LTG/UML; 7.3 Testing a Protocol with Qtronic; 7.4 Summary
7.5 Further ReadingChapter 8 Making tests executable; 8.1 Principles of Test Adaptation; 8.2 Example: The eTheater System; 8.3 Summary; 8.4 Further Reading; Chapter 9 The gsm 11.11 case study; 9.1 Overview of the GSM 11.11 Standard; 9.2 Modeling GSM 11.11 in B; 9.3 Validation and Verification of the B Model; 9.4 Generating Tests with LTG/B; 9.5 Generating Executable Scripts; 9.6 Test Execution; 9.7 Summary; 9.8 Further Reading; Chapter 10 The atm case study; 10.1 Overview of the ATM System; 10.2 Modeling the ATM System in UML; 10.3 Generating Test Cases
10.4 Generating Executable Test Scripts10.5 Executing the Tests; 10.6 Summary; 10.7 Further Reading; Chapter 11 Putting it into practice; 11.1 Prerequisites for Model-Based Testing; 11.2 Selecting a Model-Based Testing Approach; 11.3 People, Roles, and Training; 11.4 Model-Based Testing and Agile Methods; 11.5 Model-Based Testing and the Unified Process; 11.6 Epilogue; Appendix A Summary of B abstract machine notation; Appendix B Summary of common OCL constructs; Appendix C Commercial tools; Glossary; Bibliography; Index
Record Nr. UNINA-9910808931603321
Utting Mark  
San Francisco, CA, : Morgan Kaufmann Publishers, 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings, 2009 Testing: Academic and Industrial Conference Practice and Research Techniques : TAIC PART 2009 : 4-6 September 2009 : [Cumberland Lodge], Windsor, United Kingdom
Proceedings, 2009 Testing: Academic and Industrial Conference Practice and Research Techniques : TAIC PART 2009 : 4-6 September 2009 : [Cumberland Lodge], Windsor, United Kingdom
Pubbl/distr/stampa [Place of publication not identified], : IEEE Computer Society, 2009
Disciplina 005.3028/7
Soggetto topico Computer software - Testing
Engineering & Applied Sciences
Computer Science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996212388103316
[Place of publication not identified], : IEEE Computer Society, 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Proceedings, 2009 Testing: Academic and Industrial Conference Practice and Research Techniques : TAIC PART 2009 : 4-6 September 2009 : [Cumberland Lodge], Windsor, United Kingdom
Proceedings, 2009 Testing: Academic and Industrial Conference Practice and Research Techniques : TAIC PART 2009 : 4-6 September 2009 : [Cumberland Lodge], Windsor, United Kingdom
Pubbl/distr/stampa [Place of publication not identified], : IEEE Computer Society, 2009
Disciplina 005.3028/7
Soggetto topico Computer software - Testing
Engineering & Applied Sciences
Computer Science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910138915103321
[Place of publication not identified], : IEEE Computer Society, 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui