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

11-ma'ruza uchun adabiyotlar.

11.1. I.S. Berezin, N.P. Jidkov. Hisoblash usullari, t. 1 va 2. - Moskva: Fizmatgiz, 1959.

11.2. NS. Baxvalov, N.P. Jidkov, G.M. Kobelkov. Raqamli usullar. - M .: Nauka, 1987 yil.
11.3. G. Myers. Dasturiy ta'minotning ishonchliligi. - M .: Mir, 1980. S. 127-154.
11.4. A.N. Lebedev. Bank axborot xavfsizligi va zamonaviy kriptografiya // Axborot xavfsizligi masalalari, 2 (29), 1995 yil.

63. 
    Ma'ruza 12. Dasturiy ta'minot sifatini ta'minlash
    
64. 
    12.1. Dasturiy ta'minot vositalari sifatini ta'minlash jarayonining umumiy xususiyatlari.
    
65. 
    4-ma'ruzada ta'kidlanganidek, sifat spetsifikatsiyasi dasturiy ta'minotni ishlab chiqishning barcha bosqichlarida u yoki bu tarzda turli qarorlarni qabul qilishda mos variantni tanlashga ta'sir qiluvchi asosiy yo'nalishlarni (maqsadlarni) belgilaydi. Biroq, har bir sifat ibtidoiy bunday ta'sirning o'ziga xos xususiyatlariga ega, shuning uchun uning dasturiy ta'minot tizimida mavjudligini ta'minlash dasturiy ta'minot tizimini yoki uning alohida qismlarini ishlab chiqishda o'ziga xos yondashuv va usullarni talab qilishi mumkin. Bundan tashqari, PS sifat mezonlari va ularni ifodalovchi sifat ibtidoiylarining nomuvofiqligi ham qayd etildi: yaxshi xavfsizlik FS sifatining har qanday ibtidoiylaridan biri bu ibtidoiylarning boshqasini ta'minlashni sezilarli darajada murakkablashtirishi yoki imkonsiz qilishi mumkin. Shu sababli, dasturiy mahsulotlar sifatini ta'minlash jarayonining muhim qismi maqbul kelishuvlarni topishdan iborat. Ushbu kelishuvlar PS sifati spetsifikatsiyasida qisman aniqlanishi kerak: PS sifat modeli har bir sifat ibtidoiyning PSda zarur bo'lgan mavjudligini ko'rsatishi va ushbu darajalarga erishish uchun ustuvorliklarni belgilashi kerak.
    

Sifatni ta'minlash har bir texnologik jarayonda amalga oshiriladi: unda qabul qilingan qarorlar u yoki bu darajada butun dasturiy ta'minot tizimining sifatiga ta'sir qiladi. Xususan, sifat primitivlarining muhim qismi dasturiy ta'minot tizimiga kiritilgan dasturlarning xususiyatlari bilan emas, balki hujjatlarning xususiyatlari bilan bog'liq. Sifat primitivlarining qayd etilgan nomuvofiqligi tufayli ularni ta'minlashda tanlangan ustuvorliklarga rioya qilish juda muhimdir. Ammo har holda, ikkita umumiy tamoyilga rioya qilish foydalidir:
birinchidan, PS ning kerakli funksionalligi va ishonchliligini ta'minlash, so'ngra qolgan sifat mezonlarini ularning PSda mavjudligining maqbul darajasiga etkazish kerak;
PS sifat spetsifikatsiyasida belgilanganidan ko'ra har qanday sifat ibtidoiy PSda yuqoriroq bo'lish darajasiga erishishning hojati yo'q va hatto zararli bo'lishi mumkin.
PS ning funksionalligi va ishonchliligini ta'minlash avvalgi ma'ruzada muhokama qilingan edi. Quyida COP uchun boshqa sifat mezonlarini ta'minlash muhokama qilinadi.
12.2 .. Dasturiy vositadan foydalanish qulayligini ta'minlash
Dasturiy ta'minot tizimining P-hujjatlari foydalanuvchi hujjatlari tarkibini belgilaydi
Oldingi ma'ruzada biz PSni qo'llash qulayligini belgilaydigan beshta sifat ibtidoiysidan ikkitasini (barqarorlik va xavfsizlik) ta'minlashni muhokama qildik.
P-hujjatlari va informatsionligi foydalanuvchi hujjatlarining tarkibi va sifatini belgilaydi (keyingi ma'ruzaga qarang).
O'zaro muvofiqlik mos foydalanuvchi interfeysini yaratish va istisnolarni mos ravishda amalga oshirish orqali ta'minlanadi. Bu yerda muammo nimada?

66.