Geri Dön

Risk-driven model-based testing

Risk-driven model tabanlı test

  1. Tez No: 519103
  2. Yazar: ABDULHADİ KIRKICI
  3. Danışmanlar: DOÇ. HASAN SÖZER
  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: 2018
  8. Dil: İngilizce
  9. Üniversite: Özyeğin Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 52

Özet

Tüketici elektroniği ürünlerinde bulunan yazılımın hem boyutları, hem de karmaşıklığı artmaktadır. Bu eğilim, ürünlerin test edilmesi ve güvenilirliklerinden emin olunması için zorluk teşkil etmektedir. Geleneksel ve manuel test süreçleri, kritik hatalarının tespit edilmesinde yetersiz ve verimsiz kalmaktadır. Bu süreçleri iyileştirmek ve otomatik bir hale getirmek için çeşitli teknikler kullanılagelmiştir. Test modellerinden yararlanarak otomatik test adımlarının oluşturulmasını sağlayan model bazlı test, bu tekniklerden birisidir. Endüstriyel ölçekteki sistemlere ilişkin çok büyük olan test modellerinden, prensip olarak sonsuz sayıda test adımı üretilebilmek mümkündür. Ancak tüketici elektroniği alanında oldukça kısıtlı olan kaynaklar sebebi ile sistemin tüm fonksiyonlarını test etmek mümkün değildir. Bu sebepten dolayı, bu tezde risk odaklı model bazlı test yaklaşımı önerilmektedir. Bu yaklaşımda, test modelleri hata riskine ilişkin bilgilerle zenginleştirilmektedir. Test modelleri, durum geçişlerinin olasılık değerleri ile etiketlendiği Markov zincirleri şeklinde tanımlanmaktadır. Bu değerler, yüksek olasılıklı senaryoları kapsayacak şekilde test adımlarının otomatik üretim sürecini yönlendirmektedir. Yaklaşımımızda, durum geçişlerine ilişkin olasılık değerleri, üç farklı analiz tipi ile hesaplanan risk tahminlerine göre güncellenmektedir. İlk olarak, ürün kullanıcılarından toplanan kullanım profili verileri analiz edilmektedir. İkinci olarak, sistemin farklı durumlarındaki hata potansiyelinin tahmini için statik analiz kullanılmaktadır. ÜçÜncÜ olarak ise, hata tahmini için dinamik analiz kullanılmaktadır. Test modelleri, bu analizler ve tahminlere göre yinelemeli olarak güncellenmektedir. Yaklaşımımızı değerlendirmek için dijital televizyonlar, akıllı telefonlar ve çamaşır makineleri olmak üzere, üç farklı ürün üzerinde endüstriyel vaka çalışmaları yapılmıştır. Elde edilen sonuçlar, yaklaşımın kısa sürede daha fazla hata tespit edilmesini sağlayarak test verimliliğini arttırdığını göstermektedir.

Özet (Çeviri)

Software is becoming larger and more complex in consumer electronics products. As a result, testing these products for reliability is becoming a major challenge. Traditional and manual testing activities are not effective and efficient in pinpointing faults. Consequently, manual testing activities are being replaced with automated techniques. Modelbased testing is one of these techniques. It uses test models as input and automates test case generation. However, these models are very large for industry-scale systems. Hence, the number of generated test cases can be very large as well. However, it is not feasible to test every functionality of the system exhaustively due to extremely limited resources in the consumer electronics domain. Only those system usage scenarios that are associated with a high likelihood of failures should be tested. Therefore, we propose a risk-driven model-based testing approach in this thesis. Hereby, test models are augmented with information regarding failure risk. Markov chains are used for expressing these models, which are basically composed of states and transitions. Each state transition is annotated with a probability. Probability values are used for generating test cases that cover transitions with the highest probability values. The proposed approach updates transition probability values based on three types of analysis for risk estimation. First, usage profile is used for determining the mostly used features of the system. Second, static analysis is used for estimating fault potential at each state. Third, dynamic analysis is used for estimating error likelihood at each state. Test models are updated based on these analyses and estimations iteratively. The approach is evaluated with three industrial case studies for testing digital TVs, smart phones and washing machines. Results show that the approach increases test efficiency by revealing more faults in less testing time.

Benzer Tezler

  1. A model based flight control system design approach for micro aerial vehicles using integrated flight testing and hil simulations

    Küçük boyutlu insansız hava araçları üzerinde sistem tanılama, uçuş kontrol sistem tasarımı ve donanım ile benzetim uygulamaları

    BURAK YÜKSEK

    Doktora

    İngilizce

    İngilizce

    2019

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Mekatronik Mühendisliği Ana Bilim Dalı

    PROF. DR. GÖKHAN İNALHAN

  2. Gauss tipi olmayan ve durağan olmayan yükleme koşullarının frekans uzayında yorulma ömrü tahminine etkisi

    The effect of non-Gaussian and non-stationary loading conditions on fatgue life estimation in frequency domain

    TARIK BALDAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2022

    Makine Mühendisliğiİstanbul Teknik Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    PROF. DR. ATA MUGAN

  3. Online anomaly detection in the Neyman-Pearson hypothesis testing framework

    Neyman-Pearson hipotez testi çerçevesinde çevrimiçi anomali tespiti

    BAŞARBATU CAN

    Doktora

    İngilizce

    İngilizce

    2022

    Elektrik ve Elektronik MühendisliğiSabancı Üniversitesi

    Elektronik Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ HÜSEYİN ÖZKAN

  4. Missile evasion maneuver generation with model-free deep reinforcement learning

    Modelden bağımsız derin pekiştirmeli öğrenme ile füzeden kaçınma manevraları

    MUHAMMED MURAT ÖZBEK

    Yüksek Lisans

    İngilizce

    İngilizce

    2024

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Savunma Teknolojileri Ana Bilim Dalı

    DOÇ. DR. EMRE KOYUNCU

  5. Performance of alternative ground motion models with strong motion data from moderate to large events in different seismotectonic regions in Türkiye

    Alternatif yer hareketi modellerinin Türkiye'deki farklı sismotektonik bölgelerden elde edilen orta ve büyük deprem kayıtları ile performansı

    AHMED HISHAM AHMED SABRY HASSANEIN MABROUK

    Yüksek Lisans

    İngilizce

    İngilizce

    2024

    İnşaat MühendisliğiOrta Doğu Teknik Üniversitesi

    İnşaat Yapı Ana Bilim Dalı

    Prof. Dr. AYŞEGÜL ASKAN GÜNDOĞAN