软件中的错误传播分析

作     者：李爱国 洪炳鎔 王司 朴松昊 Li Aiguo;Hong Bingrong;Wang Si;Piao Songhao

作者机构：哈尔滨工业大学计算机科学与技术学院哈尔滨150001 哈尔滨工业大学航天学院哈尔滨150001 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2007年第44卷第11期

页      面：1962-1970页

核心收录：

学科分类：0810[工学-信息与通信工程] 0808[工学-电气工程] 0839[工学-网络空间安全] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：航天"十五"预研基金项目(417010402) 航天创新基金项目(CASC0409)~~ 

主　　题：错误传播 软件脆弱性 故障注入 可靠性评测 单粒子效应 

摘      要：错误传播是分析可靠性系统不确定性中的一基本问题,可用于发现系统中最易受到错误攻击的部分及各部分之间的相互影响.分别在信号和模块级别上研究了错误在软件中的传播过程,并定义了描述此过程的参数及其计算方法,其中首次提出了模块泄漏率和活动率的概念并给出了计算方法;然后把该错误传播分析框架应用于某卫星光纤陀螺捷联航姿控制系统上.通过故障注入实验确定了其中的分析参数,验证了提出的错误传播框架的可行性与正确性.