Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
复制标题
形式方法和软件工程 - 第 24 届形式工程方法国际会议，ICFEM 2023，澳大利亚昆士兰州布里斯班，2023 年 11 月 21-24 日，会议记录
DOI：
10.1007/978-981-99-7584-6_3
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Foster M
中科院分区：
文献类型：
--
作者：
Foster M
扩展有限状态机(EFSM)用内部数据变量来建模有状态系统，具有许多软件工程应用，包括系统分析和测试用例生成。在此类模型不可用的情况下，希望通过观察系统行为来对其进行反向工程，但现有方法要么局限于没有内部数据状态的经典FSM模型，要么隐含地要求能够在推理下重置系统，而这并不总是可能的。在本文中，我们提出了一种扩展的硬件推理算法，它可以从没有可靠重置的系统中推断出具有保护和内部数据更新功能的EFSM模型，尽管目前对系统和模型的类型有一些限制。
Extended finite state machines (EFSMs) model stateful systems with internal data variables, and have many software engineering applications, including system analysis and test case generation. Where such models are not available, it is desirable to reverse engineer them by observing system behaviour, but existing approaches are either limited to classical FSM models with no internal data state, or implicitly require the ability to reset the system under inference, which may not always be possible. In this paper, we present an extension to the hW-inference algorithm that can infer EFSM models, complete with guards and internal data update functions, from systems without a reliable reset, although there are currently some restrictions on the type of system and model.