Distinguishing sequence based checking sequence generation implementation and improvements

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.