00000cab a22000003a 4500 UP-99796217608835213 Buklod 20231007234838.0 m |o d | ta 090514s xx d | ||r ||||| || DENGII eng Tillmann, Nikolai Parameterized unit tests with unit meister. pp. 31 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. Software. Software engineering. Requirements / Specifications. Methodologies (e.g., object-oriented, structured). Testing and Debugging. Testing tools (e.g., data generators, coverage testing). Design. Verification. Algebraic data types. Automatic test input generation. Constraint solving. Symbolic execution. Unit testing. Software engineering notes. 30, 5 (2005). FO UPD DENG-II Article