• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Agile processes in software engineering and extreme programming >Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment
【24h】

Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment

机译：结合STPA和BDD进行敏捷开发中的安全性分析和验证：一个受控实验

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：背景信息：敏捷开发已被广泛使用，即使在安全关键的领域也是如此。动机：但是，在敏捷开发中缺少适当的安全性分析和验证方法。目的：在本文中，我们研究使用行为驱动开发（BDD）代替标准用户接受测试（UAT）进行安全验证，并使用系统理论过程分析（STPA）进行敏捷开发中的安全分析。方法：我们在44名学生的对照实验中评估了这种组合的效果，包括生产率，测试彻底性，故障检测效率和沟通效率。结果：结果表明，与标准UAT相比，BDD在对通信有效性的影响方面进行安全验证更有效，而在我们的受控实验中，生产率，测试彻底性和故障检测有效性没有统计学上的显着差异。结论：BDD和STPA的组合在增强沟通方面似乎很有希望，但是其影响需要更多的研究。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号