高钰博士学位论文入选2023年“CCF博士学位论文激励计划”

1月27日，2023 CCF颁奖大会暨理事长就职典礼在北京召开。大会为入选2023年“CCF博士学位论文激励计划”的博士颁发获奖证书。中国科学院软件研究所高钰博士（指导教师：魏峻研究员）的论文入选

高钰，2022届毕业生，现为软件所软件工程技术研究开发中心博士后。其博士学位论文《基于故障注入的分布式系统失效恢复缺陷检测技术》关注分布式系统韧性测试技术，总结了分布式系统失效恢复处理模型，开展了失效恢复缺陷实证研究，发现了若干缺陷模式，构建并发布了缺陷数据集。论文在此基础上提出了一种一致性导向的失效恢复缺陷检测方法，基于动态数据流分析自动识别不一致的系统状态，通过定向注入节点失效自动检测失效恢复缺陷。论文还进一步提出了一种代码覆盖导向的分布式系统故障注入测试方法，利用系统运行时反馈引导故障注入，优化失效场景选择策略，提高了恢复处理代码的测试覆盖度。

“CCF博士学位论文激励计划”为激励计算机领域的博士研究生潜心钻研、务实创新，表彰在计算机领域做出优秀成果的年轻学者而设立。经评选，2023年最终9篇论文入选该激励计划、5篇论文获得提名。