论文部分内容阅读
分析了分布式软件系统中的典型通信协议故障,研究了基于API Hook的分布式软件可靠性测试方法,提出了基于通信协议故障注入的应用软件可靠性测试方法,并设计、实现了工具原型,为基于故障注入的分布式软件可靠性测试提供了技术手段。
面向通信协议故障的分布式软件可靠性测试技术研究
【摘 要】
：
分析了分布式软件系统中的典型通信协议故障,研究了基于API Hook的分布式软件可靠性测试方法,提出了基于通信协议故障注入的应用软件可靠性测试方法,并设计、实现了工具原型,
【机 构】
：
北京系统工程研究所
【出 处】
：
计算机科学
【发表日期】
：
2012年7期
【基金项目】
：
国家863项目（2008AA01A204）资助
其他文献
针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行
为了克服二维Shannon熵阈值法的缺陷,提出了一种使用矩不变法来调整二维直方图斜分Shannon熵的阈值分割方法。首先将二维直方图斜分原理运用到两种Shannon熵阈值法中,然后利用矩不变法从两种熵阈值法获取的阈值中选择最佳阈值,并提出二维直方图斜分Shannon熵阈值法的一般递推算法,最后将二维直方图分布特性与这种算法有机结合得到新型快速的递推算法。实验结果表明,提出的方法不仅分割效果优于当前
布尔可满足性问题（Boolean Satisfiability Problem,SAT）是逻辑学的一个基本问题,也是NP-hard问题。调查传播算法（Survey Propagation,SP）是求解SAT的一种非常高效的算法,但SP在
图像检索中很多时候会出现相关反馈提供的标注样本数不足,从而导致监督学习方法面临过适应问题的困扰。提出一种能有效使用未标记数据的半监督新型算法:近邻保留回归算法,它通过使已标记数据的观测误差函数最小化,来选择综合性能最好的回归函数,以兼顾图像的语义特征及图像空间的几何结构,并解决过适应问题。实验结果证明,算法能有效提高图像检索系统的性能。
为了在只有少量已知标记的数据集中获得较好的聚类效果,提出了一种基于图收缩的半监督聚类算法。首先将整个样本空间中的数据表达为一个带权图,再根据给出的must-link约束,对
多粒度仿真是当今仿真研究的重点和难点,其在仿真模拟领域的重要性逐渐显现出来。在该领域已提出了很多方法,其中聚合解聚法因简单易行且通信开销小而引起大家的注意,但该方
从智能空间的一般通讯需求出发,提出了一种面向智能空间的异构网络同构化通信框架,并对其构建方法进行了详细描述。这种通信框架同时具有动态性、松耦合性、鲁棒性、通用性、
软硬件任务划分是可重构系统开发过程中的重要设计步骤，其划分结果直接影响到可重构系统的性能。目前的软硬件任务划分技术大多只考虑了对应用程序或算法的划分结果，忽略了FPGA
通过对非结构化P2P网络中的随机节点选择算法进行研究，运用模糊理论中的直觉模糊集概念提出了基于得分函数的节点选择策略，以克服传统策略的随机性和盲目性。采取对节点的可靠
针对模糊C均值聚类图像分割算法运算量大、难于实时处理的问题,提出了一种基于图形处理器的加速算法。通过分析模糊C均值聚类算法各阶段可以并行处理的运算部分,利用计算统一设备架构软硬件结构,分别将隶属度矩阵计算、聚类中心计算和像素按隶属度归类3个部分改造成适合图形处理器硬件并行运行的形式。实验结果表明,相对于CPU串行算法,基于图形处理器的加速算法效率提升明显。鉴于大多数图像处理算法均具有可并行处理的部