Aktuelle Forschungsprojekte am IAI

Nachfolgend geben wir eine Übersicht über aktuelle Forschungsprojekte an unserem Institut. Wenn Sie Interesse haben, an einem unserer Projekte im Rahmen Ihrer Abschlussarbeit (Bachelor-, Master- oder Diplomarbeit) mitzuwirken, können Sie gerne Kontakt zu dem jeweiligen Projektansprechpartner aufnehmen.

Forschungsprojekt Astl

Ziel ist die Entwicklung und Implementierung einer Skriptprogrammiersprache, die ausgehend von einem abstrakten Syntaxbaum u.a. regelbasiert Mutanten erzeugen kann, statische Analysen erlaubt, u.a. auch auf Basis von Kontrollflussgraphen, und die Instrumentierung von Programmtext ermöglicht. Anders als ähnliche Projekte in der Vergangenheit ist Astl unabhängig von der Programmiersprache, in der die zu untersuchenden oder manipulierenden Programme geschrieben sind. Momentan ist die Unterstützung von C, Java und VHDL für Astl in Entwicklung.

Ansprechpartner: Dr. Andreas Borchert

Mutationsanalyse

Die Mutationsanalyse ist ein sehr mächtiges Verfahren zur Bewertung von Teststrategien. Problematisch ist jedoch die Laufzeit im Vergleich zu anderen Ansätzen und die Existenz von äquivalenten Mutanten. Forschungsschwerpunkt ist daher die Steigerung der Effizienz und der Effektivität.

Ansprechpartner: René Just

Bewertung von Teststrategien und insbesondere von Orakellösungen

Partielle Orakel sind eine mögliche Lösung des Orakelproblems, jedoch müssen solche Orakel aufgrund ihrer (möglicherweise) falsch-negativen Aussagen hinsichtlich ihrer Qualität bewertet werden. Als Bewertungsverfahren kommt hierbei die Mutationsanalyse zum Einsatz. Derzeit stehen die Fragestellungen nach der Anwendbarkeit partieller Orakel in den unterschiedlichen Testphasen, sowie das Generieren adäquater Eingaben als Bewertungsbasis im Vordergrund.

Ansprechpartner: René Just

Forschunsprojekt MAJOR

MAJOR steht für Mutation Analysis in a Java COmpileR. Informationen zu diesem Projekt finden Sie auf der Projekthomepage.

Ansprechpartner: René Just