Dynamic Solution of Linear Constraints for Test Case Generation
Ernsting Marko, Majchrzak Tim A., Kuchen Herbert
Research article in edited proceedings (conference) | Peer reviewedAbstract
The manual generation of test cases for unit testsis tedious. We have developed the tool Muggl, which generatestest cases based on symbolic execution and constraint solving.Solving constraints for this purpose is no trivial task and greatlyattributes to the total runtime. Hence, we developed a solver forlinear constraints adapted to the special needs of Muggl. It takesinto account the particularities of constraint retrieval throughsymbolic execution. Specifically, it is capable of incrementaladdition and backtracking of constraints. Moreover, we havedeveloped an approach to avoid rounding errors.
Details about the publication
Editors: Margaria Tiziana, Qiu Zongyan, Yang Hongli
Book title: 2012 Sixth International Conference on Theoretical Aspects of Software Engineering
Page range: 271-274
Publisher: Wiley-IEEE Press
Status: Published
Release year: 2012
Language in which the publication is written: English
Conference: 6th International Symposium on Theoretical Aspects of Software Engineering, Beijing, China
ISBN: 978-0-7695-4751-0
Keywords: test-case generation; symbolic execution; Java; constraint solving; simplex algorithm
Authors from the University of Münster
| Kuchen, Herbert | |
| Majchrzak, Tim Alexander |
Projects the publication originates from
Duration: 01/09/2008 - 30/10/2010 Funded by: Wirtschaft Type of project: Individual project | |
Duration: since 01/11/2003 Type of project: Own resources project |