Forschungsinteresse
Hier gibt es eine Liste meiner Publikationen und ein Curriculum Vitae.Softwarequalitätssicherung
Der Schwerpunkt meiner Forschungsinteressen liegt auf Softwarequalitätssicherung im Allgemeinen und Testen im Besonderen. Dabei beschäftige ich mich besonders mit folgenden Fragenstellungen:- Gamification in der Qualitätssicherung
- Methoden und Techniken für Softwarequalitätssicherung
- Software-Architektur und Qualität
- Qualitätssicherung von KI-Systemen
- Testen von objektorientierten / webbasierten Softwaresystemen
- Testen von nichtfunktionalen Anforderungen
- Automatisierte Testfall- und Testdatengenerierung
- Testwerkzeuge
- Infrastrukturen für CI/CD
Modellbasierte/modellgetriebene Entwicklung
Daneben beschäftigte ich mich in der Vergangenheit mit modellgetriebener Entwicklung im Allgemeinen und in Zusammenhang mit Testen:- Modelle in allen Phasen der Entwicklung
- Modellgetriebenes Requirements Engineering
- Beziehung zwischen Modellen und Code
- Modellbasierter Test
- Spezifikationssprachen und Testen
- Automatische Testfallgenerierung aus Spezifikationen
- Erstellung testbarer Spezifikationen
- Nutzbarkeit von UML-Diagrammen für das Testen
- Konzeption von Frameworks für die Testunterstützung
- Aspekte zum Testen, Testen von aspektorientierten Programmen
Betreute Diplomarbeiten
Im Rahmen meiner Tätigkeit an der TU Berlin habe ich einige Diplomarbeiten zum Thema Testen betreut. Der Schwerpunkt lag dabei auf dem Testen objektorientierter Softwaresysteme.- Thomas Wierczoch:
Erstellung testbarer UML-Modelle zur Unterstützung der
Automatisierung von Klassentests für objektorientierte Systeme
- Anpassung der UML durch ein Test-Profil an die Anforderungen eines Klassentests
- Konzeption zur späteren Entwicklung eines Werkzeugs zur Erstellung testbarer UML-Modelle
- Nghia Dang Duc:
Entwicklung eines generischen Testtreibers für Java-Klassen mit Hilfe von Java-Reflections
- Entwicklung eines Testtreibers zur Sendung von Testfällen an ein Testobjekt und zur halbautomatischen Testauswertung
- Untersuchung der Nutzung von Java-Reflections in Hinblick auf den Test
- Umsetzung von OCL-Ausdrücken zur Beschreibung von Zusicherungen zur Testauswertung
- Boris Czerwinski:
Anwendbarkeit von Testverfahren für komponentenbasierte Systeme am Fallbeispiel eines Verwaltungssystems für Handwerksbetriebe
- Entwurf und Implementierung eines komponentenbasierten Systems unter Berücksichtigung der Testbarkeit
- Untersuchung und Bewertung verschiedener Testverfahren auf ihre Eignung für komponentenbasierte Systeme
- Matthias Vösgen:
Entwicklung eines aspektorientierten Frameworks für den objektorientierten Unit-Test
- Anwendbarkeit von aspektorientierten Techniken beim objektorientierten Unit-Test
- Entwicklung eines JUnit-ähnlichen Frameworks
- Alexander Winter:
Entwicklung einer generischen Schnittstelle zur Instrumentierung
objektorientierter Software und Testdurchführung
- Definition einer sprachunabhängigen Schnittstelle
- Prototypische Implementierung für eine objektorientierte Sprache
Links zum Testen
- Fachgruppe "Test, Analyse und Verifikation von Software" der Gesellschaft für Informatik
https://fg-tav.gi.de/- Arbeitskreis "Innovative Testmethoden"
https://ak-itm.gi.de/
- Arbeitskreis "Innovative Testmethoden"