paperbot · PL 论文追踪

全部论文 待读 收藏

ArkEval: Benchmarking and Evaluating Automated Code Repair for ArkTS

ArkEval:面向 ArkTS 自动代码修复的基准测试与评估
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026引用 5 inbox
Bang Xie, Senjian Zhang, Zhiyuan Peng, Wei Chen, Xin Yin, Chenhao Ying, Yuan Luo
crossref: 2026-10-09

AI 速览

一句话:提出首个 ArkTS/OpenHarmony 仓库级自动修复基准,并评测八个模型,揭示编译通过与行为修复的差距。

现有自动程序修复基准主要覆盖 Python、Java 等成熟语言,对 ArkTS 与 OpenHarmony 支持有限。本文提出 ArkEval,一个面向真实 ArkTS/OpenHarmony issue 解决任务的仓库级可执行修复基准,据称是首个此类基准。作者从九个公开仓库挖掘截至 2025 年 7 月 3 日的 6000 多条 PR/MR 记录,经自动画像与三名 ArkTS/OpenHarmony 开发者一致筛选得到 502 个实例;复现测试通过六轮基准级精化构建,并对剩余六个实例做定向闭环。评估采用相同的定位引导、关闭 RAG 的修复协议测试八个模型。最佳模型的补丁编译率为 54.38%,而最高行为 Pass@1 仅 19.32%,表明 ArkEval 能区分构建有效性与行为修复,并提供可追溯测试。

问题
现有自动程序修复基准多针对 Python、Java 等成熟语言,缺少对 ArkTS/OpenHarmony 真实仓库级任务的评测支持。
方法
构建 ArkEval:从九个公开仓库挖掘 6000 多条 PR/MR 记录,经自动画像和三名开发者一致筛选得到 502 个实例,并通过六轮精化构造复现测试;以定位引导、关闭 RAG 的统一协议评测八个模型。
评估
最佳模型仅编译 54.38% 的补丁,最高行为 Pass@1 为 19.32%,说明构建有效性与行为修复之间存在显著差距,基准能分别追踪二者。
原文摘要(Abstract)

Automated program repair benchmarks largely cover mature languages such as Python and Java, leaving limited support for ArkTS and OpenHarmony. We present ArkEval, an executable repository-level benchmark for evaluating repair on real ArkTS/OpenHarmony issue-resolution tasks. To the best of our knowledge, it is the first benchmark with this scope. We mined more than 6,000 pull-request and merge-request records available through July 3, 2025, from nine public repositories. Automated profiling and unanimous screening by three ArkTS/OpenHarmony developers produced 502 instances. Their reproduction tests were constructed through a six-round benchmark-wide refinement process, followed by targeted closure for the remaining six instances. We evaluated eight current models with the same localization-guided, RAG-off repair protocol. The best model compiled 54.38% of its patches, whereas the highest behavioral Pass@1 was 19.32%. ArkEval therefore separates build validity from behavioral repair and supplies traceable tests for studying both.

链接与引用

DOI 原文 · arXiv · DBLP

BibTeX
@inproceedings{abs-2602-08866,
  title = {ArkEval: Benchmarking and Evaluating Automated Code Repair for ArkTS},
  author = {Bang Xie and Senjian Zhang and Zhiyuan Peng and Wei Chen and Xin Yin and Chenhao Ying and Yuan Luo},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3837514}
}