Muli – The Münster Logic-Imperative Language

In der Praxis hat sich objektorientierte Programmierung mit Sprachen wie Java an vielen Stellen durchgesetzt. Solche Sprachen sind allerdings nur bedingt zur Lösung von Suchproblemen, wie man sie beispielsweise in der Produktionsplanung vorfindet, geeignet. Aus diesem Grund entwickeln wir die constraint-logische objektorientierte Programmiersprache Muli, welche einen integrierten Ansatz zur Entwicklung von Anwendungen mit Suchbereichen anbietet. Durch Muli wird Java um logische Variablen und gekapselte Suche erweitert. Zu diesem Zweck kommen eine symbolische virtuelle Maschine und Constraint Solver zum Einsatz.

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

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ührt Muggl 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.