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
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
Software quality assurance / / by Claude Y. Laporte, Alain April
Software quality assurance / / by Claude Y. Laporte, Alain April
Autore Laporte Claude Y.
Edizione [1]
Pubbl/distr/stampa Hoboken, New Jersey : , : Wiley-IEEE Computer Society, Inc., , 2018
Descrizione fisica 1 recurso en línea (624 pages)
Disciplina 005.3028/7
Soggetto topico Calidad del software
Software
Libros electrónicos
ISBN 1-119-31241-8
1-119-31242-6
1-119-31245-0
Classificazione TEC032000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface xv -- Acknowledgments xxiii -- 1. Software Quality Fundamentals 1 -- 1.1 Introduction 1 -- 1.2 Defining Software Quality 2 -- 1.3 Software Errors, Defects, and Failures 4 -- 1.3.1 Problems with Defining Requirements 10 -- 1.3.2 Maintaining Effective Communications Between Client and Developer 13 -- 1.3.3 Deviations from Specifications 14 -- 1.3.4 Architecture and Design Errors 15 -- 1.3.5 Coding Errors 15 -- 1.3.6 Non-Compliance with Current Processes/Procedures 16 -- 1.3.7 Inadequate Reviews and Tests 17 -- 1.3.8 Documentation Errors 17 -- 1.4 Software Quality 19 -- 1.5 Software Quality Assurance 20 -- 1.6 Business Models and the Choice of Software Engineering Practices 22 -- 1.6.1 Description of the Context 23 -- 1.6.2 Anxiety and Fear 24 -- 1.6.3 Choice of Software Practices 25 -- 1.6.4 Business Model Descriptions 25 -- 1.6.5 Description of Generic Situational Factors 26 -- 1.6.6 Detailed Description of Each Business Model 27 -- 1.7 Success Factors 32 -- 1.8 Further Reading 33 -- 1.9 Exercises 34 -- 2. Quality Culture 35 -- 2.1 Introduction 35 -- 2.2 Cost of Quality 39 -- 2.3 Quality Culture 49 -- 2.4 The Five Dimensions of a Software Project 53 -- 2.5 The Software Engineering Code of Ethics 56 -- 2.5.1 Abridged Version: Preamble 58 -- 2.5.2 The Example of the Code of Ethics of the Ordre des ing´enieurs du Qu´ebec 60 -- 2.5.3 Whistle Blowers 61 -- 2.6 Success Factors 62 -- 2.7 Further Reading 63 -- 2.8 Exercises 63 -- 3. Software Quality Requirements 66 -- 3.1 Introduction 66 -- 3.2 Software Quality Models 69 -- 3.2.1 Initial Model Proposed by McCall 71 -- 3.2.2 The First Standardized Model: IEEE 1061 73 -- 3.2.3 Current Standardized Model: ISO 25000 Set of Standards 77 -- 3.3 Definition of Software Quality Requirements 86 -- 3.3.1 Specifying Quality Requirements: The Process 91 -- 3.4 Requirement Traceability During the Software Life Cycle 95 -- 3.5 Software Quality Requirements and the Software Quality Plan 95 -- 3.6 Success Factors 96 -- 3.7 Further Reading 97.
3.8 Exercises 97 -- 4. Software Engineering Standards and Models 101 -- 4.1 Introduction 101 -- 4.2 Standards, Cost of Quality, and Business Models 108 -- 4.3 Main Standards for Quality Management 109 -- 4.3.1 ISO 9000 Family 109 -- 4.3.2 ISO/IEC 90003 Standard 115 -- 4.4 ISO/IEC/IEEE 12207 Standard 117 -- 4.4.1 Limitations of the ISO 12207 Standard 121 -- 4.5 ISO/IEC/IEEE 15289 Standard for the Description of Information Elements 121 -- 4.6 IEEE 730 Standard for SQA Processes 123 -- 4.6.1 Activities and Tasks of SQA 125 -- 4.7 Other Quality Models, Standards, References, and Processes 129 -- 4.7.1 Process Maturity Models of the SEI 130 -- 4.7.2 Software Maintenance Maturity Model (S3m) 135 -- 4.7.3 ITIL Framework and ISO/IEC 20000 138 -- 4.7.4 CobiT Process 142 -- 4.7.5 ISO/IEC 27000 Family of Standards for Information Security 143 -- 4.7.6 ISO/IEC 29110 Standards and Guides for Very Small Entities 144 -- 4.7.7 ISO/IEC 29110 Standards for VSEs Developing Systems 155 -- 4.8 Specific Standards for an Application Domain 156 -- 4.8.1 DO-178 and ED-12 Guidance for Airborne Systems 156 -- 4.8.2 EN 50128 Standard for Railway Applications 159 -- 4.8.3 ISO 13485 Standard for Medical Devices 161 -- 4.9 Standards and the SQAP 163 -- 4.10 Success Factors 165 -- 4.11 Further Reading 165 -- 4.12 Exercises 166 -- 5. Reviews 167 -- 5.1 Introduction 167 -- 5.2 Personal Review and Desk-Check Review 172 -- 5.2.1 Personal Review 172 -- 5.2.2 Desk-Check Reviews 175 -- 5.3 Standards and Models 179 -- 5.3.1 ISO/IEC 20246 Software and Systems Engineering: Work Product Reviews 179 -- 5.3.2 Capability Maturity Model Integration 180 -- 5.3.3 The IEEE 1028 Standard 181 -- 5.4 Walk-Through 184 -- 5.4.1 Usefulness of a Walk-Through 184 -- 5.4.2 Identification of Roles and Responsibilities 186 -- 5.5 Inspection Review 187 -- 5.6 Project Launch Reviews and Project Assessments 189 -- 5.6.1 Project Launch Review 190 -- 5.6.2 Project Retrospectives 192 -- 5.7 Agile Meetings 197 -- 5.8 Measures 199.
5.9 Selecting the Type of Review 202 -- 5.10 Reviews and Business Models 205 -- 5.11 Software Quality Assurance Plan 205 -- 5.12 Success Factors 206 -- 5.13 Tools 208 -- 5.14 Further Reading 208 -- 5.15 Exercises 208 -- 6. Software Audits 210 -- 6.1 Introduction 210 -- 6.2 Types of Audits 215 -- 6.2.1 Internal Audit 215 -- 6.2.2 Second-Party Audit 215 -- 6.2.3 Third-Party Audit 217 -- 6.3 Audit and Software Problem Resolution According to ISO/IEC/IEEE 12207 217 -- 6.3.1 Project Assessment and Control Process 218 -- 6.3.2 Decision Management Process 218 -- 6.4 Audit According to the IEEE 1028 Standard 218 -- 6.4.1 Roles and Responsibilities 220 -- 6.4.2 IEEE 1028 Audit Clause 221 -- 6.4.3 Audit Conducted According to IEEE 1028 222 -- 6.5 Audit Process and the ISO 9001 Standard 225 -- 6.5.1 Steps of a Software Audit 226 -- 6.6 Audit According to the CMMI 230 -- 6.6.1 SCAMPI Assessment Method 231 -- 6.7 Corrective Actions 233 -- 6.7.1 Corrective Actions Process 234 -- 6.8 Audits for Very Small Entities 238 -- 6.9 Audit and the SQA Plan 239 -- 6.10 Presentation of an Audit Case Study 241 -- 6.11 Success Factors 246 -- 6.12 Further Reading 247 -- 6.13 Exercises 247 -- 7. Verification and Validation 249 -- 7.1 Introduction 249 -- 7.2 Benefits and Costs of V&V 255 -- 7.2.1 V&V and the Business Models 257 -- 7.3 V&V Standards and Process Models 257 -- 7.3.1 IEEE 1012 V&V Standard 258 -- 7.3.2 Integrity Levels 260 -- 7.3.3 Recommended V&V Activities for Software Requirements 262 -- 7.4 V&V According to ISO/IEC/IEEE 12207 263 -- 7.4.1 Verification Process 265 -- 7.4.2 Validation Process 265 -- 7.5 V&V According to the CMMI Model 266 -- 7.6 ISO/IEC 29110 and V&V 267 -- 7.7 Independent V&V 268 -- 7.7.1 IV&V Advantages with Regards to SQA 271 -- 7.8 Traceability 271 -- 7.8.1 Traceability Matrix 273 -- 7.8.2 Implementing Traceability 276 -- 7.9 Validation Phase of Software Development 277 -- 7.9.1 Validation Plan 279 -- 7.10 Tests 281 -- 7.11 Checklists 282 -- 7.11.1 How to Develop a Checklist 283.
7.11.2 How to Use a Checklist 285 -- 7.11.3 How to Improve and Manage a Checklist 286 -- 7.12 V&V Techniques 287 -- 7.12.1 Introduction to V&V Techniques 287 -- 7.12.2 Some V&V Techniques 288 -- 7.13 V&V Plan 289 -- 7.14 Limitations of V&V 290 -- 7.15 V&V in the SQA Plan 291 -- 7.16 Success Factors 292 -- 7.17 Further Reading 293 -- 7.18 Exercises 293 -- 8. Software Configuration Management 295 -- 8.1 Introduction 295 -- 8.2 Software Configuration Management 296 -- 8.3 Benefits of Good Configuration Management 297 -- 8.3.1 CM According to ISO 12207 298 -- 8.3.2 CM According to IEEE 828 299 -- 8.3.3 CM According to the CMMI 299 -- 8.4 SCM Activities 301 -- 8.4.1 Organizational Context of SCM 301 -- 8.4.2 Developing a SCM Plan 302 -- 8.4.3 Identification of CI to be Controlled 303 -- 8.5 Baselines 309 -- 8.6 Software Repository and Its Branches 311 -- 8.6.1 A Simple Branching Strategy 315 -- 8.6.2 A Typical Branching Strategy 316 -- 8.7 Configuration Control 318 -- 8.7.1 Requests, Evaluation, and Approval of Changes 319 -- 8.7.2 Configuration Control Board 321 -- 8.7.3 Request for Waivers 322 -- 8.7.4 Change Management Policy 322 -- 8.8 Configuration Status Accounting 323 -- 8.8.1 Information Concerning the Status of CI 323 -- 8.8.2 Configuration Item Status Reporting 325 -- 8.9 Software Configuration Audit 325 -- 8.9.1 Functional Configuration Audit 327 -- 8.9.2 Physical Configuration Audit 327 -- 8.9.3 Audits Performed During a Project 328 -- 8.10 Implementing SCM in Very Small Entities with ISO/IEC 29110 329 -- 8.11 SCM and the SQAP 330 -- 8.12 Success Factors 331 -- 8.13 Further Reading 333 -- 8.14 Exercises 333 -- 9. Policies, Processes, and Procedures 335 -- 9.1 Introduction 335 -- 9.1.1 Standards, theCost ofQuality, and Business Models 341 -- 9.2 Policies 341 -- 9.3 Processes 345 -- 9.4 Procedures 351 -- 9.5 Organizational Standards 352 -- 9.6 Graphical Representation of Processes and Procedures 353 -- 9.6.1 Some Pitfalls to Avoid 356 -- 9.6.2 Process Mapping 357.
9.6.3 ETVX Process Notation 357 -- 9.6.4 IDEF Notation 366 -- 9.6.5 BPMN Notation 370 -- 9.7 Process Notation of ISO/IEC 29110 376 -- 9.8 Case Study 383 -- 9.9 Personal Improvement Process 388 -- 9.10 Policies, Processes, and Procedures in the SQA Plan 393 -- 9.11 Success Factors 394 -- 9.12 Further Reading 395 -- 9.13 Exercises 396 -- 10. Measurement 397 -- 10.1 Introduction—the Importance of Measurement 397 -- 10.1.1 Standards, the Cost of Quality, and Software Business Models 401 -- 10.2 Software Measurement According to ISO/IEC/IEEE 12207 402 -- 10.3 Measurement According to ISO 9001 403 -- 10.4 The Practical Software and Systems Measurement Method 404 -- 10.5 ISO/IEC/IEEE 15939 Standard 411 -- 10.5.1 Measurement Process According to ISO 15939 412 -- 10.5.2 Activities and Tasks of the Measurement Process 412 -- 10.5.3 An Information Measurement Model of ISO 15939 412 -- 10.6 Measurement According to the CMMI Model 418 -- 10.7 Measurement in Very Small Entities 421 -- 10.8 The Survey as a Measurement Tool 421 -- 10.9 Implementing a Measurement Program 425 -- 10.9.1 Step 1: Management Commitment Build-Up 426 -- 10.9.2 Step 2: Staff Commitment Build-Up 427 -- 10.9.3 Step 3: Selection of Key Processes to be Improved 427 -- 10.9.4 Step 4: Identification of the Goals and Objectives Related to the Key Process 427 -- 10.9.5 Step 5: Design of the Measurement Program 427 -- 10.9.6 Step 6: Description of the Information System to Support Measurement 428 -- 10.9.7 Step 7: Deployment of the Measurement Program 428 -- 10.10 Practical Considerations 430 -- 10.10.1 Some Pitfalls with Regards to Measurement 432 -- 10.11 The Human Side of Measurement 435 -- 10.11.1 Cost of Measurement 438 -- 10.12 Measurement and the IEEE 730 SQAP 439 -- 10.12.1 Software Process Measurement 440 -- 10.12.2 Software Product Measurement 441 -- 10.13 Success Factors 443 -- 10.14 Further Reading 443 -- 10.15 Exercises 444 -- 11. Risk Management 445 -- 11.1 Introduction 445 -- 11.1.1 Risk, the Cost of Quality and Business Models 451.
11.1.2 Costs and Benefits of Risk Management 453 -- 11.2 Risk Management According to Standards and Models 454 -- 11.2.1 Risk Management According to ISO 9001 454 -- 11.2.2 Risk Management According to ISO/IEC/IEEE 12207 455 -- 11.2.3 Risk Management According to ISO/IEC/IEEE 16085 456 -- 11.2.4 Risk Management According to the CMMI Model 459 -- 11.2.5 Risk Management According to PMBOK® Guide 461 -- 11.2.6 Risk Management According to ISO 29110 462 -- 11.2.7 Risk Management and the SQA According to IEEE 730 465 -- 11.3 Practical Considerations for Risk Management 466 -- 11.3.1 Risk Evaluation Step 468 -- 11.3.2 Risk Control Step 474 -- 11.3.3 Lessons Learned Activity 477 -- 11.4 Risk Management Roles 478 -- 11.5 Measurement and Risk Management 479 -- 11.6 Human Factors and Risk Management 483 -- 11.7 Success Factors 485 -- 11.8 Conclusion 486 -- 11.9 Further Reading 487 -- 11.10 Exercises 487 -- 12. Supplier Management and Agreements 489 -- 12.1 Introduction 489 -- 12.2 Supplier Requirements of ISO 9001 490 -- 12.3 Agreement Processes of ISO 12207 491 -- 12.4 Supplier Agreement Management According to the CMMI 494 -- 12.5 Managing Suppliers 496 -- 12.6 Software Acquisition Life Cycle 497 -- 12.7 Software Contract Types 499 -- 12.7.1 Fixed Price Contract 501 -- 12.7.2 Cost plus Percentage of Cost 502 -- 12.7.3 Cost plus Fixed Fee 502 -- 12.7.4 Risk Sharing 502 -- 12.8 Software Contract Reviews 505 -- 12.8.1 Two Reviews: Initial and Final 505 -- 12.8.2 Initial Contract Review 506 -- 12.8.3 Final Contract Review 509 -- 12.9 Supplier and Acquirer Relationship and the SQAP 510 -- 12.10 Success Factors 511 -- 12.11 Further Reading 512 -- 12.12 Exercises 512 -- 13. Software Quality Assurance Plan 514 -- 13.1 Introduction 514 -- 13.2 SQA Planning 518 -- 13.2.1 Purpose and Scope 518 -- 13.2.2 Definitions and Acronyms 518 -- 13.2.3 Reference Documents 519 -- 13.2.4 SQAP Overview—Organization and Independence 520 -- 13.2.5 SQAP Overview—Software Product Risk 524.
13.2.6 SQAP Overview—Tools 525 -- 13.2.7 SQAP Overview—Standards, Practices, and Conventions 525 -- 13.2.8 SQAP Overview—Effort, Resources, and Schedule 526 -- 13.2.9 Activities, Outcomes, and Tasks—Product Assurance 528 -- 13.2.10 Activities, Outcomes, and Tasks—Process Assurance 529 -- 13.2.11 Additional Considerations 531 -- 13.2.12 SQA Records 536 -- 13.3 Executing the SQAP 537 -- 13.4 Conclusion 539 -- 13.5 Further Reading 539 -- 13.6 Exercises 540 -- Appendix 1. Software Engineering Code of Ethics and Professional -- Practice (Version 5.2) 541 -- Appendix 2. Incidents and Horror Stories Involving Software 549 -- Glossary – Abbreviations – Acronyms 555 -- References 576 -- Index 591.
Record Nr. UNINA-9910270881503321
Laporte Claude Y.  
Hoboken, New Jersey : , : Wiley-IEEE Computer Society, Inc., , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui