Dynamic Solution of Linear Constraints for Test Case Generation
Ernsting Marko, Majchrzak Tim A., Kuchen Herbert
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedZusammenfassung
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 zur Publikation
Herausgeber*innen: Margaria Tiziana, Qiu Zongyan, Yang Hongli
Buchtitel: 2012 Sixth International Conference on Theoretical Aspects of Software Engineering
Seitenbereich: 271-274
Verlag: Wiley-IEEE Press
Status: Veröffentlicht
Veröffentlichungsjahr: 2012
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 6th International Symposium on Theoretical Aspects of Software Engineering, Beijing, China
ISBN: 978-0-7695-4751-0
Stichwörter: test-case generation; symbolic execution; Java; constraint solving; simplex algorithm
Autor*innen der Universität Münster
| Kuchen, Herbert | |
| Majchrzak, Tim Alexander |
Projekte, aus denen die Publikation entstanden ist
Laufzeit: 01.09.2008 - 30.10.2010 Gefördert durch: Wirtschaft Art des Projekts: Gefördertes Einzelprojekt | |
Laufzeit: seit 01.11.2003 Art des Projekts: Eigenmittelprojekt |