一句话:提出 MR-Adopt,从硬编码的蜕变关系中自动推导输入变换函数,使 MR 可复用于新源输入。
许多开发者编写的测试用例可编码出可复用的蜕变关系(MR),但超过 70% 的这类 MR 将源输入与后续输入硬编码在关系中,未显式给出从源输入到后续输入的输入变换。因此,这些 MR 无法直接应用于新的源输入,限制了其在提升测试充分性方面的复用。为此,论文提出 MR-Adopt,旨在自动推导输入变换函数,将硬编码的 MR 转化为可复用形式。摘要未给出具体技术路线与实验结果;从标题与摘要看,其核心贡献是自动化补全 MR 所缺失的输入变换,从而支持与新源输入组合生成后续输入并增强测试。
While a recent study reveals that many developer-written test cases can encode a reusable Metamorphic Relation (MR), over 70% of them directly hard-code the source input and follow-up input in the encoded relation. Such encoded MRs, which do not contain an explicit input transformation to transform the source inputs to corresponding follow-up inputs, cannot be reused with new source inputs to enhance test adequacy.
@inproceedings{paperbot8407,
title = {MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing},
author = {Congying Xu and Songqiang Chen and Jiarong Wu and Shing-Chi Cheung and Valerio Terragni and Hengcheng Zhu and Jialun Cao},
booktitle = {ASE},
year = {2024},
doi = {10.1145/3691620.3696020}
}