基于故障注入的网络应用程序验证方法的研究与实现

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:xncjdx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当今社会网络系统软件程序的开发变得愈来愈复杂,开发者一直面临着如何保证开发系统和其规模说明一致性问题的长期挑战.由网络软件故障引起的系统失效已越来越严重,给社会造成了损失,所以对软件的故障和可靠性研究是十分迫切的.该文主要通过介绍NTFI软件故障注入工具,将其加入到网络通信服务程序中进行故障注入,从而对通讯程序进行评测.该实验技术方法是用于在消息进行故障注入,目的是为检测通讯程序的容错能力和区分设计应用中出现的错误,验证系统对可靠性的需求说明与实际运行软件的一致性问题.NTFI的关键技术是:在网络通信中,当目标通讯程序与其它通讯程序进行传递消息时,NTFI可以插在目标通讯程序的下层,从而过滤和控制它们彼此之间交换的信息.NTFI的主要特点是独立于目标程序,并且在故障注入过程中不需要改变目标程序的源代码.
其他文献
随着信息技术的发展,大量的数据爆炸性地产生,数据挖掘成为研究热点。在数据挖掘中,聚类分析是一种不可或缺的工具,日益成为一项重要的研究。  基于密度与网格的聚类算法是聚类
产品装配任务物调度问题是一个实际的生产调度问题,而生产调度问题一直是自动化管理领域中一个十分重要的问题.产品的制造过程可分为产品加工及产品装配两个阶段.国内外对产
该系统采用集中与分散二级控制方式.系统主要是由模块构成,第一模块内部都有微机做为控制功能.该文首先概述程控交换机的发展变化和内部通信协议的产生的原因,综述KY1000XM的
P5FT车载加固容错计算机是哈尔滨工业大学容错计算机技术研究室与航天工业总公司二院共同开发研制的战场指挥计算机系统,也是国防科工委重点型号项目.P5FT的总体设计目标是使
随着网络应用的普及和网络技术的发展,计算机网络管理越来越重要.该文介绍了OSI系统管理功能域、分析了事实上的网络管理标准--SNMP、网络管理系统的实现以及基于Web的网络管
随着科学技术的快速发展,英语中出现了大量的新增词汇.不可能在一部词典中完全收集所有单词,而语言的计算机处理需要知识许多未登录单词的词性,词义等.扩大机器识词能力的一
对计算机唇读的研究在人机智能接口、多媒体系统以及人脸数据压缩等领域具有重要的理论意义和实用价值.该文从一个唇读系统需要解决的基本问题出发,对唇读的三个基本技术问题
该文通过分析目前WWW应用开发采用的一些流行技术存在的不足之处及传统的分布计算方式的缺陷,以及通过分析CORBA原理与JAVA分布式编程技术,阐述了分布式对象技术的优良特性和
为了真正地提高工程应用中的软件和硬件的可靠性,研究人员已经提出了多种多样的方法,用以构建容错计算机系统,即试图采用容错结构来处理在开发过程后仍然存在的故障所产生的
该文在分析了传统的GIS数据模型和正在研究中的SDBMS模型的特点及缺陷后,提出了一个基于扩展的关系数据库系统的拓扑结构模型,并将其应用于国产分布式多媒体数据库管理系统DM