| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910458600303321 |
|
|
Autore |
Utting Mark |
|
|
Titolo |
Practical model-based testing [[electronic resource] ] : a tools approach / / Mark Utting, Bruno Legeard |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
San Francisco, CA, : Morgan Kaufmann Publishers, 2006 |
|
|
|
|
|
|
|
ISBN |
|
1-280-72897-3 |
9786610728978 |
0-08-046648-6 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (455 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Testing |
Computer software - Testing - Automation |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Sommario/riassunto |
|
This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demons |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA990008979770403321 |
|
|
Titolo |
International journal of American linguistics |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Baltimore, : Douglas C. McMurtrie |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
3. |
Record Nr. |
UNINA9910767524703321 |
|
|
Titolo |
Frontiers in Software Engineering Education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers / / edited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (120 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 14387 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Education - Data processing |
Database management |
Computer science |
Software Engineering |
Programming Techniques |
Computers and Education |
Database Management |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Intro -- Preface -- Organization -- Keynotes -- SING: Greatly Expanding Software Engineering Education -- Do Software Engineers Need to Know About Social Sciences and Humanities? -- Contents -- Specializations in Software Engineering Education -- 1 Background -- 1.1 Computer Science Education -- 1.2 The Origins of Software Engineering -- 1.3 Origins of Software Engineering Education -- 2 Modern Challenges in Software Engineering -- 2.1 The Internet Changes Everything -- 2.2 Mobile Applications Change Everything Again -- 2.3 The Internet of Things and "Smart" Devices Add to Complexity -- 2.4 Artificial Intelligence Changes Everything Yet Again -- 2.5 Changes in Software Engineering Processes and Tools -- 3 The Need for Specialization in Software Engineering Education -- 3.1 Specialization in Other Professions -- 3.2 Software Engineering Specialization -- 3.3 Possible Specialization Areas -- 4 Conclusion: Future Directions in Software Engineering Education -- References -- Co-design of Modern Technology Modules with Industry and Students as Partners -- 1 Introduction -- 2 Related Work -- 3 Our Approach -- 3.1 Access to Cloud Environments -- 3.2 Solution Design of the Private Cloud -- 3.3 Implementation Details of the Private Cloud -- 3.4 Iteration and Refinement -- 4 Cloud Computing Module -- 4.1 Assessment -- 5 Discussion -- 5.1 Student Experience and Evaluation -- 5.2 Industry Experience and Feedback -- 5.3 Academic Reflection -- 6 Conclusion and Future Work -- References -- Tribal Capstone Project Course -- 1 Introduction -- 2 High-Level View -- 3 Teaching Sequences -- 4 Further Considerations -- 5 Related Work -- 6 Conclusions -- References -- Analyzing Scrum Team Impediments Using NLP -- 1 Introduction -- 2 Background -- 2.1 Agile in the Classroom -- 2.2 AI and Software Engineering -- 3 Educational Context -- 3.1 Capstone Course. |
3.2 Process and Tooling -- 4 Classifying Scrum Impediments -- 4.1 Scrum Impediments Dataset -- 4.2 Scrum Impediments Categories -- 4.3 Findings -- 5 Automated Classification of Impediments with NLP -- 5.1 Overall Classification Process -- 5.2 Building a LLM -- 6 Validation by Subject Matter Experts -- 6.1 Subject Matter Expert 1 -- 6.2 Subject Matter Expert 2 -- 7 Conclusion and Future Work -- References -- Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining -- 1 Introduction -- 2 Related Work -- 2.1 Process Mining in Education -- 2.2 Process Mining in Software Engineering -- 2.3 Process Mining in Software Engineering Education -- 3 Empirical Study -- 3.1 Datasets Description -- 3.2 Pre-processing -- 3.3 Process Mining Analysis with BupaR -- 3.4 Results -- 4 Discussion -- 4.1 Interpretation -- 4.2 Limits -- 4.3 Script: G4S-Automation -- 5 Conclusion -- A Description of the Datasets -- References -- Education to Agile: Fostering Team Awareness with Essence -- 1 Introduction -- 2 Literature Review -- 3 Extreme Development -- 3.1 Our Motivation -- 3.2 Fostering Extreme Development -- 4 The Role of Essence -- 4.1 Monitoring the Status of a Project -- 4.2 Retrospectives with Essence -- 4.3 Process Organization -- 5 Outcomes -- 6 Conclusions and Further Work -- References -- The Physical and Human Dimension of Communication in Distance Education -- 1 Introduction -- 2 Definitions and Theoretical Framework -- 2.1 Definitions -- 2.2 Collaborative Learning -- 3 The Proposed Approach -- 3.1 Overview -- 3.2 The Collaborative Distance Learning Meta-model -- 3.3 The Functional Architecture of the Learning Environment -- 4 Exploring Feasibility: Java Programming Lab Project -- 4.1 Instantiation of the Meta-model and the Functional Architecture -- 4.2 Results -- 5 Conclusion |
|
|
|
|
|
|
|
|
|
|
|
and Future Works -- References. |
Is ChatGPT 3 Safe for Students? -- 1 Introduction -- 2 Experiment -- 3 Results -- 4 Limitations and Threats to Validity -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Author Index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Château de Villebrumier, France, during January 23-25, 2023. The Editorial and the 8 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover the main topics of the workshop: education in technology and technology for education; new (and fearless) ideas on education; adjustments in teaching during pandemic: experience reports; models for class development; how to design learning objectives and outcomes; labs and practical sessions: how to conduct them; curriculum development; course design; quality course assessment; long-life studies in education; empirical research in SE education; experiences in starting-up new educational systems; blended education. FISEE 2023 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France. |
|
|
|
|
|
|
|
| |