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

作     者：沈靖 蔡鹏 SHEN Jing;CAI Peng

作者机构：华东师范大学数据科学与工程学院上海200062 

基　　金：国家重点研发计划(2018YFB1003404) 国家自然科学基金(61972149) 

出 版 物：《华东师范大学学报（自然科学版）》 (Journal of East China Normal University(Natural Science))

年 卷 期：2020年第4期

页      码：98-107页

摘      要：大规模的分布式数据库中,诸如网络分区、信息丢失、节点宕机等软硬件故障无法避免.为了提高分布式数据库的可靠性、验证容错协议的正确性,分布式数据库应定期进行故障注入测试,即在系统运行过程中人为引发故障.然而各种故障的组合空间太大,无法枚举.已有的测试方法:一类是随机式故障组合,其实现方法简单但不能保证探索了所有的故障组合;另一类是通过专业知识分析系统构成并设计的故障组合,其测试结果更加完善但不具备普及性.以线性数据驱动的故障注入测试LDFI (Lineage-Driven Fault Injection)为原型,在分布式数据库的基础上,实现了一种同时具有完备性和普及性的自动化故障注入测试工具.实验结果表明,该测试工具能够以更少的测试案例,发现随机式故障注入无法发现的复合故障组合所引起的系统漏洞(bug),提高了数据库的可信度.

主 题 词：分布式 线性数据 自动化 故障注入 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-5641.201921011

馆 藏 号：203954581...