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

Full text
Author(s):	Groz, Roland ^[1] ; Bremond, Nicolas ^[1] ; Simao, Adenilso ^[2] ; Oriat, Catherine ^[1] Total Authors: 4
Affiliation:	^[1] Univ Grenoble Alpes, CNRS, Grenoble INP, LIG, F-38000 Grenoble - France ^[2] Univ Sao Paulo, ICMC, Sao Carlos, SP - Brazil Total Affiliations: 2
Document type:	Journal article
Source:	JOURNAL OF SYSTEMS AND SOFTWARE; v. 159, JAN 2020.
Web of Science Citations:	0
Abstract
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)

FAPESP's process:	13/07375-0 - CeMEAI - Center for Mathematical Sciences Applied to Industry
Grantee:	Francisco Louzada Neto
Support Opportunities:	Research Grants - Research, Innovation and Dissemination Centers - RIDC