Im Forschungsprojekt UnITed werden in Zusammenarbeit mit dem Lehrstuhl für Software Engineering Verfahren zur automatischen Generierung von Testdaten für modellbasierte Testprozesse entwickelt.
Das Vorhaben verfolgt das Ziel, deutlich über den derzeitigen Stand der Technik hinaus die Testphase hochzuverlässiger, insbesondere sicherheitskritischer Software zu automatisieren, um dadurch bei reduzierten Kosten die Erkennung von Restfehlern in komplexer Software zu erhöhen. Die automatisierte Testprozedur wird in entsprechende Werkzeuge umgesetzt und im realen medizintechnischen Umfeld erprobt.