« Projekte
Konsistenzprüfungen für Komponentenkompositionen
Projektbearbeiter:
Michael Schaarschmidt
Finanzierung:
Fördergeber - Sonstige;
Die Softwareentwicklung der Zukunft wird darin bestehen, vorhandene Softwarekomponenten zu einem lauffähigen System zusammenzubauen. Problematisch ist hierbei, ob die Komponenten zusammenpassen und zusammen ihre Aufgaben lösen. Unser Ausgangspunkt ist deswegen, dass jede Komponente einen Vertrag und ein Protokoll hat. Dieses Projekt untersucht, in wie weit Programmanalysetechniken helfen können, ob eine Komponente gemäß des Protokolls korrekt benutzt wird, wenn dieses als endlicher Automat definiert ist. Dabei soll berücksichtigt werden, dass eine Komponente auch Code des Benutzers aufrufen kann.

Schlagworte

Komponentenkomposition, Konsistenzprüfung, Programmanalyse, Protokollkonformität, Software Komponente
Kontakt

weitere Projekte

Die Daten werden geladen ...