REAL

MTR Model-Based Testing Framework

Németh, Gábor Árpád and Lugosi, Máté István (2024) MTR Model-Based Testing Framework. INFOCOMMUNICATIONS JOURNAL, 16 (2). pp. 11-18. ISSN 2061-2079

[img]
Preview
Text
InfocomJournal_2.pdf - Published Version

Download (954kB) | Preview

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.

Item Type: Article
Uncontrolled Keywords: model-based testing, conformance testing, finite state machine, test generation algorithm Index Terms—model-based testing, conformance testing, f inite state machine, test generation algorithm Index Terms—model-based testing, conform
Subjects: Q Science / természettudomány > QA Mathematics / matematika
Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Q Science / természettudomány > QA Mathematics / matematika > QA76.76 Software Design and Development / Szoftvertervezés és -fejlesztés
T Technology / alkalmazott, műszaki tudományok > T2 Technology (General) / műszaki tudományok általában
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 15 Aug 2024 11:09
Last Modified: 26 Aug 2024 13:35
URI: https://real.mtak.hu/id/eprint/202592

Actions (login required)

Edit Item Edit Item