Home // International Journal On Advances in Software, volume 5, numbers 3 and 4, 2012 // View article

Mining Test Cases: Optimization Possibilities

Authors:
Edith Werner
Jens Grabowski

Keywords: Machine Learning, Reverse Engineering, Testing

Abstract:
System monitors need oracles to determine whether observed traces are acceptable. One method is to compare the observed traces to a formal model of the system. Unfortunately, such models are not always available — software may be developed without generating a formal model, or the implementation deviates from the original specification. In previous work, we have proposed a learning algorithm to construct a formal model of the software from its test cases, thereby providing a means to transform test cases for offline testing into an oracle for monitoring. In this paper, we refine our learning algorithm with a set of state-merging rules that help to exploit the test cases for additional information. We discuss our approach in detail and identify optimization areas. Using the additional information mined from the test cases, models can be learned from smaller test suites.

Pages: 200 to 211

Copyright: Copyright (c) to authors, 2012. Used with permission.

Publication date: December 31, 2012

Published in: journal

ISSN: 1942-2628