一句话：提出增强测试程序变异方法，为编译器缺陷隔离生成更充分测试用例，提升隔离效果。
编译器是基础软件，编译器缺陷会阻碍开发者定位软件问题，因此需要隔离并修复编译器缺陷。然而编译器复杂且代码库庞大，缺陷隔离困难；已有研究难以生成足够测试用例，隔离效果不足。本文面向该问题，提出通过增强测试程序变异来支持编译器缺陷隔离：在测试程序变异基础上改进用例生成，以提供更充分的触发与区分信息，从而辅助定位编译器缺陷。摘要未报告具体实验数据与关键结果，但工作目标是提高编译器缺陷隔离的有效性。
Compilers are one of the most fundamental software systems. A large number of software systems rely on compilers for execution. Compiler bugs can significantly hinder software developers from diagnosing issues within their software. Therefore, it is essential to ensure the correctness of compilers and to isolate and fix compiler bugs. Isolating bugs within compilers is challenging due to compilers' complexity and large codebase. The prior studies on compiler bug isolation struggle to generate sufficient test cases for bug isolation and are not effective enough.
DOI 原文 ·
@inproceedings{paperbot8289,
title = {Compiler Bug Isolation via Enhanced Test Program Mutation},
author = {Yujie Liu and Mingxuan Zhu and Jinhao Dong and Junzhe Yu and Dan Hao},
booktitle = {ASE},
year = {2024},
doi = {10.1145/3691620.3695074}
}