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)

[thumbnail of actacyb_21_2_2013_1.pdf]
Preview
Cikk, tanulmány, mű
actacyb_21_2_2013_1.pdf

Download (384kB) | Preview

Abstract

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: English
Place of Publication: Szeged
Related URLs: http://acta.bibl.u-szeged.hu/38536/
DOI: 10.14232/actacyb.21.2.2013.1
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: p. 220-222. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 17. 10:38
Last Modified: 2022. Jun. 17. 15:27
URI: http://acta.bibl.u-szeged.hu/id/eprint/32895

Actions (login required)

View Item View Item