Institutsseminar/2025-12-12

Aus SDQ-Institutsseminar
Termin (Alle Termine)
Datum Freitag, 12. Dezember 2025
Uhrzeit 11:30 – 12:45 Uhr (Dauer: 75 min)
Ort Raum 348 (Gebäude 50.34)
Prüfer/in Anne Koziolek
Webkonferenz https://sdq.kastel.kit.edu/institutsseminar/Microsoft Teams
Vorheriger Termin Fr 5. Dezember 2025
Nächster Termin Fr 19. Dezember 2025

Termin in Kalender importieren: iCal (Download)

Vorträge

Dead Code Analysis: Combination of static analysis with runtime monitoring
Vortragende(r) Steffen Steudle
Vortragstyp Masterarbeit
Betreuer(in) Manar Mazkatli
Vortragssprache Deutsch
Vortragsmodus online
Kurzfassung Dead, unused or unreachable code degrades source code maintainability and comprehensibility. Dead code analyses aim to identify such code, allowing developers to safely remove it. However, due to dynamic language features, purely static analyses often produce false positives. This master's thesis presents a hybrid approach to reduce these false positives. We first analyze the code statically to identify potential dead code. Based on these static results, we then instrument the code to collect runtime information about which parts are actually used during execution. This combination of static analysis with dynamic validation allows us to filter out false positives, providing developers with more accurate and reliable results for improving code health.
Tackling Orphaned Commits in Architectural Design Decision Recovery - The Addar Platform
Vortragende(r) Eric Wehner
Vortragstyp Bachelorarbeit
Betreuer(in) Tobias Hey
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung This thesis presents the Addar platform to address the orphaned commits problem in the architectural design decision recovery component, RecovAr, of the prominent ARCADE suite. The problem emerged as the most severe after an analysis of the key limitations of existing design decision recovery tools. A novel way to reintroduce commits orphaned by a design decision is provided: the Architecture Impact Group. Two additional subgoals of this work are to improve evaluation possibilities in recovery systems and to reduce the over-reliance of such systems on the quality of repository maintenance. To address these, local Git-based implementations of necessary functionality were conceived, and detailed analysis reports were integrated.
Vitruv OCL Current State of the Art
Vortragende(r) Max Oesterle
Vortragstyp Vortrag
Betreuer(in) Arne Lange
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Im Kontext von modellbasierter Softwareentwicklung stellt die Konsistenzerhaltung zwischen verschiedenen Metamodellen eine zentrale Herausforderung dar. VitruviusOCL erweitert die Object Constraint Language (OCL) um Mechanismen zur deklarativen Spezifikation von Consistency Relations in einer VSUM (Virtual Single Underlying Model).
Neuen Vortrag erstellen

Hinweise