TY - GEN
T1 - Combining STPA and BDD for safety analysis and verification in agile development
T2 - 19th International Conference on Agile Software Development, XP 2018
AU - Wang, Yang
AU - Wagner, Stefan
N1 - Publisher Copyright:
© The Author(s) 2018.
PY - 2018
Y1 - 2018
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85048045186&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-91602-6_3
DO - 10.1007/978-3-319-91602-6_3
M3 - Conference contribution
AN - SCOPUS:85048045186
SN - 9783319916019
T3 - Lecture Notes in Business Information Processing
SP - 37
EP - 53
BT - Agile Processes in Software Engineering and Extreme Programming - 19th International Conference, XP 2018, Proceedings
A2 - Aguiar, Ademar
A2 - Wang, Xiaofeng
A2 - Garbajosa, Juan
PB - Springer Verlag
Y2 - 21 May 2018 through 25 May 2018
ER -