面向容错系统验证的故障注入技术研究

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:lowsong1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前在中国的航天、航空、国际等重要领域使用的计算机系统一般都为自行研制,而且大多为高可靠的容错计算机系统.故障注入技术作为一种容错计算机可靠性测评的重要方法,能够为容错计算机系统的研制提供重要的技术支持.该文对有关故障注入技术的四个关键问题进行了深入研究,包括故障注入的试验策略、覆盖率估计的抽样方法、故障等效休划分以及故障注入工具的研制.前三个问题研究注入什么故障、后一问题研究如何注入故障.
其他文献
在互联网迅速发展,相关产品和应用日新月异的今天,云计算,从一个新鲜名词,已经发展成为支撑起大量应用,并能被人们接触和感知的日趋成熟的技术。同时,云计算平台及平台上各种
自20世纪60年代起人们就开始研究视频通信技术,由于当时各种技术都不成熟,加之市场需求不强,视频通信类应用没有流行起来。借助网络环境的改善和计算机技术的发展,各种音视频类通
该文提出了以体系结构为中心的软件产品线开发方法.它是一种系统性重用方法,用于一组相关应用系统的开发.这组相关应用系统满足一个特定领域需求.以体系结构为中心的软件产品
在该文中,对机群文件系统的分布式命名机制、文件迁移机制和全局缓存方法等领域进行了研究,取得了有价值的研究结果.作者将其中一些成果应用于一个机群系统上的文件系统的设
产品数据管理(PDM)系统是以网络和数据库为基础、介于系统支撑软件和应用软件之间的一种框架性软件系统,以此系统为框架,可以建立产品开发的支撑平台。 本文首先对虚拟产品开
随着Internet的高速发展和多媒体通讯时代的到来,作为国际标准的MPEG无疑会成为本世纪多媒体通讯所依托的重要技术。但是,由于现在的Internet上延迟和丢包现象随时在变化,对于视
该文提出了一种应用层的基于Middleware的QoS管理模型,研究端系统的QoS和资源管理.该框架允许用户和应用对QoS管理策略和适应性调整策略进行应用级的定制.该文结合微观经济学
该文首先介绍了有关Linux上国际化的背景知识.然后介绍了在Linux系统上开发遵循XIM协议的输入法的必要性和有关输入法的基本知识,包括输入上下文、获取输入信息和输入焦点管
顾客服务支持系统是企业售后服务领域内的一类信息处理应用软件系统。它的主要用途是强化企业售后服务的信息化,通过客户查询在各个对应者上的分配,更加有效地利用企业售后服务
该文利用现有的语义资源——《同义词词林》和《知网》,构建了一个新的、更完善的语义资源.通过考察这两个资源的结构发现,对于《同义词词林》来说,它的缺点是缺少语义定义,