Test-Case Generation using Cooperating Constraint Solvers
Basic data for this project
Type of project: Individual project
Duration at the University of Münster: 01/01/2014 - 31/12/2015
Description
The aim is the development of a tool for the automatic generation of test cases for programs written in Java. The set of generated test cases should cover all control and/or data flows of a considered system of Java classes. Technically, the tool is based on a symbolic Java virtual machine which represents initially unknown inputs by logic variables and handles non-determinism via backtracking. At the end of a symbolic computation, a set of constraints has been collected which will be solved by cooperating constraint solvers.
Keywords: test case; control-flow coverage; dataflow coverage; symbolic computation; constraint solver
Funding identifier: 57049954
Funder / funding scheme:
- German Academic Exchange Service (DAAD)
Project management at the University of Münster
| Kuchen, Herbert | Practical Computer Science Group (PI) |
Applicants from the University of Münster
| Kuchen, Herbert | Practical Computer Science Group (PI) |
Research associates from the University of Münster
| von Hof, Vincent | Practical Computer Science Group (PI) |
Project partners outside the University of Münster
- Complutense University of Madrid (UCM)Spain