Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Parameterized Unit Tests with Unit Meister

Nikolai Tillmann and Wolfram Schulte

Abstract

Parameterized unit tests extend the current industry practice of using closed unit tests defined as parameterless methods. Traditional closed unit tests are re-obtained by instantiating the parameterized unit tests. We have developed the prototype tool Unit Meister, which uses symbolic execution and constraint solving to automatically compute a minimal set of inputs that exercise a parameterized unit test given certain coverage criteria. In addition, the parameterized unit tests can be used as symbolic summaries during symbolic execution, which allows our approach to scale for arbitrary abstraction levels. Unit Meister has a command-line interface, and is also integrated into Visual Studio 2005 Team System.

Details

Publication typeInproceedings
Published inProceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering
URLhttp://doi.acm.org/10.1145/1081706.1081745
Pages241-244
ISBN1-59593-014-0
PublisherAssociation for Computing Machinery, Inc.
> Publications > Parameterized Unit Tests with Unit Meister