ArkEval: Benchmarking and Evaluating Automated CodeRepair for ArkTS
Bang Xie, Senjian Zhang, Zhiyuan Peng, Wei Chen, Chenhao Ying, Yuan Luo

TL;DR
ArkEval introduces the first comprehensive benchmark for automated code repair in ArkTS, leveraging large language models and a novel test generation approach to evaluate and advance repair capabilities in this emerging mobile ecosystem.
Contribution
This paper presents ArkEval, a new benchmark and evaluation framework specifically for ArkTS automated repair, including issue mining, test generation, and LLM evaluation.
Findings
LLMs show promising but limited repair capabilities for ArkTS.
The benchmark reveals current LLM limitations in low-resource languages.
ArkEval facilitates future research in automated repair for ArkTS.
Abstract
Large language models have transformed code generation, enabling unprecedented automation in software development. As mobile ecosystems evolve, HarmonyOS has emerged as a critical platform requiring robust development tools. Software development for the HarmonyOS ecosystem relies heavily on ArkTS, a statically typed extension of TypeScript. Despite its growing importance, the ecosystem lacks robust tools for automated code repair, primarily due to the absence of a high-quality benchmark for evaluation. To address this gap, we present ArkEval, a unified framework for ArkTS automated repair workflow evaluation and benchmark construction. It provides the first comprehensive benchmark specifically designed for ArkTS automated program repair. We constructed this benchmark by mining issues from a large-scale official Huawei repository containing over 400 independent ArkTS applications.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Software Engineering Research · Model-Driven Software Engineering Techniques
