基于故障树分析的软件安全性测试研究

摘要：

针对软件安全性测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,结合基于Bayesian统计理论的测试方法,建立一套构建安全性测试剖面,并由此产生测试用例的测试方法.该方法运用故障树分析技术,对各模块发生故障对系统安全性的影响进行分析,找出影响较大的关键性模块,然后利用分析结果构建安全性测试剖面.最后给出了测试停止的标准.通过对例子的分析可知,本方法在快速降低软件事故风险方面比现有软件测试方法更有效.

关键词：安全性、故障树分析、安全度、安全性测试剖面

所属期刊栏目：30

分类号：TP311(计算技术、计算机技术)

在线出版日期：2013-08-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1760-1763