Reducing locating sequences for testing from finite state machines

Jourdan, Guy Vincent and Ural, Hasan and Yenigün, Hüsnü (2016) Reducing locating sequences for testing from finite state machines. In: 31st Annual ACM Symposium on Applied Computing (SAC'16), Pisa, Italy

[thumbnail of 50-Reducing-Locating-Sequences-for-Testing-from-Finite-State-Machines.pdf] PDF
50-Reducing-Locating-Sequences-for-Testing-from-Finite-State-Machines.pdf
Restricted to Repository staff only

Download (751kB) | Request a copy

Abstract

When testing from a deterministic Finite State Machine specification M of an implementation N, state identification plays an essential role. In the case that M does not have a single input sequence to identify its states, state identification has to be performed by using a set of input sequences, elements of which need to be applied at the same state of N. Locating sequences have been proposed in the literature in order to guarantee that N is brought back to the same state over and over, in order to apply these input sequences. Although the lengths of locating sequences are exponential in general, there are some methods proposed in the literature to reduce their length. In this paper, we present an improved method for reducing the length of locating sequences. We give a formal description of our method and explain how the existing methods relate to our method.
Item Type: Papers in Conference Proceedings
Uncontrolled Keywords: Checking sequences; Finite state machines; Locating sequences; Model-based testing; State identification
Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
Q Science > QA Mathematics > QA076 Computer software
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Hüsnü Yenigün
Date Deposited: 15 Jul 2016 15:35
Last Modified: 26 Apr 2022 09:22
URI: https://research.sabanciuniv.edu/id/eprint/29403

Actions (login required)

View Item
View Item