11.3. Dasturiy ta'minotning aniqligini ta'minlash.
Ushbu primitivning ta'minlanishi haqiqiy turdagi qiymatlar bo'yicha harakatlar bilan bog'liq (aniqrog'i, ba'zi xato bilan ifodalangan qiymatlar bilan). Muayyan funktsiyaning qiymatini hisoblashda talab qilinadigan aniqlikni ta'minlash bu qiymatni belgilangan chegaralardan tashqariga chiqmaydigan xato bilan olishni anglatadi. Hisoblash matematikasi xatolar turlari, ularni baholash usullari va kerakli aniqlikka erishish usullari (taxminiy hisoblar deb ataladi) bilan shug'ullanadi. Bu erda biz faqat xatoning ba'zi tuzilishiga e'tibor beramiz: hisoblangan qiymatning xatosi (jami xato) bog'liq
foydalanilgan hisoblash usulining xatosi bo'yicha (bunda biz foydalanilgan modelning noto'g'riligini o'z ichiga olamiz),
ishlatilgan ma'lumotlarni taqdim etishdagi xatolikdan (halokatli xato deb ataladigan narsadan),
yaxlitlash xatosidan (usulda qo'llaniladigan operatsiyalarni bajarishdagi noaniqliklar).
11.4. Dasturiy ta'minotning avtonomligini ta'minlash.
Ushbu sifat ibtidoiy sifat spetsifikatsiyasi bosqichida ishlab chiqilgan dasturiy ta'minotda har qanday mos asosiy dasturiy ta'minotdan foydalanish yoki unda biron bir asosiy dasturdan foydalanmaslik to'g'risida qaror qabul qilish orqali ta'minlanadi. Bunday holda, uning ishonchliligini ham, undan foydalanish uchun zarur bo'lgan resurslarni ham hisobga olish kerak. Ishlab chiqilgan dasturiy ta'minot tizimining ishonchliligiga qo'yiladigan talablarning ortishi bilan ishlab chiquvchilar uchun mavjud bo'lgan asosiy dasturiy ta'minotning ishonchliligi qoniqarsiz bo'lib chiqishi mumkin, shuning uchun undan foydalanishdan voz kechish va uning funktsiyalarini kerakli hajmda amalga oshirish kerak. dasturiy ta'minot tizimiga kiritilgan. Shunga o'xshash qarorlar foydalaniladigan resurslarga nisbatan qat'iy cheklovlar bilan (PS samaradorligi mezoniga muvofiq) qabul qilinishi kerak.
11.5. Dasturiy ta'minotning barqarorligini ta'minlash.
Ushbu sifat ibtidoiy mudofaa dasturlash deb ataladigan narsa tomonidan ta'minlanadi. Umuman olganda, mudofaa dasturlash modulni kengroq ma'noda dasturlashda PS ishonchliligini oshirish uchun ishlatiladi. Myers ta'kidlaganidek, "Himoyaviy dasturlash muhim asosga asoslanadi: modul qila oladigan eng yomon narsa bu noto'g'ri kiritishni qabul qilish va keyin noto'g'ri, ammo ishonchli natijani qaytarishdir." Bunga yo'l qo'ymaslik uchun modul matni ushbu modulning spetsifikatsiyasiga muvofiq kirish va chiqish ma'lumotlarining to'g'riligini tekshirishni, xususan, kirish va chiqish ma'lumotlariga cheklovlarning bajarilishini va ular o'rtasidagi munosabatlarni o'z ichiga oladi. modul spetsifikatsiyasida ko'rsatilganligini tekshirish kerak. Tekshirish muvaffaqiyatsiz bo'lsa, tegishli istisno ko'tariladi. Shu munosabat bilan, ushbu modulning oxiriga ikkinchi turdagi fragmentlar kiritilgan - tegishli istisnolarni qayta ishlovchilar, ular zarur diagnostika ma'lumotlarini berishdan tashqari, ma'lumotlardagi xatolarni bartaraf etish choralarini ko'rishlari mumkin (masalan, ularni qayta kiritishni talab qilish) yoki xato ta'sirini susaytirish uchun (masalan, PS tomonidan boshqariladigan qurilmalarni dasturning bajarilishi favqulodda to'xtatilganda ularning ishdan chiqishiga yo'l qo'ymaslik uchun yumshoq to'xtatish).
Modullarning mudofaaviy dasturlashidan foydalanish PS ning vaqt va xotira samaradorligini pasayishiga olib keladi. Shu sababli, ishlab chiqilayotgan dasturiy ta'minot tizimining sifat spetsifikatsiyasida shakllantirilgan dasturiy ta'minot tizimining ishonchliligi va samaradorligiga qo'yiladigan talablarga qarab, himoya dasturlashning qo'llanilishi darajasini oqilona tartibga solish kerak. Ishlab chiqilayotgan modulning kirish ma'lumotlari to'g'ridan-to'g'ri foydalanuvchidan yoki boshqa modullardan olinishi mumkin. Himoyaviy dasturlashning eng keng tarqalgan qo'llanilishi uning birinchi guruh ma'lumotlari uchun qo'llanilishi bo'lib, bu dasturiy ta'minotning barqarorligini amalga oshirishni anglatadi. Bu PS sifat spetsifikatsiyasida dasturiy ta'minotning barqarorligini ta'minlash talabi mavjud bo'lganda amalga oshirilishi kerak. Kirishlarning ikkinchi guruhi uchun himoya dasturlashdan foydalanish ishlab chiqilayotgan modulni bajarish jarayonida boshqa modullarda xatolikni aniqlashga urinish va ishlab chiqilgan modulning chiqishi uchun uni bajarish jarayonida ushbu modulning o'zida xatolikni aniqlashga urinishdir. Aslini olganda, bu 3-ma'ruzada muhokama qilingan dasturiy ta'minotning ishonchliligini ta'minlash uchun xatolarni o'z-o'zini aniqlash yondashuvini qisman amalga oshirishni anglatadi. Himoyaviy dasturlashning bu holati juda kamdan-kam hollarda qo'llaniladi - faqat ishonchlilikka qo'yiladigan talablar mavjud bo'lganda. dasturiy ta'minot darajasi juda yuqori.
