Geri Dön

Distinguishing sequence based checking sequence generation implementation and improvements

Ayırıcı serilere dayalı kontrol serisi üretimi uygulama ve geliştirmeleri

PDF İndir

  1. Tez No: 182303
  2. Yazar: MEHMET CİHAN YALÇIN
  3. Danışmanlar: YRD. DOÇ. DR. HÜSNÜ YENİGÜN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2006
  8. Dil: İngilizce
  9. Üniversite: Sabancı Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 81

Özet

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 spesifikasyonlardan 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

Özet (Çeviri)

With advances in computer technology and software engineering, systems areconstantly becoming larger and more complex. Straightforward testing methodsare insufficient to cope with the complexity and maintaining quality of servicedemands the use of more structured testing methods.Checking sequences are testing mechanisms based on finite state behaviormodels that can offer 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 refined.We have studied several methods of checking sequence construction in thepresence of distinguishing sequences, developed fully formed algorithms fromloose specifications, then implemented and compared their performances. Wehave also proposed several improvements that will allow generation of shorterchecking sequences. We are confident that these developments will be instru-mental in making the use of checking sequences feasible in a larger scope.

Benzer Tezler

  1. Tez No

    377419

    Improvements in finite state machine based testing

    Sonlu durum makinelerine dayalı sınama dizilerinde iyileştirmeler

    URAZ CENGİZ TÜRKER

    Doktora

    İngilizce

    İngilizce

    2014

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSabancı Üniversitesi

    Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. HÜSNÜ YENİGÜN

    PROF. DR. ROBERT HİERONS

  2. Tez No

    75914

    Algorithms for conformance test generation

    Uyum sınaması üretilmesi için algoritmalar

    BURAK SERDAR

    Yüksek Lisans

    İngilizce

    İngilizce

    1998

    Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik Üniversitesi

    Elektrik-Elektronik Mühendisliği Ana Bilim Dalı

    DOÇ. DR. GÜNEY GÖNENÇ

  3. Tez No

    394249

    Checking sequence construction using multiple adaptive distinguishing sequences

    Çoklu durum belirleme dizileriyle kontrol dizisi üretimi

    CANAN GÜNİÇEN

    Yüksek Lisans

    İngilizce

    İngilizce

    2015

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSabancı Üniversitesi

    Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

    DOÇ. DR. HÜSNÜ YENİGÜN

    DOÇ. DR. GUY VINCENT JORDAN

  4. Tez No

    55763

    Kalite çemberleri ve konfeksiyon uygulamaları

    Başlık çevirisi yok

    ŞENOL DALLI

    Yüksek Lisans

    Türkçe

    Türkçe

    1996

    Tekstil ve Tekstil Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. BAYRAM YÜKSEL

  5. Tez No

    226340

    Dizi temelli ezgi karşılaştırma: Algısal perde hiyerarşisinde tonal-diyatonik ayrımı

    Sequence based melody comparison: Tonal-diatonic distinguishing on perceptional pitch hierarchy

    CİHAN IŞIKHAN

    Doktora

    Türkçe

    Türkçe

    2006

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolDokuz Eylül Üniversitesi

    Müzik Bilimleri Ana Bilim Dalı

    PROF. DR. YETKİN ÖZER

    YRD. DOÇ. DR. ADİL ALPKOÇAK

Geri Dön