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

Research on software safety testing based on fault tree analysis

作　　者：赵跃华[1] 朱媛媛[1] 

机构地区：[1]江苏大学计算机科学与通信工程学院,江苏镇江212013

出　　处：《计算机应用研究》2013年第6期1760-1763,共4页Application Research of Computers

摘　　要：针对软件安全性测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,结合基于Baye-sian统计理论的测试方法,建立一套构建安全性测试剖面,并由此产生测试用例的测试方法。该方法运用故障树分析技术,对各模块发生故障对系统安全性的影响进行分析,找出影响较大的关键性模块,然后利用分析结果构建安全性测试剖面。最后给出了测试停止的标准。通过对例子的分析可知,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。Considering that the object of software safety testing is to reduce the risk of accident resulted by software failures sharply,combining with the test method based on Bayesian statistical theory,this paper presented a software safety testing method based on the safety testing profile.It used the technology of fault tree analysis to analyze the fault probability of all sections of the software to find the key sections that would be influence the safety.Based on that result,safety testing profile was constructed,as well as described the testing cases generating method in detail.Finally,it gave the software safety testing stopping rule.Analysis of the example indicates that the method provided above is effective to reduce the software accident risk.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]