idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Wenn es darum geht, bestehende Software-Systeme zu pflegen und weiterzuentwickeln, stehen TechnikerInnen vor vielfältigen Herausforderungen. In einem neuen Projekt will man nun Methoden und Werkzeuge für diese Prozesse weiterentwickeln.
„Die Wartung von existierenden Software-Systemen zählt zu den schwierigsten, aber auch wichtigsten Aufgaben im Bereich des Software Engineerings“, so Martin Pinzger (Institut für Informatik-Systeme) und Andreas Bollin (Institut für Informatikdidaktik). Bevor man sich an die eigentliche Wartungstätigkeit machen kann, müssen meist große und komplexe Programme in mühevoller Arbeit analysiert und verstanden werden – mit dem Ziel herauszufinden, was die ursprünglichen Erbauer der Systeme geplant hatten, um so Wartungsfehler zu vermeiden. Pinzger ergänzt: „In der Literatur findet man viele Studien, die belegen, dass alleine durch diesen Aufwand des Verstehens 40 bis 80 Prozent der Ressourcen aufgewendet werden.“
In einem neuen von der Österreichischen Forschungsförderungsgesellschaft FFG unterstützten Projekt mit dem Titel „Safe Round-Trip Software Engineering for Improving the Maintainability of Legacy Software Systems“ arbeitet man nun an Methoden, die EntwicklerInnen dabei helfen, im System steckendes, implizit vorhandenes Wissen zu rekonstruieren und so schneller die Funktionen des Programms zu verstehen beziehungsweise zu dokumentieren. „Wir schlagen erstmals einen Prozess vor, bei dem das existierende Software-System größtenteils automatisch in ein formales Modell umgewandelt wird. Durch die Verwendung der so genannten ‚Rewriting Logic‘ wird es möglich sein, die Semantik der Programmteile beizubehalten, das neu erzeugte formale Modell gründlicher Prüfungen zu unterziehen, umzuformen und so Wartungsarbeiten auf der Beschreibungsebene durchzuführen und im Idealfall das Modell in ein Programm einer neuen Sprachgeneration zu übersetzen.“
Erste Ergebnisse werden für Ende 2016 erwartet. Im Forschungsprojekt arbeiten das Institut für Informatik-Systeme und das Institut für Informatikdidaktik der Alpen-Adria Universität, XAutomata Technology GmbH und die Università Politecnica delle Marche in Ancona zusammen.
Criteria of this press release:
Journalists, all interested persons
Information technology, Mathematics
transregional, national
Cooperation agreements, Research projects
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
