构件化软件系统安全性分析技术研究  

Study on Component-based Software Safety Analysis

作　　者：万永超[1] 周兴社[1] 董云卫[1] 

机构地区：[1]西北工业大学计算机学院,西安710129

出　　处：《计算机科学》2010年第5期123-126,161,共5页Computer Science

基　　金：国家自然科学基金(60736017);国家863高技术研究发展计划基金项目(2007AA010304)资助

摘　　要：复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。Many obscure expressions and uncertainties exit during the process of safety analysis for complicated safetycritical software,while the theory of fuzzy sets and subjective evaluation is an effective methodology to deal with these problems. We presented the fuzzy expressions of the software safety factors, then analyzed the safety score of single component. After that, we synthesised the safety score of subsystem and system quantitatively by using the fuzzy operalions and evidential reasoning approach. Finally, an example was presented to demonstrate the proposed software analysis and synthesis method.

关 键 词：构件化软件 模糊集 主观评价 安全度 综合 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]