Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

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

Texto completo
Autor(es):
Groz, Roland [1] ; Bremond, Nicolas [1] ; Simao, Adenilso [2] ; Oriat, Catherine [1]
Número total de Autores: 4
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
Número total de Afiliações: 2
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:José Alberto Cuminato
Linha de fomento: Auxílio à Pesquisa - Centros de Pesquisa, Inovação e Difusão - CEPIDs