安全关键软件安全性评估方法  

An Overview of Assessment Methods of Safety-critical Software

作　　者：曾福萍[1] 钟德明[1] 陆民燕[1] 

机构地区：[1]北京航空航天大学可靠性与系统工程学院,北京100191

出　　处：《火力与指挥控制》2012年第10期5-9,共5页Fire Control & Command Control

基　　金：十二五总装预研基金资助项目

摘　　要：软件安全性评估的目的是评价软件是否达到系统所要求的安全性,对于保证和确认软件的安全性具有非常重要的意义。阐述了安全性评估方法的发展历程及优缺点,分析了推动安全性评估方法发展的原因。总结了各类安全性评估方法的所需数据、安全性参数、评估对象及适用阶段,剖析了安全性评估方法目前存在的问题。在此基础上,对未来的安全性评估方法的研究重点提出了两点建议,供其他研究人员参考,期望能推动软件安全性评估研究领域的深入开展。The purpose of software safety assessment is to evaluate whether software has satisfied the safety requirements of system, therefore, it has very important significance to ensure and verify software safety. For the method of software safety assessment, its development process, advantages and disadvantages are described, and the reasons for promoting its development are analyzed. The required data, safety parameters, assessment objects and application stages of all kinds of safety assessment methods are summarized, and its existing problems are analyzed. Finally,two suggestions for the future research of software safety assessment method are proposed, hoping to provide the reference for other peers and promote further development of this research field.

关 键 词：软件安全性 风险 安全性评估 综合评估 安全案例 

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