Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Filters

20161

Settings

Institution Author: search.filters.institutionAuthor.Ayav, TolgaSubject: search.filters.subject.Model-based testing

Search Results

Now showing 1 - 1 of 1
  • Conference Object
    Neden-sonuç Çizgelerinden Test Girişlerinin Oluşturulması
    (CEUR Workshop Proceedings, 2016) Kavzak, Deniz; Ayav, Tolga; Belli, Fevzi
    Neden-sonuç çizgeleri çok bilinen gereksinim tabanlı yazılım test yöntemlerinden biri olduğu halde Myers tarafıdan önerildiği 1979 yılından beri bu çizgelerden test girişleri üretilmesi konusunda yeterince kapsamlı çalışma yap lmam ıştır. Bu bildiri, çizgelerin Boole ifadelerine dönüştürülmesini ve Boole ifadelerinin testi için önerilmiş olan MI, MAX-A ve CUTPNFP stratejilerini kullanarak test girişleri üretilmesini önermektedir. Mutasyon analizi kullanılarak bu yöntemlerin hata ortaya çıkarma başarımları ölçülmüş ve Myers' n önerdiği orijinal test üretme yöntemiyle kıyaslanmıştır.