Master Thesis MSTR-2022-94

BibliographySteinert, Michael: Design and implementation of software tests for the ISS-experiment FARGO based on STPA-BDD.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Master Thesis No. 94 (2022).
49 pages, english.
Abstract

STPA-BDD has been proposed for agile software development to facilitate the development of safety-critical software. This has already been tested in a controlled experiment, but beyond that insufficient real-world applications on the utilization of STPA-BDD have been published. To mitigate this issue and gain insights into the real-world utilization of STPA-BDD to enhance the process of developing safe software a specific use case is needed. Thus, in this thesis the development of respective software tests for the ISS-experiment FARGO is performed. A case study is conducted on the software test development part of FARGO, which uses the V-model as a working process. As expected STPA found additional failure cases to be considered. Analyzing the code coverage of the derived BDD scenarios required more effort than initially anticipated due to the fact that there was a discrepancy between the control structure used for STPA and the actual hardware. This was discovered when the BDD scenarios were about to be translated into test cases for the software. A solution to circumvent this issue was determined and implemented. It can be concluded that the assumption of STPA-BDD enhancing the development of safe software is technically correct, but further enhancement is possible and additional investigation is required.

Full text and
other links
Volltext
Department(s)University of Stuttgart, Institute of Software Technology, Empirical Software Engineering
Superviser(s)Wagner, Prof. Stefan; Herdrich, PD Dr. Georg; Ehresmann, Manfred
Entry dateApril 17, 2023
   Publ. Computer Science