首页 | 本学科首页   官方微博 | 高级检索  
     

基于错误传播分析的软件脆弱点识别方法研究
引用本文:李爱国,洪炳镕,王司.基于错误传播分析的软件脆弱点识别方法研究[J].计算机学报,2007,30(11):1910-1921.
作者姓名:李爱国  洪炳镕  王司
作者单位:哈尔滨工业大学计算机科学与技术学院 哈尔滨150001(李爱国,洪炳镕),哈尔滨工业大学航天学院 哈尔滨150001(王司)
基金项目:航天基金 , 航天部航天创新基金
摘    要:在太空环境中,软件系统经常受到各种辐射现象的影响.在此类环境下,寻找软件脆弱点主要是考虑环境扰动对该软件的影响.文中提出了一种由环境扰动引入的软件脆弱点的分析方法.首先在对软件系统模块化的基础上,通过在两个层面上分析错误在软件中的生成及其传播过程,给出寻找软件脆弱点的理论框架,随后进一步给出该框架中一些参数的实验估计方法,最后给出该框架在某卫星光纤陀螺捷联航姿控制系统上的应用.应用结果令人满意.

关 键 词:软件脆弱点  错误传播  故障注入  环境扰动  单粒子效应  分析错误  传播分析  软件系统  脆弱点  识别方法  研究  Analysis  Error  Propagation  Based  Software  应用结果  航姿控制系统  捷联  光纤陀螺  卫星  估计方法  实验  参数  理论框架  传播过程
修稿时间:2006-11-02

An Approach for Identifying Software Vulnerabilities Based on Error Propagation Analysis
LI Ai-Guo,HONG Bing-Rong,WANG Si.An Approach for Identifying Software Vulnerabilities Based on Error Propagation Analysis[J].Chinese Journal of Computers,2007,30(11):1910-1921.
Authors:LI Ai-Guo  HONG Bing-Rong  WANG Si
Affiliation:School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001;School of Astronautics, Harbin Institute of Technology, Harbin 150001
Abstract:For the software system operating in space environment where radiation phenomenon exists widely,identifying the vulnerabilities emphasizes particularly on the analysis about the effect of environment on the software.This paper presents a methodology for analyzing the vulnerabilities in software subjected to environment perturbation.Based on the premise that the software has been modularized,this methodology analyzes the error-generation and error-propagation process in software from signal and module level each,as a result of giving a theory framework for identifying software vulnerabilities.Whereafter,a fault-injection-based method for estimation of the various measures in the framework is described and the software of a real embedded control system used in a satellite is analyzed to show the type of results obtained by the methodology.
Keywords:software vulnerability  error propagation  fault injection  environment perturbation  single event upset
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号