Software Tests
Basic data for this project
Description
With respect to software testing, two contributions were provided: First, the toolkit Muggl (Muenster generator of glass-box test cases) was developed. It automatically generates test cases for java-classes in a systematic manner. It symbolically executes java byte code to find execution paths in a program by using constraint solving and backtracking. Since the amount of identified test cases can become very large and most of them are redundant, those are eliminated that are redundant with respect to the global control- and dataflow. The feasibility of the approach was shown in experimental studies. Another contribution was a case study research in IT-enterprises in Münster with respect to testing procedures in which recommendations about best practices were provided.
- Wirtschaft
Project management at the University of Münster
| Kuchen, Herbert |
Applicants from the University of Münster
| Kuchen, Herbert |
Publications of the University of Münster resulting from the project
Ernsting Marko, Majchrzak, Tim A., Kuchen Herbert (2012) In: (eds.), Functional and (Constraint) Logic Programming. (kein Verlag angegeben). Research article in edited proceedings (conference) | Peer reviewed | Published | |
Ernsting Marko, Majchrzak Tim A., Kuchen Herbert (2012) In: Margaria Tiziana, Qiu Zongyan, Yang Hongli (eds.), 2012 Sixth International Conference on Theoretical Aspects of Software Engineering, 271-274. Wiley-IEEE Press. Research article in edited proceedings (conference) | Peer reviewed | Published |