Distinguishing sequence based checking sequence generation implementation and improvements

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

[thumbnail of yalcinmehmetcihan.pdf] PDF

Download (532kB)


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
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Mechatronics
Faculty of Engineering and Natural Sciences
Depositing User: IC-Cataloging
Date Deposited: 15 Apr 2008 09:41
Last Modified: 26 Apr 2022 09:47
URI: https://research.sabanciuniv.edu/id/eprint/8364

Actions (login required)

View Item
View Item