Geri Dön

Interleaving coverage criteria oriented testing of multithreaded applications

Çok kanallı uygulamaların serpiştirme kapsama kriteriyle test edilmesi

  1. Tez No: 309331
  2. Yazar: MEHMET ÇAĞRI ÇALPUR
  3. Danışmanlar: YRD. DOÇ. DR. CEMAL YILMAZ
  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: 2012
  8. Dil: İngilizce
  9. Üniversite: Sabancı Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 103

Özet

Koşut zamanlı programlar binlerce paralel çalışan programdan oluşabilir vebunların doğru çalışabilmesi çok önemlidir. Başarılı deterministik testlerkoşut zamanlı programlarda, deterministik olmayan davranışları nedeniylekullanılamaz. Etraflı testler ise keşfedilemeyecek kadar büyük test uzayınasahip oldukları için pratikte kullanılamamaktadır. Tasarladığımız test algoritması program bölümleri ile eşleşen Düzen Kapsama Dizileri üreterek, serpiştirme düzenlerini test eder. Kapsadığımız test olasılıklarını ölçümleyecek bir test birimi oluşturduk. Bizim yaklaşımımız düzen kapsama dizileri kullanarak az test ile bütün serpiştirmeleri kapsamaktır. Bu tezde çok kanallı uygulamaların serpiştirme kapsama kriteriyle test edilmesi, bu testin yardımcı programları, vaka araştırmaları ve etraflı testler ve türevlerine üstünlüğü anlatılmaktadır.Acknowledgements

Özet (Çeviri)

Concurrent programs run several to thousands of processes or threads in parallel and the correctness of the outcome is critical. Successful tests for deterministic systems can not be applied to concurrent programs, because of their non-deterministic behavior.Exhaustive testing is not applicable because of the search space and testing costs. We have designed a testing algorithm that produces Sequence Covering Arrays of a concurrent program's execution segments, and tests these interleaving sequences. We provide a coverage metric that works as a measure to define the ratio of covered test possibilities. Our approach relies on the sequence covering arrays to cover all interleavings, while requiring least amount of testing. This thesis presents the Interleaving Coverage Criteria-oriented testing of multithreaded programs, it's utility programs to take over the control of applications to run tests and the case studies that we have done to show the efficiency of the system against exhaustive testing and its variants.

Benzer Tezler

  1. New combined non-orthogonal multiple access techniques for wireless networks

    Telsiz iletişim ağları için yeni birleşik dik olmayan çoklu erişim teknikleri

    SEDA ÜSTÜNBAŞ GAVAS

    Doktora

    İngilizce

    İngilizce

    2023

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    PROF. DR. HASAN ÜMİT AYGÖLÜ

  2. Üçüncü nesil (3N) sistemler için eko istatistikleri ve ADS ile bir sistem benzetimi

    Multipath statistics for third generation (3G) mobile systems and system simulation with ADS

    YÜCEL YAŞAR BÜYÜKLÜ

    Yüksek Lisans

    Türkçe

    Türkçe

    2006

    Elektrik ve Elektronik MühendisliğiOndokuz Mayıs Üniversitesi

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

    YRD. DOÇ. DR. HÜLYA GÖKALP

  3. DVB-S alıcısı için ileri hata düzeltme birimi gerçeklemesi

    Implementation of forward error correction unit for DVB-S receiver

    SEYYİD MUHAMMED DİLEK

    Yüksek Lisans

    Türkçe

    Türkçe

    2013

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    DOÇ. DR. MESUT KARTAL

  4. An eg-ldpc based 2-dimensional error correction code for mitigating multibit upsets of sram memories

    Sram hafızalarda çoklu bit hatalarının giderilmesi için eg-ldpc bazlı iki boyutlu hata düzeltme kodu

    AHMET TURAN EROZAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2015

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldırım Beyazıt Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. ENVER ÇAVUŞ

  5. Sönümlemeli kanallarda kafes kodlamalı sistemler için birleşik serpiştirme tekniği

    Combined interleaving technique for trellis coded systems in feding channels

    ERSİN ÖZTÜRK

    Yüksek Lisans

    Türkçe

    Türkçe

    1998

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ÜMİT AYGÖLÜ