具有时间约束的分布式软件可靠性评估研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:zhoushuoqd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于分布式软件可靠性研究,在最初阶段,人们只是借鉴一般软件可靠性评估的基本理论和方法。随着软件可靠性评估技术的发展,形成了许多关于分布式软件可靠性评估的理论和方法,其中大部分是基于图论,利用K-端点网络因式分解定理进行评估。这种评估方法虽然经过理论分析和推导,具有一定的合理性,但是因其只考虑了分布式软件可靠性单项指标,没有综合分析分布式软件的其它性能对可靠性的影响,因此,在实际应用方面具有一定的局限性。针对上述局限性,“具有时间约束的分布式软件可靠性评估研究”以分布式软件的可靠性模型为基础,将精简和深度优先两种方法有机结合,引入时间约束因子,对分布式软件可靠性进行理论分析,确定具有时间约束的分布式软件可靠性评估的理论方法。在此基础上,推导出Degree-1精简算法、Series精简算法、新的文件生成树生成算法、文件传输路径生成算法以及响应时间评估算法。在使用这一系列算法之前,首先对分布式系统进行形式化描述,形成分布式系统示意图,为算法提供运用环境。根据节点上可用的数据文件和节点的度数,Degree-1精简算法和Series精简算法分别对分布式系统示意图进行度1精简和度2精简,降低了评估阶段的复杂度;在精简的分布式系统示意图中,运用新的文件生成树生成算法,生成执行程序的所有文件生成树,以便确定数据文件的所有传输路径;在每一个文件生成树中,运用文件传输路径生成算法,生成数据文件的所有传输路径,为确定数据文件的传输时间创造条件;在数据文件的传输路径中,运用响应时间评估算法,对数据文件的传输时间进行评估,从而确定文件生成树的状态;根据文件生成树的状态和状态变迁情况,运用Markov模型,对具有时间约束的分布式软件的可靠性进行评估。为了验证具有时间约束的分布式软件可靠性评估算法的性能,通过理论分析和软件模拟两种方式对可靠性进行评估。其中软件模拟通过可靠性评估模拟器实现,模拟器自动生成具有时间约束的分布式软件并对其可靠性进行评估。评估结果表明,上述算法具有较好的合理性、可行性和准确性。
其他文献
软件体系结构中,异构结构趋势越来越明显。中间件的发展为异构结构匹配提供了新的思路,其中数据库中间件是所有中间件中应用最广泛、技术最成熟的一种。它能有效地屏蔽对不同数
数据挖掘作为数据库研究领域中的热点,正受到越来越多的关注。它被定义为在数据中寻找正确的、有趣的、潜在有用的并最终可以理解的模式。基于关联规则的挖掘是其中一个重要
SOC设计通常采用层次化片上总线体系结构,不同的IP集成在不同类型的总线上。为了实现SOC中集成在不同总线上的IP之间进行有效通信,可以采用设计总线桥的方法。 CLB总线是一
IKE是IPSec安全体系的重要组成部分。IKE在主机之间建立共享密钥和相关的安全参数,用来保护应用程序交换的数据。IKE的概念并不能用于基于IP多播服务的安全组播通信,因为它只
作为现代计算技术和IT技术的延伸,机器人正在逐渐走进我们的生活,而高度智能化和特性化正成为个人机器人鲜明的特征。视觉系统是机器人感知周围环境的重要组成构建之一,对于获取
操作系统安全是计算机系统安全的基础,操作系统安全研究是一个军用到商用的过程,目前国内针对关键商用体系框架的研究还很少。随着网络技术的飞速发展和安全威胁的多样化,传
随着Internet的高速发展和多媒体通讯时代的到来,结合计算机网络和多媒体技术的视频会议、实时直播等业务也得到了迅猛的发展。他们都具有较高的实际应用价值和非常广阔的发
该论文主要针对国内外现有的图像拼版系统,进行历史背景和研究内容的系统回顾,比较其存在的优缺点,并其以缺点作为切入点,进一步分析了开发新印前拼版系统的必要性,同时以图
随着计算机网络技术、通讯技术、多媒体技术、图形图像处理技术的发展,我国OA技术进入第三阶段。采用系统综合设备,如计算机局域网、广域网、综合业务数字网等,实现办公一体化,综
该论文陈述一个搜索相关性文本信息的新思想.依照文本信息的特征,文中给出了相关关键词和相关文本的定义.基于这些定义,该论文提出了一个扩展查询关键词集的方法并给出了以之