loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Ordering Coverage Goals in Model Checker Based Testing
Lillehammer, Norway
April 09-April 11
ISBN: 978-0-7695-3388-9
Model-based testing techniques select test cases according to test goals, which might be coverage criteria or mutation adequacy. Complex criteria and large models lead to large test suites, and a test case created for one coverage item might cover several other items as well. Therefore, test case generation is optimized in order to avoid unnecessary test cases and minimize the test generation and execution costs. Because of this optimization the order in which test goals are selected is expected to have an impact on both the performance of the test case generation and the size of resulting test suites, although finding the optimal order is not feasible in general. In this paper we report on experiments to determine the effects of the order in which test goals are selected on performance and the size of resulting test suites, and evaluate different heuristics to select test goals such that time and size are minimized. The approach described is based on test case generation with model checkers, and experimentation leads to the conclusion that the order matters less than expected.
Citation:
Gordon Fraser, Franz Wotawa, "Ordering Coverage Goals in Model Checker Based Testing," icstw, pp.31-40, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008
Usage of this product signifies your acceptance of the Terms of Use.