Yazılım testi tasarım tekniklerinin matematiksel model yaklaşımı ile analizi
Analysis of software test design techniques by mathematical modelling
- Tez No: 483717
- Danışmanlar: YRD. DOÇ. DR. İNCİ ZAİM GÖKBAY
- Tez Türü: Yüksek Lisans
- Konular: Bilim ve Teknoloji, Science and Technology
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2017
- Dil: Türkçe
- Üniversite: İstanbul Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Enformatik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 95
Özet
Teknolojinin hayatın her alanına girmesiyle kullanılmaya başlanan yazılımın kaliteli olması son yıllarda oldukça önem kazanmıştır. Yazılımın kaliteli olması ihtiyacı yazılım geliştirme yaşam döngüsünde test sürecinin yapılanmasını beraberinde getirmiştir. Yazılımın kaliteli olması adına gerçekleştirilen testlerde farklı tasarım teknikleri kullanılmaktadır. Bu çalışma; yazılım testi tasarım tekniklerinin matematiksel modellemesini ve bu modellemenin analizini içermektedir. Çalışma sırasında yazılım testi tasarım teknikleri ayrıntılı olarak tanımlanmış, her bir teknik kullanım sıklığı, hata bulma oranı ve uygulanabilirlik açısından değerlendirilmiştir. Bu değerlendirme ölçütleri matematiksel modelde kullanılarak yazılım testi için en uygun olan teknikler tespit edilmiştir. Yazılım testi tasarım teknikleri matematiksel modellemesinde Bayes Teoremi ve vaka analizinden faydalanılmıştır.
Özet (Çeviri)
It has come into prominance in recent years that softwares, which started to be used as technologyentered in every aspect of life, be of good quality. The need for the software to be qualified brought the making of testing process in the software development lifecycle along. Various design techniques are used in the conducted tests in order that the software test design techniques and the analysis of this modelling. Software test design techniques are detailly described and each technique are evaluated in terms of frequency of use, defect detection rate and applicability. The optimal techniques for software testing are determined by using these evaluation criteria in the mathematical modelling. Bayes' theorem and case analysis are profited in the mathematical modelling of the software test design techniques.
Benzer Tezler
- Maneuvering of high speed displacement vessels in regular waves
Yüksek hızlı deplasman gemilerinin düzenli dalgalarda manevraları
DENİZ ÖZTÜRK SARIGÜL
Doktora
İngilizce
2023
Gemi Mühendisliğiİstanbul Teknik ÜniversitesiGemi ve Deniz Teknoloji Mühendisliği Ana Bilim Dalı
PROF. DR. ÖMER KEMAL KINACI
- Fully simulated and model based power consumption estimation of internet of things devices
Nesnelerin interneti cihazlarının tamamen benzetim ve model tabanlı güç tüketimi tahmini
ÖZEN ÖZKAYA
Doktora
İngilizce
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
PROF. DR. SIDDIKA BERNA ÖRS YALÇIN
- FPGA based hardware accelerator for euler equations with finite volume method
Euler denklemleri için sonlu hacimler yöntemi ile FPGA tabanlı donanım hızlandırıcı
EMİNE ELİF YİĞİT
Yüksek Lisans
İngilizce
2024
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiSavunma Teknolojileri Ana Bilim Dalı
DR. ÖĞR. ÜYESİ RAMAZAN YENİÇERİ
- Proje planlama ve plan güncelleme süreçlerinde matematiksel modelleme tabanlı dijital ikiz yaklaşımı
Digital twin approach based on mathematical modelling in project planning and plan revision processes
SEVGİ ÖZLEM KAYA
Yüksek Lisans
Türkçe
2023
Endüstri ve Endüstri MühendisliğiHacettepe ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. MURAT CANER TESTİK
DOÇ. DR. CEREN TUNCER ŞAKAR
- Practical coordination of multi-vehicle systems in formation
Formasyon içinde çoklu araç sistemlerinin pratik koordinasyonu
İSMAİL BAYEZİT
Doktora
İngilizce
2014
Makine MühendisliğiUniversity of WaterlooMaden Mühendisliği Ana Bilim Dalı
DOÇ. DR. BARIS FIDAN