使用CodeBERT的Simulink变异测试
软件工程
2025-01-14 v1
摘要
我们提出了BERTiMuS，一种使用CodeBERT为Simulink模型生成变异体的方法。BERTiMuS将Simulink模型转换为文本表示，掩码派生文本中的标记，并使用CodeBERT预测掩码标记。通过用CodeBERT的预测替换掩码标记来获得Simulink变异体。我们使用工业基准中的Simulink模型评估BERTiMuS，并将其与FIM（一种最先进的Simulink变异工具）进行比较。我们表明，仅依赖CodeBERT，BERTiMuS就能生成文献中记录的基于块的Simulink变异模式。此外，我们的结果表明：（a）BERTiMuS与FIM互补，（b）当考虑需求感知的变异测试概念时，BERTiMuS优于FIM。
引用
@article{arxiv.2501.07553,
title = {Simulink Mutation Testing using CodeBERT},
author = {Jingfan Zhang and Delaram Ghobari and Mehrdad Sabetzadeh and Shiva Nejati},
journal= {arXiv preprint arXiv:2501.07553},
year = {2025}
}
备注
This paper has been accepted at the 6th ACM/IEEE International Conference on Automation of Software Test (AST 2025)