Distinguishing sequence based checking sequence generation implementation and improvements

Warning The system is temporarily closed to updates for reporting purpose.

Yalçın, Mehmet Cihan (2006) Distinguishing sequence based checking sequence generation implementation and improvements. [Thesis]

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

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


With advances in computer technology and software engineering, systems are constantly becoming larger and more complex. Straightforward testing methods are insufficient to cope with the complexity and maintaining quality of service demands the use of more structured testing methods. Checking sequences are testing mechanisms based on finite state behavior models that can offer guarantees about a system under test, under certain assumptions. However, their complexities are high, and to make their implementation feasible methods of their construction need to be refined. We have studied several methods of checking sequence construction in the presence of distinguishing sequences, developed fully formed algorithms from loose specifications, then implemented and compared their performances. We have also proposed several improvements that will allow generation of shorter checking sequences. We are confident that these developments will be instrumental in making the use of checking sequences feasible in a larger scope.

Item Type:Thesis
Uncontrolled Keywords:Formal Testing Methods. -- Checking sequences. -- Distinguishing sequences
Subjects:T Technology > TK Electrical engineering. Electronics Nuclear engineering
ID Code:8364
Deposited By:IC-Cataloging
Deposited On:15 Apr 2008 09:41
Last Modified:25 Mar 2019 16:55

Repository Staff Only: item control page