Distinguishing sequence based checking sequence generation implementation and improvements
Ayırıcı serilere dayalı kontrol serisi üretimi uygulama ve geliştirmeleri
- Tez No: 182303
- Danışmanlar: YRD. DOÇ. DR. HÜSNÜ YENİGÜN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2006
- Dil: İngilizce
- Üniversite: Sabancı Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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 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
Özet (Çeviri)
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.
Benzer Tezler
- Algorithms for conformance test generation
Uyum sınaması üretilmesi için algoritmalar
BURAK SERDAR
Yüksek Lisans
İngilizce
1998
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÜNEY GÖNENÇ
- Kalite çemberleri ve konfeksiyon uygulamaları
Başlık çevirisi yok
ŞENOL DALLI
Yüksek Lisans
Türkçe
1996
Tekstil ve Tekstil Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. BAYRAM YÜKSEL
- 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
2006
MüzikDokuz Eylül ÜniversitesiMüzik Bilimleri Ana Bilim Dalı
PROF. DR. YETKİN ÖZER
YRD. DOÇ. DR. ADİL ALPKOÇAK
- Parmakizi görüntülerinin model tabanlı yaklaşımla sıkıştırılması
Başlık çevirisi yok
İLKER ERSOY
Yüksek Lisans
Türkçe
1996
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. GÖKMEN MUHİTTİN
- PCR-based typing studies on Lactobacillus plantarum strains
Lactobacillus plantarum suşlarında PCR esaslı tiplendirme çalışmaları
FİLİZ DEDE
Yüksek Lisans
İngilizce
2002
BiyokimyaOrta Doğu Teknik ÜniversitesiBiyokimya Ana Bilim Dalı
DOÇ. DR. ZÜMRÜT ÖGEL
PROF. DR. HÜVEYDA BAŞAĞA