Geri Dön

Modelling the software failure process and software reliability

Bilgisayar bozulma sürecinin ve bilgisayar yazılım güvenilirliğinin modellenmesi

  1. Tez No: 47984
  2. Yazar: SAVAŞ DAYANIK
  3. Danışmanlar: DOÇ.DR. ÜLKÜ GÜRLER
  4. Tez Türü: Yüksek Lisans
  5. Konular: Endüstri ve Endüstri Mühendisliği, Industrial and Industrial Engineering
  6. Anahtar Kelimeler: Yazılım Güvenilirliği, Yazılım Hataları, Markov Ye nilenme Süreçleri, Uzamsal Poisson Süreçleri, Software Reliability, Software Faults, Markov Renewal Processes, Spatial Poisson Processes
  7. Yıl: 1996
  8. Dil: İngilizce
  9. Üniversite: İhsan Doğramacı Bilkent Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 100

Özet

IV ÖZET BİLGİSAYAR BOZULMA SÜRECİNİN VE BİLGİSAYAR YAZILIM GÜVENİLİRLİ?İNİN MODELLENMESİ Savaş Dayanık Endüstri Mühendisliği, Yüksek Lisans Tez Yöneticisi: Doç. Dr. Ülkü Gürler Eylül, 1996 Son yıllarda, bilgisayarlı sistemler yaşamımızdaki bir çok önemli alanda in san işgücünün yerini aldılar. Finans piyasaları, üretim ve servis sistemleri ya tamamen bilgisayarlar ya da yoğun olarak bilgisayarları kullanan yöneticiler tarafından kontrol ediliyorlar. Bu yüzden, bir bilgisayar sisteminin bozulması, bir çok insanı kötü etkileyebilecek bir felaketle sonuçlanabilir. Bu sebeble, bil gisayar sistemlerinin güvenilirliği, araştırmacıların ve uygulayıcıların dikkatini çekmiştir. Yazılım bir bilgisayar sisteminin önemli parçalarmdandır. Bu yüzden, bu tezde, yazılımın bozulma süreci için bir matematiksel model önerdik. Varolan birçok yazılım güvenilirlik modellerinden farklı olarak, yazılımın güvenilirliğini daha doğru tahmin edebilmek için, özellikle, farklı komut dizgelerinin sayısı ve karmaşıklıkları gibi bir yazılımın yapısal özelliklerini modelimizde kullandık. Hatalardan ayrıştırma sürecinin birbirini takip eden sınama oturumlarından oluştuğu varsayıldı. Sınama oturumlarının uzunluğunun ve her sınama oturu mundan sonra kalan hataların sayısının dağılım işlevleri bulunmuştur. Hata lardan ayrıştırma süreci için bir durma koşulu önerilmiştir.

Özet (Çeviri)

Ill ABSTRACT MODELING THE SOFTWARE FAILURE PROCESS AND SOFTWARE RELIABILITY Savaş Dayamk M.S. in Industrial Engineering Supervisor: Assoc. Prof. Ülkü Gürler September, 1996 For the last few decades, the computer systems have replaced the man power in many important areas of life. Financial markets, production and service systems are controlled either fully by the computers or by the managers who extensively use the computers. Therefore, a major failure of a computerized system may end up with a catastrophe that may affect a large number of people adversely. For this reason, reliability of computer systems attracts the attention of the researchers and practitioners. Software is one of the major component of a computer system. Therefore, in this thesis, we study the stochastic nature of the failure process of a software during the debugging phase. We propose a mathematical model for the software failure process which may also lead to prediction of future reliability. Different from many other available software reliability models, we particularly try to incorporate the structural properties of a software such as the number of its different instruction paths and their logical complexities. The debugging phase is assumed to be composed of successive test sessions. Distribution functions of the length of a test session and the remaining number of faults after a test session are computed. A stopping condition for the debugging phase is proposed.

Benzer Tezler

  1. Çevik yazılım geliştirme projelerinde kritik başarı faktörlerinin modellenmesi: Çevik projelerin Türkiye'deki uygulamaları

    Modelling critical success factors in agile software development projects: Applications of agile projects in Türkiye

    BURCU BİNBOĞA

    Doktora

    Türkçe

    Türkçe

    2024

    Bilim ve Teknolojiİstanbul Teknik Üniversitesi

    Endüstri Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ÇİĞDEM ALTIN GÜMÜŞSOY

  2. Baraj güvenliği ve dolgu barajlarda sayısal analiz: İkizdere Barajı örneği

    Dam safety and numerical analysis of embankment dams: The case study of İkizdere Dam

    SÜLEYMAN SARAYLI

    Yüksek Lisans

    Türkçe

    Türkçe

    2024

    İnşaat MühendisliğiSakarya Üniversitesi

    İnşaat Mühendisliği Ana Bilim Dalı

    DOÇ. DR. OSMAN SÖNMEZ

    PROF. DR. SEDAT SERT

  3. Rüzgâr türbini kanatlarındaki buzlanmanın türbin yüklerine etkisinin incelenmesi

    Wind turbine load analysis of blade icing condition

    CEM ŞAHİN

    Yüksek Lisans

    Türkçe

    Türkçe

    2024

    Enerjiİstanbul Teknik Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ZEYNEP PARLAR

  4. İnsan hareketi izleme teknolojilerinin karşılaştırmalı değerlendirmesi

    Comparative assessment of human motion monitoring technologies

    CEMAL FATİH KUYUCU

    Yüksek Lisans

    Türkçe

    Türkçe

    2019

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

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ GÖKHAN İNCE