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

软件中的错误传播分析
引用本文:李爱国,洪炳镕,王司,朴松昊.软件中的错误传播分析[J].计算机研究与发展,2007,44(11):1962-1970.
作者姓名:李爱国  洪炳镕  王司  朴松昊
作者单位:哈尔滨工业大学计算机科学与技术学院 哈尔滨150001(李爱国,洪炳鎔,朴松昊),哈尔滨工业大学航天学院 哈尔滨150001(王司)
基金项目:航天预研基金 , 航天部航天创新基金
摘    要:错误传播是分析可靠性系统不确定性中的一基本问题,可用于发现系统中最易受到错误攻击的部分及各部分之间的相互影响.分别在信号和模块级别上研究了错误在软件中的传播过程,并定义了描述此过程的参数及其计算方法,其中首次提出了模块泄漏率和活动率的概念并给出了计算方法;然后把该错误传播分析框架应用于某卫星光纤陀螺捷联航姿控制系统上.通过故障注入实验确定了其中的分析参数,验证了提出的错误传播框架的可行性与正确性.

关 键 词:错误传播  软件脆弱性  故障注入  可靠性评测  单粒子效应  软件  错误攻击  传播分析  Software  Analysis  Propagation  分析框架  验证  分析参数  实验确定  故障注入  航姿控制系统  捷联  光纤陀螺  卫星  应用  活动率  泄漏率  计算方法  传播过程
修稿时间:2006-09-23

Error Propagation Analysis in Software
Li Aiguo,Hong Bingrong,Wang Si,Piao Songhao.Error Propagation Analysis in Software[J].Journal of Computer Research and Development,2007,44(11):1962-1970.
Authors:Li Aiguo  Hong Bingrong  Wang Si  Piao Songhao
Institution:School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001;School of Astronautics, Harbin Institute of Technology, Harbin 150001
Abstract:Error propagation is a basic problem in analyzing uncertainty of reliable systems. During software development and dependability testing, it would be helpful to have a framework that clearly demonstrates the error propagation and containment capabilities of the different software components. However, in the former study, only the propagation characteristic of data errors in signals is considered, not including the error-generating properties of software itself induced by environment. In this paper, another error propagation frame is proposed, which not only includes the error propagation process, but also involves the error-generating ability of software itself. And this frame may be used in the later period of software development or in the process of software dependability testing. In this frame, the error propagation process in software is studied and characterized and a set of metrics that quantitatively represent the inter-modular software interactions are derived. Furthermore, a real embedded target system used in a navigation-pose control system of a satellite is used to perform fault-injection experiments to obtain experimental values for the metrics proposed. The result shows that the derived analytical framework establishes a very close correlation between the analytical and experimental values obtained. The intent is to use this framework to be able to systematically identify potential vulnerabilities in software.
Keywords:error propagation  software vulnerability  fault injection  dependability assessment  single-event-upset
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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