基于错误传播分析的软件脆弱点识别方法研究

• 作者: 李爱国 洪炳镕 王司
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件脆弱点 错误传播 故障注入 环境扰动 单粒子效应
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 研究论文
• 页码范围: 1910-1921
• 页数: 12页
• 分类号: TP302
• 字数: 11398字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2007.11.003

摘要

在太空环境中,软件系统经常受到各种辐射现象的影响.在此类环境下,寻找软件脆弱点主要是考虑环境扰动对该软件的影响.文中提出了一种由环境扰动引入的软件脆弱点的分析方法.首先在对软件系统模块化的基础上,通过在两个层面上分析错误在软件中的生成及其传播过程,给出寻找软件脆弱点的理论框架,随后进一步给出该框架中一些参数的实验估计方法,最后给出该框架在某卫星光纤陀螺捷联航姿控制系统上的应用.应用结果令人满意.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李爱国	哈尔滨工业大学计算机科学与技术学院	8	65	4.0	8.0
2	洪炳镕	哈尔滨工业大学计算机科学与技术学院	115	2429	28.0	44.0
3	王司	哈尔滨工业大学航天学院	18	371	11.0	18.0