Year: 2024
Type: article
Abstract: In this article we propose a novel, free and open- source model-based testing framework for finite state machine specifications. The various model handling and test generation options make the framework suitable for testing complex systems and provide a solid background for investigating different automated test design methodologies. The complexity and fault detection capabilities of the available algorithms are investigated through analytical analyses and simulations applying randomly injected faults.
Authors: Gábor Árpád Németh, Máté István Lugosi
Institution: Budapest University of Technology and Economics
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4401586080