Abschlussarbeiten

Offene Abschlussarbeiten

Wie bieten Abschlussarbeiten in folgenden Themengebieten an:

• Modellbasierte Software-Entwicklung und Qualitätssicherung
• Konfigurierbare Software
• Entwurf von Datenbank-Applikationen
• Quantum Software Engineering

Bei Interesse bitte frühzeitig melden.

Abgeschlossene Bachelorarbeiten

• Modellierung und Analyse konfigurierbarer Scheduling-Probleme (2024)
• Modellbasierte Rückverfolgbarkeit in Produktionsabläufen (2024)
• Kodierungsstrategien von boole’schen Konfigurationsräumen für Ansätze zum Feature-Modell-Lernen (2024)
• Experimentelle Auswertung von Unit-Test-Generatoren für Java-Programme (2024)
• Konzeption und Implementierung eines Editors für Klassifikationsbäume zum Funktionsorientierten Testen (2024)
• Ansätze zum maschinellen Lernen für den Konfigurationsraum des Linux Kernels (2024)
• Modellbasierte Kompositionsstrategien für Microservices eines Web-basierten Service-Portals (2024)
• Performance-Evaluation von SAT-Solving-Verfahren (2023)
• Inkrementelles Paarweises Sampling basierend auf grundlegenden SAT Solving Verfahren (2023)
• Integration und Evaluation von Werkzeugen zur Programmanalyse für den Einsatz in der Lehre (2022)
• Performance-Vergleich von Optimierungsstrategien für SQL Anfragen (2022)
• Testdatengenerierung zum automatisierten Regressionstesten von Service-Applikationen im Maschinenbau (2022)
• Evaluation induktiver Strategien zur Test-getriebenen Programmsynthese (2022)
• Entwurf und Implementierung einer Modellierungssprache zur Automatisierung von Datentransformationen in Geschäftsprozessen (2022)
• Conflict-driven Clause-Learning-Strategien zur Analyse von Konfigurationsmodellen (2022)
• Vergleich des SQL-Sprachumfangs ausgewählter relationaler Datenbanksysteme (2021)
• Priorisierungsstrategien für die SAT-basierte Analyse von Konfigurationsmodellen variantenreicher Software (2021)
• Performance-Vergleich von BDD-basierten und SAT-basierten Analysestrategien für Konfigurationsmodelle (2021)
• Strukturierte Code-Generierung aus Kontrollflussautomaten (2021)
• Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen (2021)
• Fallstudien zum Vergleich von relationalen Datenbanksystemen und Graphdatenbanken in Neo4J (2021)
• Analyse echtzeitkritischer Rekonfigurationsentscheidungen für dynamische Software-Produktlinien (2020)

Abgeschlossene Masterarbeiten

• Validation of Reliability Specifications for Connected Home Comfort Systems (2024)
• Virtualised Testing Strategies for Ensuring Automotive Software Quality Standards (2024)
• Entwicklung einer integrierten Web-Applikation zur automatisierten Testdatensynthese für SQL-Datenbanken (2024)
• Testansätze für relationale Datenbanksysteme (2023)
• Anfrage-spezifische Synthese großer Testdatensätze für relationale Datenbanken (2023)
• Vergleich der Effizienz und Effektivität von Feature-Modell-Synthese und Feature-Modell-Lernen (2023)
• Testfall-Generierung für Anwendungen mit unendlichem Konfigurationsraum am Beispiel einer Controlling-Software zur Leistungsplanung im Krankenhaus (2021)
• Effiziente Testfallgenerierung für C-Programme durch Testability-Transformationen (2021)
• Entwicklung eines automatisierten Testwerkzeugs für Enterprise Applications (2021)
• Entwurf und Implementierung eines experimentellen SAT-Solving-Frameworks zur automatisierten Analyse komplexer Softwaresysteme (2021)
• Regelbasiertes Mischen von Programmvarianten (2020)

Vorlagen

• LaTeX-Vorlage für Abschlussarbeiten an der Professur MBE
• PowerPoint-Vorlage für Abschlussvorträge an der Professur MBE

Um LaTeX-Dokumente zu bearbeiten und zu setzen, empfehlen wir MiKTeX (darin ist der Editor TeXworks enthalten).