Mavzu: Dasturiy ta`minot xavfsizligini testlash usullarini tahlili. Ishdan maqsad

Xavfsizlikni tahlil qilishning mantiqiy-tahliliy va nazorat-tekshirish usullarini taqqoslash.
Integrallashtirilgan dastur xavfsizligi tadqiqot tizimi test-nazorat va mantiqiy-analitik tahlil usullarini o'z ichiga olishi, ulardan har birini qo'llashi kerak.
Metodik jihatdan, mantiqiy-analitik usullardan ko'ra afzalroq ko'rinadi Rasmiy yondoshuvga asoslanib va ​​RPM to'plamining hal qiluvchi xususiyatini isbotlash bilan bog'liq muammolarni oldinga qarata yechimga asoslangan. Bundan tashqari, tahlil qilingan dasturlardan mustaqil foydalanishni oson tahlil vositalarini yaratishga imkon beradi, shuning uchun ular yanada keng tarqalgan. Shu bilan birga, hozirgi vaqtda bunday usullarning hech biri sezilarli darajada kamchiliklarga ega - xavfsizlikni o'rganish faqat RPM ning ba'zi bir kichik qismiga nisbatan amalga oshiriladi. Amaliy nuqtai nazardan - muayyan BCning xavfsizligini ta'minlash nuqtai nazaridan nazorat-sinov usullari maxsus BC va dasturga aloqadorligi bilan bir qatorda ularning ishonchliligini RPM xavfsiz dasturini e'lon qilishda xatolikka yo'l qo'ymaslik bilan bog'liq bir qator afzalliklarga ega.
Shu bilan birga, sinov jarayonini tashkil etish uchun zarur bo'lgan xarajatlar, ularning xavfsizligi ayniqsa muhim bo'lgan BClar bundan mustasno, ularni qo'llashga to'sqinlik qiladi. Yuqorida sanab o'tilgan usullardan hech biri boshqasidan ustun turgan afzalliklarga ega emas degan xulosaga kelish mumkin. Har ikkala guruhning usullarini qo'llash, faqatgina ular hal qilinayotgan muammolarga mos kelishiga asoslangan bo'lishi kerak, bu vaziyatda eng samarali va oqilona usullarni qo'llash zarur.