Verbesserung moderner KI-basierter Testframeworks durch die Integration einer formalen Schicht im Hintergrund mithilfe von automatisch gelernten Modellen.
Automata Learning for Coverage, Heuristics, and Evaluation of Models (ALCHEM)
Partner Call offen bis: 08.05.2026
Projektstart: Mai 2026
Automatische Generierung eines Modells im Rahmen vom LLM-basierten Tests, um das folgende zu erreichen:
- Gewährleistung einer hinreichenden Testabdeckung zur Erfüllung regulatorischer Anforderungen
- Minimierung manueller Validierung
- Nachvollziehbarkeit der LLM-Entscheidungen
Expected results
- Ein Modell das alle existierenden Testfälle abbildet
- Eine Testabdeckung aller wichtigen Modellkomponenten
- Eine Meldung bei unerwarteten Ergebnissen während des Regressionstestens
