Model-based ideal testing of sequential systems / Onur Kilincceker. Paderborn, 2024
Inhalt
- Dedication
- Abstract
- Publications
- Acknowledgements
- Contents
- List of Figures
- List of Tables
- Listings
- Acronyms
- Foundations and Related Work
- 1 Introduction
- 2 Related Work
- 2.1 Validation of Programs Written in HDL
- 2.2 Graphical User Interface Testing
- 2.3 Holistic Testing
- 2.4 Mutation Testing
- 2.5 Ideal Testing
- 3 Background
- Approaches
- 4 Test Generation Based on Regular Expression Applied to HDL Programs
- 5 Test Generation Based on Contextual Regular Expression Applied Graphical User Interface Testing
- 5.1 Motivation For Graphical User Interface Testing
- 5.2 The Approach Based on Contextual Regular Expression
- 6 Model-Based Ideal Testing (MBIT)
- 6.1 Model-based Ideal Testing for HDL Programs
- 6.2 Model-based Ideal Testing for Graphical User Interface
- 7 Case Studies, Results, and Evaluation
- Further Perspectives and Conclusions
- 8 Extending Sequential Systems for Achieving Fault Tolerance
- 8.1 Motivation For Achieving Fault Tolerance
- 8.2 Related Work On Fault Tolerance
- 8.3 System Extension to Achieving Fault Tolerance
- 8.4 Case Study
- 8.5 Results and Evaluation
- 8.6 Threats to Validity
- 9 Conclusions
- 10 Follow-on Projects
- Bibliography
- Declaration