elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

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

Schwarzer, Robert (2007) Testen modellgetrieben entwickelter Software auf Basis des Rhapsody-OX-Framework am Beispiel der ARTIS-Plattform. Diplomarbeit. DLR-Interner Bericht. DLR-IB 111-2007/37, 125 S.

[img] PDF - Nur angemeldete Benutzer - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1MB

Offizielle URL: http://bis.informatik.uni-leipzig.de/de/Abschlussarbeiten/2007/RobertSchwarzer

Kurzfassung

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.

Dokumentart:Berichtsreihe (DLR-Interner Bericht, Diplomarbeit)
Titel:Testen modellgetrieben entwickelter Software auf Basis des Rhapsody-OX-Framework am Beispiel der ARTIS-Plattform
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Schwarzer, RobertDLR Institut für Flugsystemtechnik
Datum:4 Juli 2007
Referierte Publikation:Nein
Seitenanzahl:125
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der Herausgeber
Adolf, Florian-Michaelflorian.adolf@dlr.de
Status:veröffentlicht
Stichwörter:State Charts, UML, Modellbasiertes Testen, UAV
Institution:Universität Leipzig
Abteilung:Informatik
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Drehflügler (alt)
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L RR - Drehflüglerforschung
DLR - Teilgebiet (Projekt, Vorhaben):L - Der innovative Drehflügler (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Systemautomation
Hinterlegt von: Florian-Michael Adolf
Hinterlegt am:20 Nov 2007
Letzte Änderung:08 Jul 2014 09:01

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.