Using multiple adaptive distinguishing sequences for checking sequence generation

Güniçen, Canan and Jourdan, Guy Vincent and Yenigün, Hüsnü (2015) Using multiple adaptive distinguishing sequences for checking sequence generation. In: 27th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), United Arab Emirates

[thumbnail of 46-MultipleADS.pdf] PDF
46-MultipleADS.pdf
Restricted to Repository staff only

Download (404kB) | Request a copy

Abstract

A new method for constructing a checking sequence for finite state machine based testing is introduced. Unlike previous methods, which are based on state recognition using a single state identification sequence, our approach makes use of multiple state identification sequences. Using multiple state identification sequences provides an opportunity to construct shorter checking sequences, choosing greedily the state identification sequence that best suits our goal at different points during the construction of the checking sequence. We present the results of an experimental study showing that our approach produces shorter checking sequences than the previously published methods.
Item Type: Papers in Conference Proceedings
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: 23 Jun 2016 14:37
Last Modified: 26 Apr 2022 09:22
URI: https://research.sabanciuniv.edu/id/eprint/29391

Actions (login required)

View Item
View Item