Höflinger, Kilian (2015) Design of an Automatic Specification-based Test-framework for On-board software of Satellites. Masterarbeit, KTH - Royal Institute of Technology Stockholm.
![]() |
PDF
1MB |
Kurzfassung
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.
elib-URL des Eintrags: | https://elib.dlr.de/101996/ | ||||||||
---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Hochschulschrift (Masterarbeit) | ||||||||
Titel: | Design of an Automatic Specification-based Test-framework for On-board software of Satellites | ||||||||
Autoren: |
| ||||||||
Datum: | 16 Juni 2015 | ||||||||
Referierte Publikation: | Nein | ||||||||
Open Access: | Ja | ||||||||
Seitenanzahl: | 116 | ||||||||
Status: | nicht veröffentlicht | ||||||||
Stichwörter: | test-framework, specification-based, automatic, satellite, test-driven, on-board software | ||||||||
Institution: | KTH - Royal Institute of Technology Stockholm | ||||||||
Abteilung: | Software and Computer Systems | ||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
HGF - Programm: | Raumfahrt | ||||||||
HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||
DLR - Schwerpunkt: | Raumfahrt | ||||||||
DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | R - Projekt EuCROPIS (Bus) (alt) | ||||||||
Standort: | Braunschweig | ||||||||
Institute & Einrichtungen: | Institut für Simulations- und Softwaretechnik | ||||||||
Hinterlegt von: | Höflinger, Kilian Johann | ||||||||
Hinterlegt am: | 12 Jan 2016 16:19 | ||||||||
Letzte Änderung: | 31 Jul 2019 19:59 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags