【摘 要】
：
本文分析了容错服务器软件结构,分析了其软件采用降级升级策略的可能性,并根据软件特点提出使用软件系统调用状态检测屏蔽技术来改善其健壮性.并指出这种技术实现的基础来源
论文部分内容阅读
本文分析了容错服务器软件结构,分析了其软件采用降级升级策略的可能性,并根据软件特点提出使用软件系统调用状态检测屏蔽技术来改善其健壮性.并指出这种技术实现的基础来源于容错服务器软件的健壮性测试.对容错服务器软件的健壮性测试进行了设计,通过讨论了静态测试和动态测试的特点选择使用静态测试方法进行测试,并对静态测试进行了理论分析和形式化建模.从而得出形式化的健壮性增强依据.为突出问题的关键,提出了若干测试假设.同时讨论了基于覆盖和基于历史信息的两种测试数据产生方式.由于被测试函数的数量,选择了自动异常状态注入的测试方法.设计了容错服务器软件健壮性测试工具.给出了测试平台的整体结构,并阐述了平台各模块的主要技术,整个测试平台的核心为测试执行生成模块,在这个模块采用了批量编译技术,基于覆盖和效率的测试用例生成技术,及测试用例源码的生成技术等.
其他文献
本文主要做了以下研究工作:对有线网络的结构特点、作为网络结点的协议支持和安全隐患等进行分析.本文通过在网络协议的MAC层之下添加链路安全子层来完成加密功能.研究了具有
本文以Pioneer3全自主机器人以及作为月球车开发平台，进行相关的模拟月球车的目标跟踪与避障系统开发工作。本文重点论述了如何利用视觉传感器信息，在其他传感器(主要
This thesis designs and implements a Network-based Monitoring System，which is used to monitor the nodes of Information Analysis System of Large-scale Network.Th
面向核心企业的供应链管理(MEO-SCM)是一种供应链优化方式，它通过与渠道伙伴(包括供应商、第3方服务商，客户)的协调合作，从而像一个单一的企业那样达到紧密集成。由于客户需
本文通过把人类染色体的YAC-STS数据转化为染色体的克隆—探针矩阵,并以缺口最小化模型为基础,力图在该模型下找到一种优于现有其它算法的探针排序.我们提出了一种基于模拟退
本文以机器学习中的支持向量机作为主要分类方法,将主要精力放在如何从生物信息序列中提取出对分类有用的特征上.通过对蛋白质序列自身的结构特征的分析,可以发现直接利用序
高性能计算机广泛的应用在众多领域，其中的节点控制技术一直是超级服务器研究中的一个重要方向，而当前一些网格计算机体系结构提出了散耦合思想。这些思想一个很重要的部分就是
本文首先探讨了在分销网络环境下，分销需求计划的预测问题。提出了使用GM(Grey Model)预测方法对分销需求进行预测，并根据历史数据的特征，对该模型进行了改进，使分销需求预
本文提出了一种新的无线视频监控系统实现方案：把无线Mesh网络作为视频监控系统的数据承载网络，运用VLC视频服务器构建视频监控系统的视频传输和保存方案，通过SD卡来保存历史监
本文分析了网格计算技术的特点，然后对目前网格环境下的资源管理加以分析和总结；继而提出了基于网格计算的远程教育系统模型GEM(Grid-Education-Model)，并给出了其应用于远程