O’zbekiston Respublikasida axborot kommunikatsiya infratuzilmasining ahamiyati

Bitiruv malakaviy ishning maqsadi: Dasturiy ta'minot ishonchliligi bu tizimning belgilangan funktsiyalarni bajarish xususiyati, belgilangan ishlash ko'rsatkichlari qiymatlarini belgilangan muddatlarda ushlab turish.
Bitiruv malakaviy ishning vazifasi: Dasturi taminot Ishonchliligi - bu tizimning umumiy ishlashi va samaradorligining muhim omillaridan biridir. Shu munosabat bilan tizimni loyihalash bosqichida allaqachon ishonchlilik masalalariga katta e'tibor berilishi kerak. Ushbu davrda tizimning xususiyatlari, xarajatlari va ish jadvali o'rtasidagi dastlabki o'zaro bog'liqlik o'rnatilganda, ishonchlilik talablari ham shakllantirilishi kerak, chunki ular asosan loyihaning maqsadga muvofiqligi va kelajak narxini aniqlaydilar.
Bitiruv malakaviy ish mavzusi bo'yicha adabiyotlar meyyoriy hujjatlar: ISO 9126: 1991 [1] xalqaro standartida ishonchlilik dasturiy ta'minot sifatining asosiy xususiyatlaridan biri sifatida ta'kidlangan. Dasturiy ta'minot shartlari uchun standart lug'at tizim yoki tarkibiy qismning ma'lum vaqt davomida belgilangan shartlarda talab qilingan funktsiyalarni bajarishi qobiliyati sifatida.
Dasturiy ta'minotning ishonchliligi muammosining o'zi kamida ikkita jihatga ega: ishonchliligini ta'minlash va baholash (o'lchash). Deyarli barcha mavjud adabiyotlar birinchi jihatga bag'ishlangan va kompyuter dasturlarining ishonchliligini baholash masalasi yetarlicha ishlab chiqilmagan.
I.BOB. DASTURIY TA’MINOTNI ISHONCHLILIGINI
ANIQLASH MASALASINI MODELLASHTIRISH

1. 
   Dasturiy taminot ishonchliligini aniqlashnig amaldagi modellari.
   

Shumann modeli
Dasturiy ta'minotning ishlashi davomida uning prognozi dasturiy ta'minot ishonchliligining matematik modellari asosida amalga oshiriladi.
Shumanning modeli bir necha mezonlarga asoslangan:
- mashina tili dasturidagi ko'rsatmalarning umumiy soni doimiy;
- maket sinovlari boshida xatolar soni ba'zi bir doimiy qiymatga teng bo'ladi va xatolar tuzatilganda ular kamayadi.
Dasturni sinovdan o'tkazishda yangi xatolar kiritilmaydi;
- xatolar dastlab ajralib turadi, tuzatilgan xatolarning umumiy soni qolganlari bo'yicha baholanishi mumkin;
-dasturning ishlamay qolish darajasi qoldiq xatolar soniga mutanosib.
Sinovdan oldin deb taxmin qilinadi (т.е. в момент =0) M xatolar mavjud. Sinov paytida τ aniqlandi ε1()mashina tilidagi ko'rsatmalar bo'yicha xatolar.
Keyin sinov vaqtidan keyin tizimda qolgan bitta mashina
ko'rsatmasidagi xatolarning aniq soni quyidagiga teng
(1)
bu erda I - sinov bosqichida doimiy deb hisoblanadigan mashina ko'rsatmalarining umumiy soni.
Z (t) xatolar sonining funktsiyasining qiymati sinovda sarflangan vaqtdan keyin dasturda qolgan xatolar soniga mutanosib deb hisoblanadi.
Z (t) = C * ε2 (τ),
bu erda C bir oz doimiy, t - bu dasturning ish vaqti. Keyin, agar dasturning rad etishsiz ishlash vaqti t dan hisoblansa t = 0, а τ ishonchlilik funktsiyasi yoki 0 dan t oralig'ida ishlamay qolish ehtimoli quyidagicha
(2)
(3)
Biz xatolarning boshlang'ich qiymatini M va mutanosiblik koeffitsientini topishimiz kerak. Ushbu noma'lumlar funktsional testni o'zgaruvchan o'qning ikkita nuqtasida o'tkazib yuborish orqali baholanadi va shunday qilib tanlangan: ε1(a)<ε1(d).
Sinov paytida har bir yugurishda xatolar vaqti va soni to'g'risida ma'lumotlar to'planadi, ya'ni. umumiy sinov vaqti each har bir yugurish vaqti yig'indisi:
τ = τ1 + τ2 + τ3 + … + τn.
Xato darajasi doimiy va λ ga teng deb hisoblasak, uni vaqt birligi ichidagi xatolar soni sifatida hisoblashimiz mumkin,
(4)
bu erda Ai - i-chi ishdagi xatolar soni
Keyin
.(5)
A va v ni sinashning ikki xil momentlari uchun ma'lumotlarga ega bo'lsak, (3) tenglamalarni τa va τb uchun taqqoslashimiz mumkin:
(6)
(7
(6) va (7) munosabatlardan biz noma'lum parametr C va M ni topamiz:
(8)
(9)
M * va C * noma'lumlarini olgan holda (2) formuladan foydalanib dasturning ishonchliligini hisoblash mumkin.
1-misol.
Dasturda 2000 ta buyruq satri mavjud bo'lib, ulardan ish boshlashdan oldin (disk raskadrovka davridan keyin) 15 ta buyruq satrida xatolar mavjud. 20 kunlik ishdan so'ng 1 ta xato topildi. Dasturning xatosiz ishlashining o'rtacha vaqtini va dasturning ishlamay qolish tezligini toping mutanosiblik koeffitsienti 0,7 ga teng.
I=2000
M=15
t=20
x=1
C=0,7