Please use this identifier to cite or link to this item:
|Title:||Checking sequence construction using adaptive and preset distinguishing sequences|
|Citation:||Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on, Hanoi, November 2009. pp. 157-166|
|Abstract:||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.|
|Appears in Collections:||Computer Science|
Dept of Computer Science Research Papers
Software Engineering (B-SERC)
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.