8-ma'ruza. Dasturiy ta'minot modulini ishlab chiqish


Dasturiy ta'minotning aniqligini ta'minlash



Download 112,44 Kb.
bet16/50
Sana07.04.2022
Hajmi112,44 Kb.
#534692
1   ...   12   13   14   15   16   17   18   19   ...   50
Bog'liq
Modullar

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).

    1. 11.4. Dasturiy ta'minotning avtonomligini ta'minlash.

    2. 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.

    3. 11.5. Dasturiy ta'minotning barqarorligini ta'minlash.

    4. 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.


    1. Download 112,44 Kb.

      Do'stlaringiz bilan baham:
  • 1   ...   12   13   14   15   16   17   18   19   ...   50




    Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
    ma'muriyatiga murojaat qiling

    kiriting | ro'yxatdan o'tish
        Bosh sahifa
    юртда тантана
    Боғда битган
    Бугун юртда
    Эшитганлар жилманглар
    Эшитмадим деманглар
    битган бодомлар
    Yangiariq tumani
    qitish marakazi
    Raqamli texnologiyalar
    ilishida muhokamadan
    tasdiqqa tavsiya
    tavsiya etilgan
    iqtisodiyot kafedrasi
    steiermarkischen landesregierung
    asarlaringizni yuboring
    o'zingizning asarlaringizni
    Iltimos faqat
    faqat o'zingizning
    steierm rkischen
    landesregierung fachabteilung
    rkischen landesregierung
    hamshira loyihasi
    loyihasi mavsum
    faolyatining oqibatlari
    asosiy adabiyotlar
    fakulteti ahborot
    ahborot havfsizligi
    havfsizligi kafedrasi
    fanidan bo’yicha
    fakulteti iqtisodiyot
    boshqaruv fakulteti
    chiqarishda boshqaruv
    ishlab chiqarishda
    iqtisodiyot fakultet
    multiservis tarmoqlari
    fanidan asosiy
    Uzbek fanidan
    mavzulari potok
    asosidagi multiservis
    'aliyyil a'ziym
    billahil 'aliyyil
    illaa billahil
    quvvata illaa
    falah' deganida
    Kompyuter savodxonligi
    bo’yicha mustaqil
    'alal falah'
    Hayya 'alal
    'alas soloh
    Hayya 'alas
    mavsum boyicha


    yuklab olish