线性驱动的分布式数据库容错性自动化测试

来源 :华东师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:h565739
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
大规模的分布式数据库中,诸如网络分区、信息丢失、节点宕机等软硬件故障无法避免.为了提高分布式数据库的可靠性、验证容错协议的正确性,分布式数据库应定期进行故障注入测试,即在系统运行过程中人为引发故障.然而各种故障的组合空间太大,无法枚举.已有的测试方法:一类是随机式故障组合,其实现方法简单但不能保证探索了所有的故障组合;另一类是通过专业知识分析系统构成并设计的故障组合,其测试结果更加完善但不具备普及性.以线性数据驱动的故障注入测试LDFI (Lineage-Driven Fault Injection)为原
其他文献
自"数据+业务"的双中台架构被提出以来,中台间数据进行安全交互的效能显得尤为重要.基于此,本研究提出了一种高效的交互式协议,在借助区块链双链结构保证数据安全可信的情况
本文研究了非齐次非线性薛定谔方程爆破解的存在性.首先构造了一类不变集,然后应用最佳Gagliardo-Nirenberg型不等式以及仔细的分析证明了对任意大的μ,存在u0∈H1,使得E(u0)
综述了语义文本相似度计算的最新研究进展,主要包括基于字符串、基于统计、基于知识库和基于深度学习的方法.针对每一类方法,不仅介绍了其中典型的模型和方法,而且深入探讨了
本文通过例举传统解剖教学中的一些不足,初步探讨外科学与解剖学创新型教学模式的实践、意义及效果。这一系列新的教学尝试对医学人才的培养及促进医学院校教学改革具有一定
作者结合近几年的教学经验,就如何提高神经系统的教学效果谈几点体会,其目的是提高神经系统的教学质量。
老年性痴呆,又称阿尔茨海默病(Alzheimer's disease,AD),是发生在老年期及老年前期的一种慢性进行性发展的致死性中枢神经系统神经退行性疾病。随着寿命的延长,AD的患病年龄越来
月球车是搭载探测任务的可移动多功能机器人.月球车在实际地形行驶中,从起点到目标点之间除了选择最优路径,还应该将地形、障碍物等影响因素考虑进去.地形的主要影响因素是陡