基于软件故障注入的仿真方法设计

摘要：

为了验证分布式软件的正确性，提出了一种具有智能控制策略的基于故障注入方法的嵌入式软件仿真方法。结合软件故障注入的过程特点，将故障建模、故障分析和故障注入技术有效地应用于嵌入式软件仿真过程中，对应用软件的故障处理、容错机制进行了验证，并通过实验证明该方法的有效性。

关键词： 智能控制 软件故障注入 系统验证 嵌入式软件仿真 容错机制

作者: 齐晓斌

作者单位: 中航工业西安航空计算技术研究所三室 陕西西安 710068

会议类型: 国内会议

会议名称: 全国抗恶劣环境计算机第十九届学术年会

会议地点: 郑州

会议语种:中文

页码: 115-119

在线出版日期: 2009-09-01（万方平台首次上网日期，不代表论文的发表时间）