Combining STPA and BDD for safety analysis and verification in agile development: A controlled experiment

11Citations
Citations of this article
27Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Context: Agile development is in widespread use, even in safety-critical domains. Motivation: However, there is a lack of an appropriate safety analysis and verification method in agile development. Objective: In this paper, we investigate the use of Behavior Driven Development (BDD) instead of standard User Acceptance Testing (UAT) for safety verification with System-Theoretic Process Analysis (STPA) for safety analysis in agile development. Method: We evaluate the effect of this combination in a controlled experiment with 44 students in terms of productivity, test thoroughness, fault detection effectiveness and communication effectiveness. Results: The results show that BDD is more effective for safety verification regarding the impact on communication effectiveness than standard UAT, whereas productivity, test thoroughness and fault detection effectiveness show no statistically significant difference in our controlled experiment. Conclusion: The combination of BDD and STPA seems promising with an enhancement on communication, but its impact needs more research.

References Powered by Scopus

Experimentation in software engineering

3691Citations
N/AReaders
Get full text

Empirical studies of agile software development: A systematic review

1903Citations
N/AReaders
Get full text

Testing Programs with the Aid of a Compiler

425Citations
N/AReaders
Get full text

Cited by Powered by Scopus

Comparison of the HAZOP, FMEA, FRAM, and STPA Methods for the Hazard Analysis of Automatic Emergency Brake Systems

33Citations
N/AReaders
Get full text

Behavior-driven load testing using contextual knowledge - Approach and experiences

14Citations
N/AReaders
Get full text

Mining reading patterns from eye-tracking data: method and demonstration

9Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Wang, Y., & Wagner, S. (2018). Combining STPA and BDD for safety analysis and verification in agile development: A controlled experiment. In Lecture Notes in Business Information Processing (Vol. 314, pp. 37–53). Springer Verlag. https://doi.org/10.1007/978-3-319-91602-6_3

Readers over time

‘18‘19‘20‘21‘22‘23‘24‘25036912

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 11

79%

Researcher 2

14%

Professor / Associate Prof. 1

7%

Readers' Discipline

Tooltip

Computer Science 12

67%

Engineering 4

22%

Chemical Engineering 1

6%

Economics, Econometrics and Finance 1

6%

Save time finding and organizing research with Mendeley

Sign up for free
0