| Texto completo | |
| Autor(es): |
Foster, Michael
;
Groz, Roland
;
Oriat, Catherine
;
Simao, Adenilso
;
Vega, German
;
Walkinshaw, Neil
Número total de Autores: 6
|
| Tipo de documento: | Artigo Científico |
| Fonte: | FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2023; v. 14308, p. 18-pg., 2023-01-01. |
| Resumo | |
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. (AU) | |
| Processo FAPESP: | 13/07375-0 - CeMEAI - Centro de Ciências Matemáticas Aplicadas à Indústria |
| Beneficiário: | Francisco Louzada Neto |
| Modalidade de apoio: | Auxílio à Pesquisa - Centros de Pesquisa, Inovação e Difusão - CEPIDs |