Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/5704
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorAyav, Tolgaen_US
dc.contributor.authorKavzak Ufuktepe, Deniz-
dc.date.accessioned2017-06-06T11:15:11Z
dc.date.available2017-06-06T11:15:11Z
dc.date.issued2016-12
dc.identifier.citationKavzak Ufuktepe, D. (2016). Test case generation from cause effect graphs. Unpublished master's thesis, İzmir Institute of Technology, İzmir, Turkeyen_US
dc.identifier.urihttp://hdl.handle.net/11147/5704
dc.descriptionThesis (Master)--Izmir Institute of Technology, Computer Engineering, Izmir, 2016en_US
dc.descriptionIncludes bibliographical references (leaves: 41-44)en_US
dc.descriptionText in English; Abstract: Turkish and Englishen_US
dc.descriptionx, 52 leavesen_US
dc.description.abstractCause-effect graphing is a well-known requirement based testing technique. However, since it was introduced by Myers in 1979, there seems not to have been any sufficiently comprehensive studies to generate test cases from these graphs. Yet there are several methods introduced to generate test cases from Boolean expressions. This thesis proposes to convert cause-effect graphs into Boolean expressions and find out the test sets using test input generation techniques for Boolean expressions, such as MI, MAX-A, CUTPNFP, MUMCUT, Unique MC/DC and Masking MC/DC. Generated test sets are compared by using mutation analysis according to their fault detection capabilities. Myers’ original test generation technique is also implemented and included in the mutation analysis. A tool is created which allows to generate test cases by using the implemented algorithms. The tool gets a “.graphml” file representing a cause- effect graph as an input and gives the generated test set as an output. In addition, mutation analysis can be done with the implemented tool. 14 Requirements of TCAS-II are used as an experiment. Results of the mutation testing for these requirements showed that MUMCUT technique has the highest mutant detection success for all fault types. Moreover, Unique MC/DC technique has detected highest number of mutants per test case.en_US
dc.description.abstractNeden-sonuç çizgeleri çok bilinen gereksinim tabanlı yazılım test yöntemlerinden biri olduğu halde Myers tarafından önerildiği 1979 yılından beri bu çizgelerden test girişleri üretilmesi konusunda yeterince kapsamlı çalışma yapılmamıştır. Ancak, Boole ifadelerden test girişlerinin üretilmesi için çeşitli yöntemler tanıtılmıştır. Bu tez çalışması, çizgelerin Boole ifadelerine dönüştürülmesini ve Boole ifadelerinden test girişlerinin oluşturulması için önerilmiş olan MI, MAX-A, CUTPNFP, MUMCUT, Unique MC/DC ve Masking MC/DC yöntemlerini kullanarak test giriş kümelerinin üretilmesini önermektedir. Ü retilen test giriş kümeleri mutasyon analizi ile, hata yakalama başarıları açısından kıyaslanmıştır. Myers’ın orijinal test giriş üretme yöntemi de uygulanmış ve yapılan mutasyon analizine dahil edilmiştir. Uygulanan algoritmaları kullanarak test girişlerinin üretildiği bir araç yaratılmıştır. Bu araç, çizgeyi ifade eden “.graphml” dosyasını girdi olarak alır ve üretilen test girişleri kümesini çıktı olarak verir. Ayrıca, mutasyon analizi de bu araç ile yapılabilir. Deney ic¸in TCAS-II sistemine ait 14 gereksinim kullanılmıştır. Bu gereksinimler üzerinde yapılan mutasyon analizi sonuçları MUMCUT tekniğinin tüm hata tiplerinde en yüksek mutant yakalama başarısını elde ettiğini gostermiştir. Ayrıca, Unique MC/DC tekniği, test girişi başına yakalanan mutant sayısı bakımından en yüksek değeri vermiştir.en_US
dc.language.isoenen_US
dc.publisherIzmir Institute of Technologyen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectSoftware testingen_US
dc.subjectModel-based testingen_US
dc.subjectCause-effect graphen_US
dc.subjectTest automationen_US
dc.subjectComputer softwareen_US
dc.titleTest case generation from cause effect graphsen_US
dc.title.alternativeNeden sonuç çizgelerinde test girişlerinin üretilmesien_US
dc.typeMaster Thesisen_US
dc.institutionauthorKavzak Ufuktepe, Deniz-
dc.departmentThesis (Master)--İzmir Institute of Technology, Computer Engineeringen_US
dc.relation.publicationcategoryTezen_US
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextopen-
item.fulltextWith Fulltext-
item.openairetypeMaster Thesis-
Appears in Collections:Master Degree / Yüksek Lisans Tezleri
Files in This Item:
File Description SizeFormat 
T001545.pdfMasterThesis950.85 kBAdobe PDFThumbnail
View/Open
Show simple item record



CORE Recommender

Page view(s)

128
checked on Feb 26, 2024

Download(s)

584
checked on Feb 26, 2024

Google ScholarTM

Check





Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.