II.BOB Statik tahlilni amalga oshirish usullari

|
II.BOB Statik tahlilni amalga oshirish usullari
|
bet | 3/6 | Sana | 18.05.2024 | Hajmi | 348,61 Kb. | | #242176 |
Tashkilot foydalanishi mumkin bo'lgan bir nechta statik tahlil usullari mavjud, ular orasida:
Boshqaruv tahlili -- chaqiruvchi tuzilmadagi boshqaruv oqimiga e'tibor qaratadi. Masalan, boshqaruv oqimi jarayon, funksiya, usul yoki kichik dasturda bo'lishi mumkin.
Ma'lumotlarni tahlil qilish -- ma'lumotlar ob'ektlarining to'g'ri ishlashiga ishonch hosil qilish bilan birga, belgilangan ma'lumotlardan to'g'ri foydalanilganligiga ishonch hosil qiladi .
Xato/nosozlik tahlili -- model komponentlaridagi nosozliklar va nosozliklarni tahlil qiladi.
Interfeys tahlili -- kodni tekshirish uchun simulyatsiyalarni tekshiradi va interfeys model va simulyatsiyaga mos kelishiga ishonch hosil qiladi.
Kengroq ma'noda, kamroq rasmiy tasniflash bilan, statik tahlilni rasmiy, kosmetik, dizayn xususiyatlari, xatolarni tekshirish va bashoratli toifalarga bo'lish mumkin. Agar kod to'g'ri bo'lsa, rasmiy ma'no; agar kod uslub standartlari bilan sinxronlashtirilsa, kosmetik ma'no; murakkablik darajasini anglatuvchi dizayn xususiyatlari; kod buzilishini qidiradigan xatolarni tekshirish; va bashoratli, bu kod ishga tushirilganda qanday harakat qilishini so'raydi.[2]
Ushbu rasmda statik tahlil doirasidagi ba'zi maqsadlar ko'rsatilgan.[2]
2.1 Statik tahlilning afzalliklari va kamchiliklari
Statik tahlildan foydalanishning afzalliklari quyidagilardan iborat:
U dasturdagi barcha kodlarni baholay oladi va kod sifatini oshiradi.Bu kodni qo'lda ko'rib chiqish bilan solishtirganda avtomatlashtirilgan vositalardan foydalanish tezligini ta'minlaydi.Oddiy sinov usullari bilan birlashtirilgan statik test disk raskadrovka kodini chuqurroq o'rganishga imkon beradi.Avtomatlashtirilgan asboblar inson xatosiga kamroq moyil.Bu koddagi zaifliklarni topish ehtimolini oshiradi, veb yoki ilovalar xavfsizligini oshiradi.[2]uni oflayn ishlab chiqish muhitida qilish mumkin.Biroq, statik tahlil ba'zi kamchiliklarga ega. Masalan, tashkilotlar quyidagilardan xabardor bo'lishlari kerak:
Noto'g'ri pozitivlarni aniqlash mumkin.Agar kodda nuqson bo'lsa, vosita bu nuqson nima ekanligini ko'rsatmasligi mumkin.Har doim ham kodlash qoidalariga rioya qilish mumkin emas, masalan, tashqi hujjatlarga muhtoj bo'lgan qoidalar.Statik tahlil taqqoslanadigan usullardan ko'ra ko'proq vaqt talab qilishi mumkin.
Statik tahlil funksiya qanday bajarilishini aniqlay olmaydi.[3]
Tizim va uchinchi tomon kutubxonalari tahlil qilinmasligi mumkin.Statik tekshirish va dinamik tekshirish.Statik tahlilning asosiy afzalligi shundaki, u falokat chiqarilgandan keyin haftalar, oylar yoki yillar o'tmaguncha o'zini namoyon qilmaydigan xatolarni aniqlashi mumkin. Shunga qaramay, statik tahlil keng qamrovli dasturiy ta'minot sifatini nazorat qilish rejimidagi birinchi qadamdir. Statik tahlil o'tkazilgandan so'ng, dinamik tahlil ko'pincha nozik nuqsonlar yoki zaifliklarni aniqlash maqsadida amalga oshiriladi. Kompyuter terminologiyasida statik degani sobit, dinamik esa harakat va/yoki o'zgartirishga qodir. Dinamik tahlil dasturni sinovdan o'tkazish va bajarilishi asosida baholashni o'z ichiga oladi. Statik va dinamik tahlillar birgalikda ko'rib chiqiladi , ba'zan shisha quti sinovi deb ataladi.[3]
|
| |