分布式实时系统的软件故障注入

• 作者: 刘国良 刘宴兵 常光辉 徐光侠 陈蜀宇
• 来源期刊: 重庆大学学报(自然科学版)
• 学科: 工学
• 关键词: 分布实时系统 系统可信验证平台 软件故障注入 故障模型
• 年，卷（期）: 2010,（2）
• 页码范围: 62-68
• 页数: 7页
• 分类号: TP302
• 语种: 中文

摘要

针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种.提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统.软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块.对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%.实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈蜀宇	重庆大学软件学院	105	925	14.0	25.0
2	刘宴兵	重庆邮电大学软件学院	87	685	13.0	22.0
3	徐光侠	重庆大学计算机学院	19	167	6.0	12.0
7	刘国良	重庆大学计算机学院	5	19	3.0	4.0
8	常光辉	重庆大学计算机学院	7	23	3.0	4.0