A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques. Paradkar, A. Information and Software Technology, 48(10):949--959, 2006. ![A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex Model-based test generation (MBTG) is becoming an area of active research. These techniques differ in terms of (1) modeling notations used, and (2) the adequacy criteria used for test generation. This paper (1) reviews different classes of MBTG techniques at a conceptual level, and (2) reports results of three case studies comparing various techniques in terms of their fault detection effectiveness. Our results indicate that MBTG technique which employs mutation and explicitly generates state verification sequences has better fault detection effectiveness than those based on boundary values, and predicate coverage criteria for transitions. Instead of a default adequacy criteria, certain techniques allow the user to specify test objectives in addition to the model. Our experience indicates that the task of defining appropriate test objectives is not intuitive. Furthermore, notations provided to describe such test objectives may have inadequate expressive power. We posit the need for a suitable fault modeling notation which also treats domain invariants as first class entities.
@article{ paradkar_quest_2006,
series = {Advances in {Model}-based {Testing}},
title = {A quest for appropriate software fault models: {Case} studies on fault detection effectiveness of model-based test generation techniques},
volume = {48},
issn = {0950-5849},
shorttitle = {A quest for appropriate software fault models},
url = {http://www.sciencedirect.com/science/article/pii/S0950584906000395},
doi = {10.1016/j.infsof.2006.03.003},
abstract = {Model-based test generation (MBTG) is becoming an area of active research. These techniques differ in terms of (1) modeling notations used, and (2) the adequacy criteria used for test generation. This paper (1) reviews different classes of MBTG techniques at a conceptual level, and (2) reports results of three case studies comparing various techniques in terms of their fault detection effectiveness. Our results indicate that MBTG technique which employs mutation and explicitly generates state verification sequences has better fault detection effectiveness than those based on boundary values, and predicate coverage criteria for transitions. Instead of a default adequacy criteria, certain techniques allow the user to specify test objectives in addition to the model. Our experience indicates that the task of defining appropriate test objectives is not intuitive. Furthermore, notations provided to describe such test objectives may have inadequate expressive power. We posit the need for a suitable fault modeling notation which also treats domain invariants as first class entities.},
number = {10},
urldate = {2014-07-21TZ},
journal = {Information and Software Technology},
author = {Paradkar, Amit},
year = {2006},
keywords = {Fault detection effectiveness, Model-based test generation, _done, _model_of_faults, _target_is_code},
pages = {949--959}
}
Downloads: 0
{"_id":"7AStChPSR3Y6BLaWP","bibbaseid":"paradkar-aquestforappropriatesoftwarefaultmodelscasestudiesonfaultdetectioneffectivenessofmodelbasedtestgenerationtechniques-2006","downloads":0,"creationDate":"2015-04-15T11:01:18.044Z","title":"A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques","author_short":["Paradkar, A."],"year":2006,"bibtype":"article","biburl":"http://bibbase.org/zotero/troeger","bibdata":{"abstract":"Model-based test generation (MBTG) is becoming an area of active research. These techniques differ in terms of (1) modeling notations used, and (2) the adequacy criteria used for test generation. This paper (1) reviews different classes of MBTG techniques at a conceptual level, and (2) reports results of three case studies comparing various techniques in terms of their fault detection effectiveness. Our results indicate that MBTG technique which employs mutation and explicitly generates state verification sequences has better fault detection effectiveness than those based on boundary values, and predicate coverage criteria for transitions. Instead of a default adequacy criteria, certain techniques allow the user to specify test objectives in addition to the model. Our experience indicates that the task of defining appropriate test objectives is not intuitive. Furthermore, notations provided to describe such test objectives may have inadequate expressive power. We posit the need for a suitable fault modeling notation which also treats domain invariants as first class entities.","author":["Paradkar, Amit"],"author_short":["Paradkar, A."],"bibtex":"@article{ paradkar_quest_2006,\n series = {Advances in {Model}-based {Testing}},\n title = {A quest for appropriate software fault models: {Case} studies on fault detection effectiveness of model-based test generation techniques},\n volume = {48},\n issn = {0950-5849},\n shorttitle = {A quest for appropriate software fault models},\n url = {http://www.sciencedirect.com/science/article/pii/S0950584906000395},\n doi = {10.1016/j.infsof.2006.03.003},\n abstract = {Model-based test generation (MBTG) is becoming an area of active research. These techniques differ in terms of (1) modeling notations used, and (2) the adequacy criteria used for test generation. This paper (1) reviews different classes of MBTG techniques at a conceptual level, and (2) reports results of three case studies comparing various techniques in terms of their fault detection effectiveness. Our results indicate that MBTG technique which employs mutation and explicitly generates state verification sequences has better fault detection effectiveness than those based on boundary values, and predicate coverage criteria for transitions. Instead of a default adequacy criteria, certain techniques allow the user to specify test objectives in addition to the model. Our experience indicates that the task of defining appropriate test objectives is not intuitive. Furthermore, notations provided to describe such test objectives may have inadequate expressive power. We posit the need for a suitable fault modeling notation which also treats domain invariants as first class entities.},\n number = {10},\n urldate = {2014-07-21TZ},\n journal = {Information and Software Technology},\n author = {Paradkar, Amit},\n year = {2006},\n keywords = {Fault detection effectiveness, Model-based test generation, _done, _model_of_faults, _target_is_code},\n pages = {949--959}\n}","bibtype":"article","doi":"10.1016/j.infsof.2006.03.003","id":"paradkar_quest_2006","issn":"0950-5849","journal":"Information and Software Technology","key":"paradkar_quest_2006","keywords":"Fault detection effectiveness, Model-based test generation, _done, _model_of_faults, _target_is_code","number":"10","pages":"949--959","series":"Advances in Model-based Testing","shorttitle":"A quest for appropriate software fault models","title":"A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques","type":"article","url":"http://www.sciencedirect.com/science/article/pii/S0950584906000395","urldate":"2014-07-21TZ","volume":"48","year":"2006","bibbaseid":"paradkar-aquestforappropriatesoftwarefaultmodelscasestudiesonfaultdetectioneffectivenessofmodelbasedtestgenerationtechniques-2006","role":"author","urls":{"Paper":"http://www.sciencedirect.com/science/article/pii/S0950584906000395"},"keyword":["Fault detection effectiveness","Model-based test generation","_done","_model_of_faults","_target_is_code"],"downloads":0},"search_terms":["quest","appropriate","software","fault","models","case","studies","fault","detection","effectiveness","model","based","test","generation","techniques","paradkar"],"keywords":["fault detection effectiveness","model-based test generation","_done","_model_of_faults","_target_is_code"],"authorIDs":[],"dataSources":["zHc5HdgBCDgkarEqH"]}