Model-based mutation testing for Finite State Machine specifications with MTR

Németh, Gábor Árpád (2025) Model-based mutation testing for Finite State Machine specifications with MTR. INFOCOMMUNICATIONS JOURNAL, 17 (3). pp. 84-91. ISSN 2061-2079

Preview

Text InfocomJournal_2025_3_10.pdf - Published Version Download (1MB) | Preview

Abstract

In this article a model-based mutation testing technique has been introduced to a free and open-source modelbased testing framework. The approach utilizes test suites that are generated with various test generation algorithms. It is investigated how efficient the resulting test suites are killing different types of mutations and their respective complexity. Guidelines are proposed to select the appropriate test generation methods for each mutation operator type independently. Using the ability to define a target score, the wide range of mutation generation and test generation options, one can create an appropriate trade off between fault coverage and test execution complexity.

Actions (login required)

Edit Item