故障模式选择与故障序列生成方法的研究.pdfVIP

f建莹等， 敞嫜模式选择和故障序列，：成方法研究 故障模式选择和故障序列生成方法研究 王建莹李运策杨孝宗 (哈尔演丁业大学汁算机科学与丁程系晴尔滨150001) 摘要奉文论述了战障注入试验的两个露垂村胜：故障模式选择和故障序列生成方法，以此 为基础，探讨了故障注入通向理论他的途往． 关键词敞障注入故障模式战障序列 Abstratl}This twomain of paperpresents problemsfault experiment：the injection and methodsoffaultmodeselectionfault oftheorizetionof li“generation．Theway fault isalsodiscussedinthis injectionexperiment paper． faultmode list Keywor_hfault诅jection fault l引言 故障注入通过人为引入故障加速系统的失效，观察系统在出现故障之盾的反应， 足容错计算机系统评估的重要手段。做障注入的Ij的董要霄两个， 是故障排除． 二是故障预测，故障摊除是通过故障注入试验封容错系统容诺算法和机制(FTAM) 设计和实现的止E确性进行验证。故障预测是通过对敞障注入试验结果分析，对FTAM 的性能进行评佶。获得与可靠性有关的度罐，如检测穰盖率，检测延迟时间等。故 障注入试验还喟于研究故障的传播。不同负载对可靠性度量的影响，系统的可靠性 瓶颈等问题。故障注入的目的和实现的手段种类很多，但都必须考瘩这样两个问题： 一是故障注入选用的故障模式是什么，二足每次试验的故障如何选择，即故障注入 试验的散漳序列生成方法。本文探讨这两方面的问题。 2故障模式的选择 2．1故障空同 故障注入试验的故障模式，是可以用于试验的所有战障组成的集台，也称为试验 空间，用E表示。容错计算机系统的FTAM设汁都是针对假设故障模式的，这部分 故障集合称为假设故障空间，片jS表示。系统实际可能发生的故障集合称为真安故 障空间，用A表示。故障空问如图I所示。 1 图1故障空间示意图 饵家自然科学基盔}资助项目 每～苷 CFrc．8盹丈集 阴影部分为E和S其M凄盏的空向，也斌楚注入的故障和饭i殳故障一致的部分。 由’j二容错系统是建、’，舟假殴故障处理硅础L的，这部分空flI|嬖尽可能和假缝空间‘ 致。受试验条件限制，这种要求不定都能满足。假设故障模．【l=和实际故障模式如 果存在较大葶钟，州能导散罪绕的没汁’j需求}}{现差异。这种萱异通过注入假设故 障之外的故障彳『町能器露j{{求，口I通帛不足故障注入的目的。在不发叶I歧义的前提 F，试验空fH】也