TarTar：一个时序自动机修复工具
软件工程
2020-05-13 v2 形式语言与自动机理论
摘要
我们提出TarTar，一个自动修复分析工具，该工具在给定时序自动机模型模型检验过程中获得的时序诊断迹（TDT）后，建议对所分析模型进行可能的语法修复。建议的修复包括修改位置不变式和转移守卫中的时钟界值、添加或删除时钟重置等。所提修复保证消除给定TDT的可执行性，同时保留系统的整体功能行为。我们给出了TarTar设计与架构的见解，并表明它能在来自多样化案例研究套件的系统模型中成功修复69%的植入错误。
引用
@article{arxiv.2002.02760,
title = {TarTar: A Timed Automata Repair Tool},
author = {Martin Koelbl and Stefan Leue and Thomas Wies},
journal= {arXiv preprint arXiv:2002.02760},
year = {2020}
}
备注
15 pages, 7 figures