title   
  

Distinguishing sequence based checking sequence generation implementation and improvements

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

[img]PDF - Registered users only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
520Kb

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

Abstract

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:27 Dec 2008 16:09

Repository Staff Only: item control page