SPP 1593: ENsurance of Software evolUtion by Run-time cErtification II

Auf einen Blick

Laufzeit
01/2016  – 08/2019
DFG-Fachsystematik

Softwaretechnik und Programmiersprachen

F?rderung durch

DFG Sachbeihilfe DFG Sachbeihilfe

Projektbeschreibung

Qualit?tsanforderungen spielen eine wichtige Rolle in verschiedenen Softwaresystemen, z.B. Sicherheit in eingebetteten Systemen oder Performance in betrieblichen Informationssystemen. Derzeit werden diese Qualit?tsanforderungen haupts?chlich zur Entwicklungszeit behandelt. Für Systeme, deren Umgebung sich zur Laufzeit ver?ndert, führt dies zu Problemen, da die Evaluationsergebnisse aus der Entwurfsphase nicht mehr dem laufenden System entsprechen. Zur Behebung dieses Problems entwickelt das Projekt ENSURE II einen modellgetriebenen Ansatz, welcher spezifisch auf die kontinuierliche und parallele Entwicklung von Qualit?tsmodellen abzielt. Dabei werden die System- und Qualit?tsmodelle stets aufeinander abgestimmt und konsistent gehalten. Weiterhin werden statistische ?berwachungstechniken verwendet, um 金贝棋牌 aus dem laufenden System für die Verfeinerung der Qualit?tsmodelle zu gewinnen. Als Resultat wird es durch den vorgeschlagenen Ansatz m?glich, Evolutionsschritte in Bezug auf die zu erfüllenden Qualit?tsanforderungen zu zertifizieren.