Test generation algorithm for the All-Transition-State criteria of Finite State Machines

Németh, Gábor Árpád and Lugosi, Máté István (2021) Test generation algorithm for the All-Transition-State criteria of Finite State Machines. INFOCOMMUNICATIONS JOURNAL, 13 (3). pp. 56-65. ISSN 2061-2079

Preview

Text InfocomJ_2021_3_6_Nemeth.pdf Download (860kB) | Preview

Abstract

In the current article a novel test generation algorithm is presented for deterministic finite state machine specifications based on the recently introduced All-Transition-State criteria. The size of the resulting test suite and the time required for test suite generation are investigated through analytical and practical analyses and are also compared to the Transition Tour, Harmonized State Identifiers and random walk test generation methods. The fault detection capabilities of the different approaches are also investigated with simulations applying randomly injected transfer faults.

Actions (login required)

Edit Item