Hollmann, Axel: Model-based mutation testing for test generation and adequacy analysis. 2011
Inhalt
- Symbols and Notation
- Introduction
- Model-Based Mutation Testing
- Modeling Techniques
- Mutation Operators
- Case Studies
- Main Contributions and Novelties
- Outline
- Model-Based Mutation Testing (MBMT)
- Mutation Analysis for Evaluating Model-Based Test Generation
- MBMT for Test Generation and Test Adequacy Analysis
- Summary
- Basic Mutation Operators Applied to Different Models
- Initial Level: Mutation Operators for Directed Graphs (DG)
- Second Level: Event-Based Interpretation of Directed Graphs–Event Sequence Graphs (ESG)
- Third Level: Taking States into Account–Mutation with Finite-State Machines (FSM)
- Advanced Level: Considering Concurrency and Hierarchy–Mutation with Statecharts (SC)
- Comparison of Mutation Operators
- Summary
- Test Generation and Tool Support
- Three Case Studies
- Case Study I: Music Management System–an Interactive System
- Case Study II: A Driver Assistance System–an Embedded Reactive System
- Case Study III: The Control Desk of a Marginal Strip Mower–a Proactive System
- Overall Results
- Analysis and Discussion of the Results
- Limitations and Threats to Validity
- Summary
- Mutation Adequate Test Generation
- Fault Modeling
- A Further Coverage Criterion and Extended Test Process
- Optimizing Test Sets
- Example
- Summary
- Further Applications of Basic Operators
- Scalable Robustness Testing
- Mutant-Based Testing with Model Checkers
- Model-Based Integration Testing
- Summary
- Related Work
- Implementation-Based Mutation Analysis
- Model-/Specification-Based Mutation Analysis
- Comparison with Other Approaches
- Summary
- Conclusions and Perspectives
- Bibliography
- List of Figures
- List of Tables
- Adaptive Cruise Control (ACC)
- The Control Desk of a Marginal Strip Mower (RSM13)
- ISELTA
- Thermostat System