Der Münster-Generator für Glass-box-Testfälle (Muggl)

Grunddaten zu diesem Projekt

Art des Projektes: Eigenmittelprojekt

Laufzeit an der Universität Münster: seit 01.11.2003

Beschreibung

Das Testen von Software-Komponenten ist ein aufwändiger Prozess, der durch den Einsatz geeigneter Werkzeuge unterstützt werden kann. Mit Muggl arbeiten wir an einem solchen Werkzeug. Der Muenster generator of glass-box test cases dient der automatischen Erzeugung vonTestfällen. Dazu führtMuggl Java Bytecode symbolisch aus und sucht dabei nach Ausführungspfaden durch ein Programm. Um diese Aufgabe effizient bearbeiten zu können, kommen Technicken wie Constraint Solving, die Erzeugung von Entscheidungspunkten sowie Backtracking zum Einsatz. Als Ergebnis wird ein Satz von Testfällen in Form von JUnit-Tests erstellt, die direkt genutzt werden können.

Stichwörter: Softwaretests; Glass-Box Testing; Automatische Testfallgenerierung

Webseite des Projekts: https://github.com/wwu-pi/muggl/

Projektleitung der Universität Münster

Kuchen, Herbert

Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)

European Research Center for Information Systems (ERCIS)

Wissenschaftliche Projektmitarbeiter*innen der Universität Münster

Dageförde, Jan	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)
Majchrzak, Tim Alexander	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)
Troost, Laura	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)
Winkelmann, Hendrik	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)

Publikationen der Universität Münster entstanden im Projekt

Leveraging Test Case Generation in the Testing Process – An Integration of Human Oracles with Derived Oracles Von Hof V (2017) In: Fujita H, Selamat A, Omatu S (Hrsg.), New Trends in Intelligent Software Methodologies, Tools and Techniques, 480-489. Amsterdam, Niederlande: IOP Publishing. doi:10.3233/978-1-61499-800-6-480 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Falsification of Java Assertions Using Automatic Test-Case Generators Caballero R, Montenegro M, Kuchen H, von Hof V (2016) In: ((Bitte Journal prüfen)), 2016(9), 177-187. Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Automatic scalable distributed test case execution. Introducing the Muenster DiStributed Test Case Runner for Java (MiDSTR) von Hof Vincent, Fuchs Andreas (2018) In: (Hrsg.), . (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Test-Case Generation for Web-Service Clients Fuchs Andreas, Kuchen Herbert (2018) In: (Hrsg.), . (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Automated Test Case Generation based on Coverage Analysis Majchrzak T, Kuchen H (2009) In: (Hrsg.), , 259-266. Tianjin, China: (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) \| Veröffentlicht

Alle Publikationen anzeigen (12)

Leveraging Test Case Generation in the Testing Process – An Integration of Human Oracles with Derived Oracles Von Hof V (2017) In: Fujita H, Selamat A, Omatu S (Hrsg.), New Trends in Intelligent Software Methodologies, Tools and Techniques, 480-489. Amsterdam, Niederlande: IOP Publishing. doi:10.3233/978-1-61499-800-6-480 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Falsification of Java Assertions Using Automatic Test-Case Generators Caballero R, Montenegro M, Kuchen H, von Hof V (2016) In: ((Bitte Journal prüfen)), 2016(9), 177-187. Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Automatic scalable distributed test case execution. Introducing the Muenster DiStributed Test Case Runner for Java (MiDSTR) von Hof Vincent, Fuchs Andreas (2018) In: (Hrsg.), . (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Test-Case Generation for Web-Service Clients Fuchs Andreas, Kuchen Herbert (2018) In: (Hrsg.), . (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Automated Test Case Generation based on Coverage Analysis Majchrzak T, Kuchen H (2009) In: (Hrsg.), , 259-266. Tianjin, China: (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) \| Veröffentlicht