Ma’ruza mavzulari Dars soatlari hajmi

Ko’paytirish va xilma-xillik
Har qanday tizimdagi komponentlarning ishdan chiqishi muqarrar. Odamlar xato qiladilar ­, dasturiy ta'minotdagi aniqlanmagan xatolar nomaqbul xatti-harakatlarga olib keladi va apparat yonib ketadi. Biz insoniy nosozliklar sonini kamaytirish uchun bir qator strategiyalardan foydalanamiz, masalan, ­apparat komponentlarini prognoz qilingan xizmat muddati tugaguniga qadar almashtirish va statik tahlil vositalaridan foydalangan holda dasturiy ta'minotni tekshirish. Biroq, bu komponentlarning nosozliklarini bartaraf etishiga ishonchimiz komil emas. Shuning uchun biz tizimlarni shunday loyihalashimiz kerakki, individual komponentlarning ­ishdan chiqishi butun tizimning ishdan chiqishiga olib kelmaydi.
Ishonchlilikka erishish va kuchaytirish strategiyalari ortiqcha va xilma-xillikka tayanadi. Ortiqchalik bu tizimning bir qismi ishlamay qolganda foydalanish mumkin bo'lgan tizimga zaxira quvvat kiritilganligini anglatadi. Xilma-xillik tizimning ortiqcha tarkibiy qismlarining har xil turdagi ekanligini anglatadi, shuning uchun ular aynan bir xil tarzda ishlamay qolish ehtimolini oshiradi.
Ishonchlilik uchun mo'ljallangan dasturiy ta'minot tizimlari boshqa tizim komponentlari bilan bir xil funksionallikni ta'minlaydigan ortiqcha komponentlarni o'z ichiga olishi mumkin. Agar asosiy komponent ishlamay qolsa, ular tizimga o'tkaziladi. Agar bu ortiqcha ­komponentlar xilma-xil bo'lsa, ya'ni boshqa komponentlar bilan bir xil bo'lmasa, takrorlangan komponentlarning umumiy xatosi tizimning ishlamay qolishiga olib kelmaydi. Ortiqchalikning yana bir shakli - bu tizimning ishlashi uchun mutlaqo zarur bo'lmagan tekshirish kodini kiritish . Ushbu kod ba'zi turdagi muammolarni, masalan, ma'lumotlarning buzilishini, ular muvaffaqiyatsizlikka olib kelishidan oldin aniqlay oladi. Tizimning ishlashda davom etishini ta'minlash uchun muammolarni tuzatish uchun tiklash mexanizmlarini ishga tushirishi mumkin.
Bog’liq bo’lmagan ishonchlilik
Ishonchli jarayondan foydalanilganligi haqidagi dalillar ­regulyatorni dasturiy ta'minotni ishlab chiqishda eng samarali dasturiy injiniring amaliyoti qo'llanilganligiga ishontirish uchun ko'pincha muhimdir. Tizim ishlab chiquvchilari odatda regulyatorga jarayonning modelini va jarayon kuzatilganligini tasdiqlovchi dalillarni taqdim etadilar. Regulyator, shuningdek, jarayon barcha ishtirokchilar tomonidan izchil qo'llanilishiga va uni turli rivojlanish loyihalarida qo'llash mumkinligiga ishonch hosil qilishi kerak. Bu shuni anglatadiki, jarayon aniq belgilanishi va takrorlanishi kerak:

1. 
   Aniq belgilangan jarayon - bu dasturiy ta'minotni ishlab chiqarish jarayonini boshqarish uchun ishlatiladigan aniqlangan jarayon modeliga ega bo'lgan jarayon. Jarayon davomida ishlab chiqish guruhi jarayon modelida belgilangan jarayonga rioya qilganligini tasdiqlovchi ma'lumotlar to'planishi kerak.
   
2. 
   Takrorlanadigan jarayon - bu individual talqin va mulohazaga tayanmaydigan jarayon. Aksincha, jarayon loyihalar bo'ylab va ishlab chiqishda kim ishtirok etishidan qat'i nazar, turli jamoa a'zolari bilan takrorlanishi mumkin. Bu, ­ayniqsa, ko'pincha uzoq rivojlanish tsikliga ega bo'lgan muhim tizimlar uchun juda muhimdir, bu davrda ishlab chiqish guruhida ko'pincha sezilarli o'zgarishlar bo'ladi.
   

Ishonchli jarayonlar ishonchlilikka erishish uchun ortiqcha va xilma-xillikdan foydalanadi ­. Ular ko'pincha bir xil maqsadga ega bo'lgan turli xil tadbirlarni o'z ichiga oladi. Masalan, dastur tekshiruvlari va testlari dasturdagi xatolarni aniqlashga qaratilgan. Yondashuvlarni birgalikda qo'llash mumkin, shunda ular bitta texnika yordamida topilganidan ko'ra ko'proq xatolarni topishlari mumkin.