Schwarzer, Robert (2007) Testen modellgetrieben entwickelter Software auf Basis des Rhapsody-OX-Framework am Beispiel der ARTIS-Plattform. DLR-Interner Bericht. DLR-IB 111-2007/37. Diploma. Universität Leipzig. 125 S.
![]() |
PDF
- Only accessible within DLR
1MB |
Official URL: http://bis.informatik.uni-leipzig.de/de/Abschlussarbeiten/2007/RobertSchwarzer
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.
Item URL in elib: | https://elib.dlr.de/51847/ | ||||||||
---|---|---|---|---|---|---|---|---|---|
Document Type: | Monograph (DLR-Interner Bericht, Diploma) | ||||||||
Title: | Testen modellgetrieben entwickelter Software auf Basis des Rhapsody-OX-Framework am Beispiel der ARTIS-Plattform | ||||||||
Authors: |
| ||||||||
Date: | 4 July 2007 | ||||||||
Refereed publication: | No | ||||||||
Open Access: | No | ||||||||
Number of Pages: | 125 | ||||||||
Editors: |
| ||||||||
Status: | Published | ||||||||
Keywords: | State Charts, UML, Modellbasiertes Testen, UAV | ||||||||
Institution: | Universität Leipzig | ||||||||
Department: | Informatik | ||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||
HGF - Program: | Aeronautics | ||||||||
HGF - Program Themes: | Rotorcraft (old) | ||||||||
DLR - Research area: | Aeronautics | ||||||||
DLR - Program: | L RR - Rotorcraft Research | ||||||||
DLR - Research theme (Project): | L - The Innovative Rotorcraft (old) | ||||||||
Location: | Braunschweig | ||||||||
Institutes and Institutions: | Institute of Flight Systems > System Automation | ||||||||
Deposited By: | Adolf, Florian-Michael | ||||||||
Deposited On: | 20 Nov 2007 | ||||||||
Last Modified: | 08 Jul 2014 09:01 |
Repository Staff Only: item control page