带寄存器和守卫的扩展有限状态机模型的主动推断
形式语言与自动机理论
2026-04-24 v1
摘要
扩展有限状态机（EFSM）对具有内部数据变量的状态系统进行建模，并在软件工程中有众多应用。这类模型的一个主要优势在于其能够同时对数据流和依赖于数据的控制行为进行建模。在缺乏此类模型的情况下，通过观察系统行为对其进行逆向工程是理想的。然而，现有方法通常要求在推断过程中能够重置系统，或者只能处理控制流完全依赖于输入参数而不依赖于存储数据值的情况。在这项工作中，我们提出了一种黑盒主动学习算法，该算法推断带有守卫和寄存器的EFSM，并且与之前的尝试相比，显著放宽了必须对系统做出的假设。
引用
@article{arxiv.2604.21378,
title = {Active Inference of Extended Finite State Machine Models with Registers and Guards},
author = {Roland Groz and German Eduardo Vega Baez and Adenilso Simao and Catherine Oriat and Neil Walkinshaw and Michael Foster},
journal= {arXiv preprint arXiv:2604.21378},
year = {2026}
}