DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Design of an Automatic Specification-based Test-framework for On-board software of Satellites

Höflinger, Kilian (2015) Design of an Automatic Specification-based Test-framework for On-board software of Satellites. Master's, KTH - Royal Institute of Technology Stockholm.

[img] PDF


Satellites are sophisticated and therefore complicated constructs that require interdisciplinary teamwork of various experts of different academic disciplines. The integration of specific payload components, like scientific experiments, in the on-board software of the satellite is very challenging. The domain expert, as the owner of the payload component, possesses detailed insights on his or her component, but lacks sufficient programming skills to implement it in the on-board software. The rogrammer is able to write proper code for the onboard software, but is inexperienced with the payload component of the domain expert. This report describes the design and the implementation of an automatic specification-based test-framework for on-board software of satellites to ridge the knowledge and communication gap between the programmer and the domain expert. Model- and test-driven development are in the focus of the testframework. With the help of a domain-specific language, the domain expert is able to model a specification in formal notation, representing potential use-case scenarios of the component. These scenarios are automatically translated to compilable C++ test cases, which help the programmer to verify the functional correctness of the on-board software implementation of the payload component while he or she is programming it.

Item URL in elib:https://elib.dlr.de/101996/
Document Type:Thesis (Master's)
Title:Design of an Automatic Specification-based Test-framework for On-board software of Satellites
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Höflinger, Kiliankilian.hoeflinger (at) dlr.deUNSPECIFIED
Date:16 June 2015
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Number of Pages:116
Keywords:test-framework, specification-based, automatic, satellite, test-driven, on-board software
Institution:KTH - Royal Institute of Technology Stockholm
Department:Software and Computer Systems
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Projekt EuCROPIS (Bus)
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology
Deposited By: Höflinger, Kilian Johann
Deposited On:12 Jan 2016 16:19
Last Modified:31 Jul 2019 19:59

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.