Distinguishing sequence based checking sequence generation implementation and improvements

Abstract

Bilgisayar teknolojisi ve yazılım mühendisliËindeki ilerlemelerle, sistemleru ggitgide daha büyüyor ve karmaşıklaşıyor. Sıradan test metodları bu karmaşıklıklauu s s sbaşetmekte yetersiz kalıyor ve hizmet kalitesini korumak işin daha düzenli tests c umetodları gerekiyor.Kontrol dizileri, sonlu durumlu davranış modellerine dayanan ve belli koşullars saltında test edilen sistem hakkında garantiler verebilen yapılardır. Ancak, karmaşıklıklarısyüksektir ve kullanılmalarını uygulanabilir kılmak işin uretim metodları geliştirilmelidir.u cü sBiz, ayırıcı serilerin varlıËında kontrol serisi uretiminde kullanılabilecek kimig ümetodları inceledik, esnek spesiï¬kasyonlardan net algoritmalar ureterek bunlarıüuyguladık ve metodların performanslarını karşılaştırdık. Ek olarak, daha kısasskontrol serilerinin uretimine olanak saËlayacak, şeşitli gelişmeler üneriyoruz. Buü g cs s ogelişmelerin, kontrol serilerinin kullanılabileceËi şerveşenin gelişmesini saËlamadas gc c s gyararlı olacaËına inanıyoruz.g

With advances in computer technology and software engineering, systems areconstantly becoming larger and more complex. Straightforward testing methodsare insuï¬cient to cope with the complexity and maintaining quality of servicedemands the use of more structured testing methods.Checking sequences are testing mechanisms based on ï¬nite state behaviormodels that can oï¬er guarantees about a system under test, under certain as-sumptions. However, their complexities are high, and to make their implemen-tation feasible methods of their construction need to be reï¬ned.We have studied several methods of checking sequence construction in thepresence of distinguishing sequences, developed fully formed algorithms fromloose speciï¬cations, then implemented and compared their performances. Wehave also proposed several improvements that will allow generation of shorterchecking sequences. We are conï¬dent that these developments will be instru-mental in making the use of checking sequences feasible in a larger scope.