Checking sequence construction using adaptive and preset distinguishing sequences

Hierons, Robert M. and Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2009) Checking sequence construction using adaptive and preset distinguishing sequences. In: 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam (Accepted/In Press)

Full text not available from this repository. (Request a copy)


Methods for testing from Finite State Machine-based specifications often require the existence of a preset distinguishing sequence for constructing checking sequences. It has been shown that an adaptive distinguishing sequence is sufficient for these methods. This result is significant because adaptive distinguishing sequences are strictly more common and up to exponentially shorter than preset ones. However, there has been no study on the actual effect of using adaptive distinguishing sequences on the length of checking sequences. This paper describes experiments that show that checking sequences constructed using adaptive distinguishing sequences are almost consistently shorter than those based on preset distinguishing sequences. This is investigated for three different checking sequence generation methods and the results obtained from an extensive experimental study are given.
Item Type: Papers in Conference Proceedings
Uncontrolled Keywords: Finite State Machine Based Testing, Preset Distinguishing Sequences, Adaptive Distinguishing Sequences, Checking Sequences
Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
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: 19 Nov 2009 16:30
Last Modified: 26 Apr 2022 08:53

Actions (login required)

View Item
View Item