Distinguishing experiments for timed nondeterministic finite state machine

El-Fakih, Khaled: Distinguishing experiments for timed nondeterministic finite state machine. In: Acta cybernetica, (21) 2. pp. 205-222. (2013)

[img] Cikk, tanulmány, mű

Download (384kB)


The problem of constructing distinguishing experiments is a fundamental problem in the area of finite state machines (FSMs), especially for FSM-based testing. In this paper, the problem is studied for timed nondeterministic FSMs (TFSMs) with output delays. Given two TFSMs, we derive the TFSM intersection of these machines and show that the machines can be distinguished using an appropriate (untimed) FSM abstraction of the TFSM intersection. The FSM abstraction is derived by constructing appropriate partitions for the input and output time domains of the TFSM intersection. Using the obtained abstraction, a traditional FSM-based preset algorithm can be used for deriving a separating sequence for the given TFSMs if these machines are separable. Moreover, as sometimes two non-separable TFSMs can still be distinguished by an adaptive experiment, based on the FSM abstraction we present an algorithm for deriving an r-distinguishing TFSM that represents a corresponding adaptive experiment.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2013
Volume: 21
Number: 2
ISSN: 0324-721X
Page Range: pp. 205-222
Language: angol
DOI: https://doi.org/10.14232/actacyb.21.2.2013.1
Uncontrolled Keywords: Informatika, Informatika
Additional Information: Bibliogr.: p. 220-222.
Date Deposited: 2016. Oct. 17. 10:38
Last Modified: 2018. Jun. 05. 15:12
URI: http://acta.bibl.u-szeged.hu/id/eprint/32895

Actions (login required)

View Item View Item