Bachelor Thesis BCLR-2016-86

BibliographyLuk He, Ting: Development of an Eclipse Plug-in for the STPA TCGenerator tool.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 86 (2016).
75 pages, english.
CR-SchemaD.2.2 (Software Engineering Design Tools and Techniques)
I.3.4 (Graphics Utilities)
I.1.2 (Symbolic and Algebraic Manipulation Algorithms)
Abstract

Software safety is becoming one of the most important topics in modern systems, as software plays an important role in main critical-functions of systems. However, not only a software functional error, but also an unexpected software behavioral flaw may lead to catastrophic results. Therefore, software must be tested, which includes not only functionality requirements, but also software safety requirements. Based on the concept of STPA SwISs, the software XSTAMPP and STPA TCGenerator were developed each in Eclipse and Netbeans by Abdulkhaleq and Wagner. XSTAMPP provides a base platform for safety engineering, which can be easily extended with new functions and approaches based on the STAMP model. STPA TCGenerator is a tool for automatically generating software test cases from software safety requirements. This work presents an extended plug-in STPA TCGeneratorPlugin for XSTAMPP based on the tool STPA TCGenerator. The main functions of STPA TCGenerator are 1) automatically generating the safe behavioral model and the SMV model, 2) verification of SMV model, 3) build safe test model and 4) automatically generating safety-based test cases. STPA TCGeneratorPlugin contains all functions of STPA TCGenerator and can be integrated into XSTAMPP, so that the safety-based test cases can be generated directly in XSTAMPP rather than using a different tool. Furthermore, several improvements for STPA TCGenerator are implemented, such as graphical visualization, algorithm of generating traceability matrix and representation of test case results.

Full text and
other links
Volltext
Department(s)University of Stuttgart, Institute of Software Technology, Software Engineering
Superviser(s)Wagner, Prof. Stefan; Abdulkhaleq, Asim
Entry dateDecember 3, 2018
   Publ. Computer Science