高钰博士论文入选2023年度中国科学院优秀博士学位论文

近日，中国科学院公布了2023年度中国科学院优秀博士学位论文评审结果。软件所2022届毕业生高钰的博士学位论文均入选，指导教师魏峻研究员也荣获2023年度中国科学院优秀导师称号。

高钰，2015级硕博连读生，其博士学位论文《基于故障注入的分布式系统失效恢复缺陷检测技术》关注基于故障注入的分布式系统失效恢复缺陷检测。失效恢复机制是保障分布式系统可靠性的一种技术途径，故障注入技术被广泛用于测试分布式系统失效恢复机制的正确性。论文总结了分布式系统失效恢复处理模型，开展了失效恢复缺陷实证研究，发现了若干缺陷模式，构建并发布了缺陷数据集。在此基础上，论文提出了一种一致性导向的失效恢复缺陷检测方法，基于动态数据流分析自动识别不一致的系统状态，通过定向注入节点失效自动检测失效恢复缺陷。论文还进一步提出了一种代码覆盖导向的分布式系统故障注入测试方法，利用系统运行时反馈引导故障注入，优化失效场景选择策略，提高了恢复处理代码的测试覆盖度。

中国科学院优秀博士学位论文评选始于2004年，每年评选一次。2023年，全院共有99篇论文入选。