hW-inference: A heuristic approach to retrieve models through black box testing

Autor(es)

Groz, Roland ^[1] ; Bremond, Nicolas ^[1] ; Simao, Adenilso ^[2] ; Oriat, Catherine ^[1]

Afiliação do(s) autor(es)

^[1] Univ Grenoble Alpes, CNRS, Grenoble INP, LIG, F-38000 Grenoble - France

^[2] Univ Sao Paulo, ICMC, Sao Carlos, SP - Brazil

• Tipo de documento: Artigo Científico
• Fonte: JOURNAL OF SYSTEMS AND SOFTWARE; v. 159, JAN 2020.
• Citações Web of Science: 0

Resumo

We present an efficient approach to retrieve behavioural models from reactive software systems in the form of Finite State Machines by testing them. The system is accessed in black box mode; thus, no source or binary code is needed. The novelty of the approach is that it does not require to reset the system between tests (queries) and does not require any knowledge of the system apart from its input domain. Experiments have shown that it can scale up to systems that may have thousands of states. (C) 2019 Elsevier Inc. All rights reserved. (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