Checking sequence construction using multiple adaptive distinguishing sequences

Güniçen, Canan (2015) Checking sequence construction using multiple adaptive distinguishing sequences. [Thesis]

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://risc01.sabanciuniv.edu/record=b1606640 (Table of Contents)


A new method for constructing a checking sequence for finite state machine (FSM) based testing is introduced. Unlike its predecessors, 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, based on a greedy approach of choosing a state identification sequence that best suits our goal at different points during the construction of the checking sequence. Our approach has two phases. In the first phase, a test sequence [symbol]is constructed using multiple state identification sequences. The sequence [symbol] is not guaranteed to be a checking sequence, however it is further extended to a checking a sequence by the second phase of our method. We present the results of an experimental study showing that our two phase approach produces shorter checking sequences than the previously published methods.

Item Type:Thesis
Uncontrolled Keywords:Formal testing methods. -- Checking sequences. -- Adaptive distinguishing sequences. -- Biçimsel sınama yöntemleri. -- Kontrol dizisi. -- Çoklu durum belirleme dizileri.
Subjects:Q Science > QA Mathematics > QA076 Computer software
ID Code:34404
Deposited By:IC-Cataloging
Deposited On:10 Apr 2018 11:58
Last Modified:25 Mar 2019 17:23

Repository Staff Only: item control page