检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]航天时代公司771研究所,陕西西安710075
出 处:《计算机测量与控制》2005年第10期1132-1134,共3页Computer Measurement &Control
摘 要:为了灵活准确地用故障注入技术对容错软件进行可靠性评测,通过对故障注入及容错软件可靠性评测的分析,采用分布式结构,提出了一个动态生成-静态存储-动态触发的故障注入模型,它将故障生成和故障触发分开在不同的机子上实现,从而在保证评测准确性的前提下,解决了故障需求复杂、故障生成困难及目标系统额外负载过大等问题,实现了一个较为理想的故障注入模型; 最后,通过在航天某型号容错软件上的试验,证明了该模型的可行性。To evaluate the reliability of fault tolerance software flexibly and accurately with fault injection technique, by analyzing fault injection and the evaluation of the reliability of fault tolerance software, and adopting a distributed structure, a fault injection module of dynamic producing-static store-dynamic evoking is presented. This module achieves fault production and fault evoking on different computer, then , on the premise of evaluating the object accurately , resolves problems of the complexity of fault requirement, the hardness of fault production and the serious extra workload of tested system etc, and then achieves a ideal fault injection module. At last, using a test on some spaceflight fault tolerance software, the feasibility of the module is proved.
分 类 号:TP31[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.143.214.100