|
Dastur xavfsizligi tahlili uchun nazorat va test usullari
|
| bet | 2/3 | | Sana | 09.09.2023 | | Hajmi | 9.27 Kb. | | #80881 |
Bog'liq Mavzu Dasturiy ta`minot himoyalanganligini baholash mezonlari. -hozir.org 11-muatqil ish, 1-mustaqil ish, awfw1aw, 1640340967, Mustaqil ish mavzulari-сиртқи (2), Batafsil, Algoritm va loyihalash 2, Документ Microsoft Word (4), Jo\'raboyeva Z. Majmua. 4-kurs. Husnixat., 344 03.06.2021, Deysktra alogorithm, SAYLOV BETLIK, Irregular Verbs List, KURS ISHI, Balalardıń dem alıw qan aylanıw fizyalogyaliq avtanomi ózgesheligiDastur 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.
- dasturning ish joyini qamrab olgan ko'plab sinovlar o'tkazildi - dastur P BCning xavfsizlik talablariga javob berdi.
Dastur xavfsizligini tahlil qilishning mantiqiy-analitik usullari.
Mantiqiy-analitik usullar dastur doirasidagi muammoni hal qiladi. Bu shuni anglatadiki, dastur xavfsizligini isbotlash uchun uni RPM (V) majmuasiga tegishli emasligini isbotlash kerak. Tahlil masalasi o'rganilayotgan dastur uchun xarakterli funksiyaning qiymatini hisoblash uchun qisqartiriladi. Dastur noutratsion bo'lmagan ob'ekt bo'lgani uchun, xarakterli funksiya to'g'ridan-to'g'ri bir qator dasturlarda aniqlanmaydi. Ushbu muammoni har bir dastur ma'lum bir atributlar to'plami bilan tavsiflangan dasturiy modellashtirish tizimini joriy qilish orqali hal etiladi. Tanlangan model doirasida xarakterli funktsiya, o'rganilayotgan dastur modelining ekvivalentligini ba'zi bir umumlashtirilgan RPM modeli bo'yicha hal qiladi.
Eng oddiy holatda, RPClarning ajralib turadigan to'plami sifatida, ko'plab imzo viruslari olinishi mumkin va simulyatsiya tizimi sifatida dastur tasviri bir oz simvoldir. Keyinchalik, dasturning modeli sifatida uning bit tasviri imzolarini viruslar qatori sifatida namoyon qiladi va xarakterli funktsiyani hisoblash dasturda virus imzolarini qidirishdan iborat. Murakkab uslublar RPM ning bir yoki bir boshqa hal qiluvchi qismiga xos xususiyatlar to'plamiga asoslangan rasmiy modellardan foydalanadi.
Dastur xavfsizligini mantiqiy-tahliliy tahlil qilish uchun birinchi navbatda dastur simulyatsiyasi tizimini tanlash kerak. Kompyuter dasturi juda ko'p nuqtai nazardan qaralishi mumkin - bu amalga oshiradigan algoritm va protsessor ko'rsatmalarining ketma-ketligi va baytlarning ketma-ketligi va boshqalar.
Siz har qanday darajadagi modelni tanlashingiz mumkin, faqatgina RPM ning eruvchan kichik guruhini yaratish va uning xarakteristik funksiyasini aniqlab berishga imkon berishi kerak.
Ikkinchidan, tanlangan vakillik tizimida RPMning ma'lum bir kichik guruhini aniqlaydigan xarakterli funktsiyani yaratish kerak. Ushbu bosqichda, eng jiddiy muammo kamida bir necha alohida RPM sinflarining rasmiy modellarini yaratishdir.
Keyin, o'rganilayotgan dastur uchun bir qator xususiyatlar to'plash vositalariga e'tibor qaratishimiz kerak. Dasturlarning kodini, ularni disk raskadrovka qilishni va hackerlar arsenalidan dasturlarni "yaroqsiz" qilish uchun ishlatiladigan turli xil vositalar bo'lishi mumkin. Shundan so'ng, qabul qilingan attribut qiymatlari asosida, xarakteristik funktsiyaning qiymatini hisoblab chiqing va RPMning tanlangan eruvchan kichik guruhiga nisbatan dasturning xavfsizligi to'g'risida xulosa chiqarishingiz mumkin.
|
| |
