de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
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
ESG-Based Test Generation
FSM/SC-Based Test Generation
Tool Support
Summary
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
Conclusions
Outlook and Perspectives
Bibliography
List of Figures
List of Tables
Adaptive Cruise Control (ACC)
The Control Desk of a Marginal Strip Mower (RSM13)
Statecharts
ESGs
ISELTA
Thermostat System
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.