基于系统多维要素的安全关键软件验证方法  

Systemic Muti-factors Based Verification Method for Safety-critical Software

作　　者：吕小虎[1] 韩笑冬[1] 宫江雷[1] 王志杰[1] 刘小鲲 LV Xiao-hu;HAN Xiao-dong;GONG Jiang-lei;WANG Zhi-jie;LIU Xiao-kun(Institute of Telecommunication Satellite,China Academy of SpaceTechnology,Beijing 100094,China)

机构地区：[1]中国空间技术研究院通信卫星事业部

出　　处：《计算机科学》2019年第9期156-161,共6页Computer Science

基　　金：国家自然科学基金(61471360)资助

摘　　要：软件密集型系统已成为发展的必然趋势。安全关键软件功能的比重持续上升,与之相关的安全性问题也日益凸显,且问题的影响因素呈现复杂、多维、动态、隐蔽等特征。因此,寻求合理的验证方法成为了迫切需要,而如何对其进行有效验证,也成为软件安全性工作的难点。结合安全关键软件的研制工作,文中研究并提出基于系统多维要素的安全关键软件验证方法,从系统的角度建模对影响软件安全性的多维危险要素;在此基础上,通过构建安全关键软件的需求约束集和验证集,给出具体的验证方法和步骤。实际应用表明,与传统的局限于软件逻辑自身的验证方法相比,文中所提方法能够有效识别大量软件潜在的深层次的问题。Software-intensive systems have been the inexorable development trend.The proportion of functions of safety-critical software keep growing,and the software safety problems are highlighted increasingly,in which the influence factors are characterized by complex,multidimensional,dynamic and insidious.Therefore,it’s urgent to seek a reasonable verification method for safety-critical software,and how to effectively verify it has become a difficult issue in software safety-related work.Based on the research and development of safety-critical software,this paper studied and proposed a verification method for safety-critical software based on systemic muti-factors,modeled the muti-factors that affect software safety from the point of system,and gave detailed verification methods and steps through constructing the requirement constraint sets and verification sets.The results of practical application show that the proposed method can effectively identify potential and systemic problems in safety-critical software compared with the traditional verification methods limited to software logic.

关 键 词：安全关键软件 多维要素 约束集 验证集 

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