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


-ma'ruza uchun adabiyotlar



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

10-ma'ruza uchun adabiyotlar.

  • 10.1. G. Myers. Dasturiy ta'minotning ishonchliligi. - M .: Mir, 1980 .-- S. 171-262.

    10.2. D. Van Tassel. Dasturlarning uslubi, ishlab chiqilishi, samaradorligi, disk raskadrovka va sinovdan o'tkazish. - M .: Mir, 1985 .-- S. 179-295.
    10.3. J. Xyuz, J. Michtom. Strukturaviy yondashuv dasturlash uchun. - M .: Mir, 1980 .-- S. 254-268.
    10.4. J. Foks. Dasturiy ta'minot va uni ishlab chiqish. - M .: Mir, 1985 .-- S. 227-241.
    10.5. M. Zelkovits, A. Shou, J. Gannon. Dasturiy ta'minotni ishlab chiqish tamoyillari. - M .: Mir, 1982 .-- S. 105-116.
    10.6. Yu.M. Bezborodov. Dasturlarni individual disk raskadrovka qilish. - M .: Nauka, 1982 .-- S. 9-79.
    10.7. V.V. Lipaev. Sinov dasturlari. - M .: Radio va aloqa, 1986. - S. 15-47.
    10.8. E.A. Jogolev. Dasturlash texnologiyasiga kirish (ma'ruza matni). - M .: "DIALOG-MGU", 1994 yil.
    10.9. E. Deykstra. Strukturaviy dasturlash bo'yicha eslatmalar. // U. Dahl, E. Dijkstra, K. Hoore. Strukturaviy dasturlash. - M .: Mir, 1975 .-- S. 7-13.

    1. Ma’ruza 11. Dasturiy vositaning funksionalligi va ishonchliligini ta’minlash

    2. 11.1. Funktsionallik va ishonchlilik dasturiy vosita sifatining majburiy mezonlari sifatida.

    3. Oldingi ma'ruzada biz dasturiy ta'minotni ishlab chiqishning barcha bosqichlarini ko'rib chiqdik, uni sertifikatlashdan tashqari. Shu bilan birga, biz PS sifatini uning sifat spetsifikatsiyasiga muvofiq ta'minlash masalalariga tegmadik (4-ma'ruzaga qarang). To'g'ri, PSning funktsional spetsifikatsiyasini amalga oshirishda biz shu bilan funksionallik mezonini ta'minlashning asosiy masalalarini muhokama qildik. Dasturiy ta'minot tizimining ishonchliligini uning asosiy atributi sifatida e'lon qilib (1-ma'ruzaga qarang), biz dasturiy ta'minot tizimining ishonchliligini ta'minlash uchun asosiy yondashuv sifatida xatolarning oldini olishni tanladik (3-ma'ruzaga qarang) va uni dasturiy ta'minotni ishlab chiqishning turli bosqichlarida amalga oshirishni muhokama qildik. Shunday qilib, dasturiy ta'minot tizimining majburiy funksionalligi va ishonchliligi uning sifati mezoni sifatidagi tezis namoyon bo'ldi.

    Shunga qaramay, dasturiy ta'minot tizimining sifat spetsifikatsiyasi ushbu mezonlarning qo'shimcha xususiyatlarini o'z ichiga olishi mumkin, ularning ta'minlanishi alohida muhokamani talab qiladi. Ushbu ma'ruza shu savollarga bag'ishlangan. Boshqa sifat mezonlarini ta'minlash keyingi ma'ruzada muhokama qilinadi.
    Quyida biz dasturiy ta'minotning funksionalligi va ishonchliligi mezonlarini ifodalovchi dasturiy ta'minot sifati primitivlarini taqdim etishni muhokama qilamiz.


    1. Download 112,44 Kb.

      Do'stlaringiz bilan baham:
  • 1   ...   10   11   12   13   14   15   16   17   ...   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