Improving Model Learning by Inferring Separating Sequences from Traces

Author(s)

Braz, Rafael ; Simao, Adenilso ; Groz, Roland ; Oriat, Catherine ; IEEE

• Document type: Journal article
• Source: 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW; v. N/A, p. 7-pg., 2023-01-01.

Abstract

Models that can represent the behavior of systems, such as a Finite State Machine (FSM), are crucial for software development and maintenance as they serve as a base for several automated activities like testing, verification, validation, and refinement of systems. Contrasting their importance and value, models are usually complex and costly to obtain. Model inference algorithms can help with this task. In this paper, we propose a method to improve the learning process of FSMs by inferring separating sequences from traces and using them in characterization sets. We conducted a case study to assess the impact of the proposed method on an FSM learning algorithm called hW-inference. We observed that the proposed method was capable of improving by 24% the learning process. (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