Testen modellgetrieben entwickelter Software auf Basis des Rhapsody-OX-Framework am Beispiel der ARTIS-Plattform

Abstract

Die Diplomarbeit ist im Rahmen des ARTIS-Projektes (Autonomous Rotorcraft Testbed for Intelligent Systems) am Institut fÄur Flugsystemtechnik des Deutschen Zentrums fÄur Luft- und Raumfahrt entstanden. Mit auf Modellhubschraubern basierenden Testplattformen werden Konzepte fÄur Hard- und Software-LÄosungen zum autonomen Fliegen erforscht und bis hin zum Flugversuch erprobt. In dieser Arbeit werden Modellierung und Veri¯kation eines ereignisbasierten Software-Systems durchgefÄuhrt. Der Fokus liegt dabei auf einer Software- Komponente des Entscheidungssystems an Bord des unbemannten Forschungs- hubschraubers, welche verschiedene Betriebsmodi implementiert und hier- zu selbststÄandig Entscheidungen Äuber auszufÄuhrende Systemverhalten tri®t. Diese Komponente wird beispielhaft in einen modellbasierten Software- Entwicklungsprozess mit dem Werkzeug Rhapsody und dem dazugehÄorigen OX-Framework integriert. Der entsprechende Testansatz wird durch Test- automaten ebenfalls modellbasiert realisiert und basiert au¼erdem auf einem Unit-Testframework. Als Ergebnis steht die Software-Komponente in Form eines wiederverwend- baren Modells zur VerfÄugung, welches nach der Code-Generierung und vor der eigentlichen Systemintegration veri¯ziert werden kann. Zur Modellierung kommen UML State Charts zum Einsatz, die fÄur das Testen der Ereignisdetektierung und der Entscheidungslogik mit dem CppUnit-Testframework verbunden werden.