面向 ATL 修复的社会多样性方法
软件工程
2022-08-29 v1
摘要
模型转换在模型驱动工程范式中起着至关重要的作用。编写正确的转换程序需要精通源建模语言与目标建模语言，清晰理解两者元素之间的映射，并掌握转换语言以恰当描述转换。转换程序因而复杂且易出错，在这类程序中查找并修复错误通常涉及开发人员繁琐且耗时的努力。本文中，我们提出一种新颖的基于搜索的方法，用于自动修复包含多个语义错误的转换程序。为防止适应度平台期与单一适应度峰局限，我们利用社会多样性的概念来促进修复补丁处理那些被种群中其他补丁覆盖较少的错误。我们在 71 个用 ATL 编写且同时包含多达五个语义错误的语义不正确转换程序上评估了我们的方法。评估表明，在搜索修复补丁时融入社会多样性可提升这些补丁的质量，并加快收敛速度，即便涉及多达五个语义错误时亦然。
引用
@article{arxiv.2208.12359,
title = {Social Diversity for ATL Repair},
author = {Zahra Varaminybahnemiry and Jessie Galasso and Houari Sahraoui},
journal= {arXiv preprint arXiv:2208.12359},
year = {2022}
}