Name
Abstract | ||
|---|---|---|
Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation operators and effective coverage criteria. However, these models easily become intractable if the system under consideration is too complex or large. Moreover, existing DG-based algorithms for test generation and optimization are rare and rather in an initial stage. Finally, DG models fail to represent languages beyond type-3 (regular). This paper proposes a grammar-based mutation testing framework, together with effective mutation operators, coverage concepts and algorithms for test sequence generation. The objective is to establish a formal framework for model-based mutation testing which enables complementary or alternative use of regular grammars, depending on the preferences of the test engineer. A case study validates the approach and analyzes its characteristic issues. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/SSIRI.2010.23 | Secure Software Integration and Reliability Improvement |
Keywords | Field | DocType |
formal framework,grammar-based mutation testing framework,test engineer,mutation testing,effective mutation operator,coverage concept,test generation,model-based mutation testing,test sequence generation,dg model,mutation operator,robustness,system testing,production,finite element methods,mathematical model,mathematics,testing,automata,directed graph,roentgenium,test coverage,software testing,grammar,context free grammars,computer science,directed graphs | Code coverage,Rule-based machine translation,Context-free grammar,System testing,Computer science,Automaton,Directed graph,Robustness (computer science),Theoretical computer science,Test engineer | Conference |
ISBN | Citations | PageRank |
978-1-4244-7435-6 | 7 | 0.48 |
References | Authors | |
17 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Fevzi Belli | 1 | 42 | 10.02 |
| Mutlu Beyazit | 2 | 51 | 7.04 |