DMCA
Symstra: A framework for generating object-oriented unit tests using symbolic execution (2005)
Cached
Download Links
| Venue: | In TACAS |
| Citations: | 137 - 18 self |
BibTeX
@INPROCEEDINGS{Xie05symstra:a,
author = {Tao Xie and Darko Marinov and Wolfram Schulte and David Notkin},
title = {Symstra: A framework for generating object-oriented unit tests using symbolic execution},
booktitle = {In TACAS},
year = {2005}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning of the invocation. Correspondingly, generating unit tests involves two tasks: generating method sequences that build relevant receiverobject states and generating relevant method arguments. This paper proposes Symstra, a framework that achieves both test generation tasks using symbolic execution of method sequences with symbolic arguments. The paper defines symbolic states of object-oriented programs and novel comparisons of states. Given a set of methods from the class under test and a bound on the length of sequences, Symstra systematically explores the object-state space of the class and prunes this exploration based on the state comparisons. Experimental results show that Symstra generates unit tests that achieve higher branch coverage faster than the existing test-generation techniques based on concrete method arguments. 1
Keyphrases
symbolic execution object-oriented unit test method sequence branch coverage method invocation test generation task symstra generates unit test object-state space test-generation technique novel comparison symbolic state relevant receiverobject state symbolic argument concrete method argument relevant method argument object-oriented program unit test state comparison experimental result method argument
