Software Safety Testing based on STPA
Software Safety Testing based on STPA
复制标题
基于STPA的软件安全测试
DOI：
10.1016/j.proeng.2014.09.097
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Chang
中科院分区：
文献类型：
--
作者：
Chang
软件安全性测试对航空电子关键软件至关重要，但在系统级测试中，安全性测试要求往往不明确。本文结合软件安全工程和软件测试理论，研究了基于STPA的软件安全测试。提出了一个软件安全测试框架，该框架包括软件安全测试规划、软件安全测试设计、软件安全测试实施和软件安全测试评估4个阶段;然后为了在安全测试中获取软件安全测试需求，介绍了一种基于STPA的软件安全测试需求获取方法，并给出了一个应用实例。
Software safety testing is important to critical software in Avionics; however, the safety test requirements are usually not clear during system-level testing. Considering software safety engineering and software test theory, this paper researches software safety testing based on STPA. It proposes a software safety test framework which includes 4 phases: software safety test planning, software safety test design, software safety test implementation and software safety test assessment; then to obtain software safety test requirements in safety testing, it introduces a method of software safety test requirements elicitation based on STPA, and an example is given to explain how to put it into use.