TY - GEN
T1 - A generic fault model for quality assurance
AU - Pretschner, Alexander
AU - Holling, Dominik
AU - Eschbach, Robert
AU - Gemmar, Matthias
PY - 2013
Y1 - 2013
N2 - Because they are comparatively easy to implement, structural coverage criteria are commonly used for test derivation in model- and code-based testing. However, there is a lack of compelling evidence that they are useful for finding faults, specifically so when compared to random testing. This paper challenges the idea of using coverage criteria for test selection and instead proposes an approach based on fault models. We define a general fault model as a transformation from correct to incorrect programs and/or a partition of the input data space. Thereby, we leverage the idea of fault injection for test assessment to test derivation. We instantiate the developed general fault model to describe existing fault models. We also show by example how to derive test cases.
AB - Because they are comparatively easy to implement, structural coverage criteria are commonly used for test derivation in model- and code-based testing. However, there is a lack of compelling evidence that they are useful for finding faults, specifically so when compared to random testing. This paper challenges the idea of using coverage criteria for test selection and instead proposes an approach based on fault models. We define a general fault model as a transformation from correct to incorrect programs and/or a partition of the input data space. Thereby, we leverage the idea of fault injection for test assessment to test derivation. We instantiate the developed general fault model to describe existing fault models. We also show by example how to derive test cases.
UR - http://www.scopus.com/inward/record.url?scp=84886861478&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-41533-3_6
DO - 10.1007/978-3-642-41533-3_6
M3 - Conference contribution
AN - SCOPUS:84886861478
SN - 9783642415326
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 87
EP - 103
BT - Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Proceedings
T2 - 16th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2013
Y2 - 29 September 2013 through 4 October 2013
ER -