我院教师王博在变异分析加速研究上取得最新进展，论文《Faster Mutation Analysis with Fewer Processes and Smaller Overheads》发表于软工方向CCF A类会议ASE’21上。该论文是必赢国际437官网首篇软工方向的CCF A类文章。

    该成果主要解决变异分析的可延展性问题。变异分析是软件分析领域的基础性方法，被广泛应用于评估单元测试能力、全自动缺陷定位、全自动缺陷修复等问题上。其核心流程是通过系统性植入微小缺陷，再编译、运行改动后的程序，最后观察其运行结果。由于该方法会产生大量程序变体，导致计算资源消耗巨大，难以延展到实际大规模程序上使用。为此，研究者提出基础分支的加速方法，通过共享冗余部分计算实现加速。课题组以扩大合并变异分析范围为指导思想，提出以基本块为单位的变异分析方法，并在此基础上设计高效的合并数据结构、提出插装优化方法以提升运行速度。如上图(d)中，本文方法WinMut相比已有方法大幅简化了计算。在实验验证中，我们选取了10个大型开源C程序，其总代码量超过158万行，植入程序变体超过2000万个。在实验中，该方法比已有最新的ISSTA‘17的工作加速5.57倍。该成果与北京大学的卢思睿和熊英飞合作。

    王博博士毕业于北京大学软件研究所，导师为熊英飞长聘副教授。研究兴趣为软件测试、软件分析和软件修复。研究工作主要聚焦全自动程序修复、变异分析、编译器测试和代码自动生成等。读博以来以一作或通信发表软件工程方向CCF A类4篇，中文CCF A期刊1篇。其中发表于软工方向CCF A类会议ISSTA’17一作文章获得杰出论文奖，也是中国学者在该会上首次得奖。在软工CCF C 会APSEC’17受邀报告，并入选ChinaSoft’18优秀博士生。在软工CCF A会ASE’21主会上担任Session Chair。王博博士于2021年入选中国计算学会系统软件专委执行委员，是必赢国际437官网在该专委的唯一执委。