arrow
返回

Mutation analysis for evaluating code translation

delete2023-12-06
delete1
delete
OA
AI
G
Giovani Guizzo
J
Jie M. Zhang
F
Federica Sarro *
C
Christoph Treude
M
Mark Harman
DOI:10.1007/s10664-023-10385-wdelete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
Source-to-source code translation automatically translates a program from one programming language to another. The existing research on code translation evaluates the effectiveness of their approaches by using either syntactic similarities (e.g., BLEU score), or test execution results. The former does not consider semantics, the latter considers semantics but falls short on the problem of insufficient data and tests. In this paper, we propose MBTA (Mutation-based Code Translation Analysis), a novel application of mutation analysis for code translation assessment. We also introduce MTS (Mutation-based Translation Score), a measure to compute the level of trustworthiness of a translator. If a mutant of an input program shows different test execution results from its translated version, the mutant is killed and a translation bug is revealed. Fewer killed mutants indicate better code translation. MBTA is novel in the sense that mutants are compared to their translated counterparts, and not to their original program's translation. We conduct a proof-of-concept case study with 612 Java-Python program pairs and 75,082 mutants on the code translators TransCoder and j2py to evaluate the feasibility of MBTA. The results reveal that TransCoder and j2py fail to translate 70.44% and 70.64% of the mutants, respectively, i.e., more than two-thirds of all mutants are incorrectly translated by these translators. By analysing the MTS results more closely, we were able to reveal translation bugs not captured by the conventional comparison between the original and translated programs.
Keyword:
Mutation testing
Source to source translation
Code translation
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Empirical Software Engineering 封面图
Empirical Software Engineering
IF:
3.6
论文数:
2.0K
被引数:
5.3K

机构

U
University College London
学者数:
7.9W
论文数: 6.2W
被引数: 15.7W
U
university of london
学者数:
21.5W
论文数: 19.7W
被引数: 305
引用论文

引用论文

err
IF0
err
err0
errOAAI
err
err分享
err收藏
Model validation using mutated training labels: An exploratory study使用突变训练标签的模型验证: 一项探索性研究
err2023-06-01
err4
errOAAI
errZhang, Jie M.; Harman, Mark; Guedj, Benjamin; Barr, Earl T.; Shawe-Taylor, John
err分享
err收藏
Neurally dissociable cognitive components of reading deficits in subacute stroke
err2015-05-27
err0
errOAAI
errOlga Boukrina; A. M. Barrett; Edward J. Alexander; Bing Yao; William W. Graves
err分享
err收藏
Recent Developments in SiC Device Research
err1999-01-01
err0
PREAI
errC. I. Harris; A. O. Konstantinov
err分享
err收藏
err分享
err收藏
Mounting of Dermatological Material With Synthetic Resins
err1947-12-26
err0
PREAI
errLeon Goldman; Lester Mason
err分享
err收藏
学者 查看更多内容