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

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.

47. 
    Ma’ruza 11. Dasturiy vositaning funksionalligi va ishonchliligini ta’minlash
    
48. 
    11.1. Funktsionallik va ishonchlilik dasturiy vosita sifatining majburiy mezonlari sifatida.
    
49. 
    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.

50.