【摘 要】
：
本文结合N版本编程软件的特点,对软件中存在的各类错误以及它们对软件可靠性造成的不同影响进行了详尽的阐述。并分析了不完全排错对N版本软件可靠性建模造成的影响,与许多现有N版本软件可靠性模型只分析软件的稳态可靠性不同,本文考虑了随著排错过程的进行软件可靠性的增长过程,建立了一种基于非齐次泊松分布过程的既考虑可靠性增长又考虑不完全排错的N版本编程软件可靠性模型。通过一个2版本编程系统的失效数据集对如何应
【机 构】
：
清华大学计算机科学与技术系,北京 100084
【出 处】
：
2008全国软件与应用学术会议(NASAC08)
论文部分内容阅读
本文结合N版本编程软件的特点,对软件中存在的各类错误以及它们对软件可靠性造成的不同影响进行了详尽的阐述。并分析了不完全排错对N版本软件可靠性建模造成的影响,与许多现有N版本软件可靠性模型只分析软件的稳态可靠性不同,本文考虑了随著排错过程的进行软件可靠性的增长过程,建立了一种基于非齐次泊松分布过程的既考虑可靠性增长又考虑不完全排错的N版本编程软件可靠性模型。通过一个2版本编程系统的失效数据集对如何应用本文提出的模型进行了说明和分析,结果表明采用本文提出的模型能够更准确地刻画N版本编程软件的可靠性特点。
其他文献
对于基于服务构件的软件系统，如航天航空、医疗系统，需要提供24/7/36的可用性。为了避免服务中断所带来的高昂代价，要未系统可以实施动态更新。OSGi作为Internet服务的下一代开放式标准，提供了管理构件生命周期各个阶段的接口，为实现动态更浙提供了基础平台。通过总结构件动态更新的4个基本步骤，提出了两阶段更新策略，从基本原理及测试实例的分析中保证了更新过程的动态性、高效性及安全性。
本体被越来越多地运用于Web服务匹配过程.通过Web服务语义建模,构建领域本体、服务功能本体、输入输出参数本体来扩充Web服务标准UDDI信息。并通过服务功能本体对Web进行划分,提出了一种适用于特定领域的Web服务匹配方法。该方法有效缩小了服务的匹配空间,提高了服务匹配准确度,并能支持动态服务组合。最后将该方法应用于民航信息发布领域,验证了该方法的有效性和可行性。
按照可远程共享程度对大型科学仪器进行了分类,在对科学仪器虚拟化技术研究的基础上,提出了基于Web Services的虚拟化技术。依据大型科学仪器共享平台的特征,设计了面向服务的大型科学仪器共享平台系统结构；提出了开发大型科学仪器服务的参考标准,在此基础上构建了高性能计算服务,并通过共享平台实现了高性能计算服务的远程共享。实验表明该平台具有可行性,对大型科学仪器的远程共享有积极的意义。
采用传统的系统架构构建的EAI和B2Bi平台存在系统封闭、厂商依赖性强、耦合度高、重用性差的缺点,无法和上下游企业IT系统建立统一的接口。介绍了面向服务的架构(SOA)和企业服务总线(ESB),讨论了基于CORBA与SOA建立SCUT-EAI框架的优点,给出了该EAI的系统架构设计与应用。SCUT-EAI摆脱传统集成方法的局限,实现了面向服务的EAI。
程序员在进行软件维护时往往需要考虑代码之间的依赖关系而修改多处代码。目前软件中普遍存在大量采用不同编程语言编写的辅助文件,采用程序分析的方法难以发现与其有关的依赖关系。本文采用频繁模式挖掘的方法对软件演化历史进行挖掘,发现修改模式,即在历史上相对频繁的同时发生修改的方法和辅助文件集合。本文采用抽象语法树比较的方法提取发生修改的方法,以开源项目Eclipse为例进行分析,提取其修改模式,抽样统计修改
卡恩进程网络(KPN)是一种应用于数据流建模的模型。由于理想的KPN需要无限制容量的用于通信的管道,而这种要求用计算机是无法实现的,所以T.M.Parks提出了一种有界调度策略。然而,这种有界调度又会导致一种理想KPN里不存在的假死锁,即由于写阻塞导致的死锁。本文针对PN中存在的假死锁,提出一种消息复杂度为O(n)的死锁检测算法DRAP,该算法能找到当前死锁的瓶颈所在,通过增加瓶颈管道的容量来解除
随着大规模数据集在高性能并行计算中应用的日趋广泛,优化大规模数据集的存储结构成为提高上层应用运行效率的重要途径。本文实现的LDFS分布式存储结构打破了单机存储和传统分片分布式存储系统的局限,针对大规模数据的特性对存储方式进行了改进.LDFS使月冗余副本的方式以实现高效的并发读写和容错能力,带外传榆、捎带指令、负载均衡、客户端校验等技术的应用进一步提高了系统的访问效率和稳定性。同时,LDFS还具有良
为了克服全球计算环境中计算节点的动态性的特征,引入了计算节点可信任度模型,该模型分别收集节点的历史任务完成情况和专门测试节点对计算节点的测试情况这两条独立的证据,并利用Dempster-Shafer(D-S)合成法则对影响计算节点可信任度的这两条因素进行综合处理,得到该节点基于时间段的可信任度。可信任模型可以用于网格平台的任务调度、任务迁移及网格平台的性能预测等。通过一种轻量级的桌面网格平台上的基
Agent理论和技术研究自上世纪九十年代以来非常活跃并取得了广泛成果,但当前的Agent技术难以展现其自适应性特征,以动态绑定机制为基础实现的Agent策略描述语言(ASDL),可以使Agent在运行时根据环境和状态的变化,按照预定义的决策,动态绑定、释放、激活或钝化行为规约,从而实现自主决策和运行机制自适应。ASDL语言的编译器通过JavaCC工具实现,运行时编译为Java代码。本文介绍了ASD
软件体系结构(SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,SA的动态描述常被用来指导分析和测试。