Guruh talabasi Sharipov Muxammad Kiberhuquq va kiberetika fanidan

Dastur xavfsizligi tahlili uchun nazorat va test usullari

Nazorat-sinov usullari munosabatlar sohasida tahlil qilish masalasini hal qiladi. Bu holatda muammoni hal qilishning yagona usuli dasturning ish joyini olish uchun testlarni o'tkazish va to'plamga tegishli munosabatlarning qonuniyligini tekshirishdir. Bunday holda, noqonuniy munosabatlar majmuini hal qilish muammosi, atrofni o'rab turgan taqiqlangan munosabatlarning noqonuniy munosabatlariga yaqinlashishi bilan engib o'tadi. Ushbu yondashuv muayyan BCda ma'lum bir dasturni belgilashga asoslanadi. Dasturning ish joyini yaratishga doir muammo dasturlarning to'g'riligini sinab ko'rayotganda sinovlarning to'liq to'plamini aniqlash uchun ishlatiladigan usullar yordamida hal qilinishi mumkin. Sinov test ishlarini, virtual dastur muhitida bajarishni, ramziy dasturni qo'llashni, uning talqinini va boshqa usullarni qo'llash orqali amalga oshirilishi mumkin. Dasturning bajarilishini kuzatish uchun foydalaniladigan vositalarga asoslangan holda test va test usullari dasturni bajarish jarayoni monitoringi va sinovdan o'tadigan yo'llardagi BCdagi o'zgarishlar monitoring qilinadigan qurilmalarga bo'linadi.

Sinov usullari bo'yicha dastur xavfsizligini tahlil qilish diagrammasi 1 - rasmda keltirilgan. Biroq, cheklangan miqdordagi test, test va test usullari, testdan o'tganlarga qo'shimcha ravishda sinov natijalarini ekstrapallashtirish mexanizmlarini, ramziy test usullarini va dasturni tekshirish nazariyasidan olingan boshqa vositalarni o'z ichiga oladi. Uch shartdan biri sodir bo'lganda test sinovdan chiqadi:- BC ishlash uchun xavfsizlik talablariga javob bermaydigan OZp - dasturining taqiqlangan munosabatini o'rnatishga urinishgan;- tadqiqot uchun ajratilgan test sinovlari chegarasi tugadi - sinovlarni davom ettirish yoki dastur xavfsizligini baholash uchun ehtimoliy usullarni qo'llash zarur.

Sinov usullari bo'yicha dastur xavfsizligini tahlil qilish diagrammasi 1 - rasmda keltirilgan. Biroq, cheklangan miqdordagi test, test va test usullari, testdan o'tganlarga qo'shimcha ravishda sinov natijalarini ekstrapallashtirish mexanizmlarini, ramziy test usullarini va dasturni tekshirish nazariyasidan olingan boshqa vositalarni o'z ichiga oladi. Uch shartdan biri sodir bo'lganda test sinovdan chiqadi:- BC ishlash uchun xavfsizlik talablariga javob bermaydigan OZp - dasturining taqiqlangan munosabatini o'rnatishga urinishgan;- tadqiqot uchun ajratilgan test sinovlari chegarasi tugadi - sinovlarni davom ettirish yoki dastur xavfsizligini baholash uchun ehtimoliy usullarni qo'llash zarur.