在敏捷开发中结合 STPA 与 BDD 进行安全分析与验证：一项受控实验
软件工程
2018-04-06 v1
摘要
背景：敏捷开发已被广泛使用，即便在安全关键领域亦然。动机：然而，敏捷开发中缺乏适当的安全分析与验证方法。目标：在本文中，我们研究在敏捷开发中使用行为驱动开发（BDD）替代标准用户验收测试（UAT）进行安全验证，并结合系统理论过程分析（STPA）进行安全分析。方法：我们在一个有 44 名学生参与的受控实验中，从生产率、测试彻底性、故障检测有效性和沟通有效性方面评估该组合的效果。结果：结果表明，就其对沟通有效性的影响而言，BDD 相较于标准 UAT 在安全验证上更为有效，而在我们的受控实验中，生产率、测试彻底性和故障检测有效性未显示出统计显著差异。结论：BDD 与 STPA 的组合在改善沟通方面似乎大有前景，但其影响尚需更多研究。
引用
@article{arxiv.1804.01715,
title = {Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment},
author = {Yang Wang and Stefan Wagner},
journal= {arXiv preprint arXiv:1804.01715},
year = {2018}
}
备注
16 pages, 9 figures, to be published in the 19th International Conference on Agile Software Development