Kafedra: Pochta aloqasi Fan: Statik tahlil Mustaqil ish-1

AXBOROT TEXNOLOGIYALARI VA
KOMMUNIKATSIYALARINI RIVOJLANTIRISH VAZIRLIGI
MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI

Kafedra:Pochta aloqasi
Fan: Statik tahlil

Mustaqil ish-1
.
Bajardi: SAN001-guruh talabasi
Baxriyev Shoxzod
Tekshirdi:  Otakuzieva Zuxra

TOSHKENT – 2022

Savollar
1. Statik tahlil deganda nimani tushunasiz?
2. Statik kod tahlilining cheklovlari
3. Statistika nima ekanligini tushuntirib bering
4. Tizim. Murakkab tizimning xossalari

1)Statik dastur tahlili bo'ladi kompyuter dasturlarini tahlil qilish farqli o'laroq, aslida dasturlarni bajarmasdan amalga oshiriladi dinamik tahlil, bu dasturlar bajarilayotganda bajarilgan tahlil. Ko'p hollarda tahlil ba'zi bir versiyalari bo'yicha amalga oshiriladi manba kodiva boshqa holatlarda ob'ekt kodi.

Ushbu atama odatda tomonidan o'tkazilgan tahlilga nisbatan qo'llaniladi avtomatlashtirilgan vosita, insonni tahlil qilishni dasturni tushunish deb atash bilan, dasturni tushunish, yoki kodni ko'rib chiqish. Dasturiy ta'minotni tekshirish va dasturiy ta'minotni takomillashtirish ikkinchi holatda ham ishlatiladi.
Asboblar tomonidan olib boriladigan tahlilning murakkabligi, faqat individual bayonotlar va deklaratsiyalarning xatti-harakatlarini hisobga oladiganlardan, to'liq tarkibni o'z ichiga olganlarga qarab farq qiladi. manba kodi ularni tahlil qilishda dasturning. Tahlil natijasida olingan ma'lumotlardan foydalanish mumkin bo'lgan kodlash xatolarini ta'kidlashdan farq qiladi (masalan, paxta vositasi) ga rasmiy usullar ma'lum bir dasturga oid xususiyatlarni matematik jihatdan isbotlaydigan (masalan, uning harakati uning spetsifikatsiyasiga mos keladi).Dasturiy ta'minot ko'rsatkichlari va teskari muhandislik statik tahlil shakllari sifatida tavsiflanishi mumkin. Dasturiy ta'minot ko'rsatkichlari va statik tahlillar, ayniqsa, o'rnatilgan tizimlarni yaratishda tobora kengayib bormoqda. dasturiy ta'minotning maqsadlari.
Statik tahlilning o'sib borayotgan tijorat maqsadlarida qo'llanilishi dasturiy ta'minot xususiyatlarini tekshirishda xavfsizlik uchun juda muhimdir kompyuter tizimlari va potentsial taqsimlash zaif kod. Masalan, quyidagi tarmoqlar tobora takomillashib va ​​murakkab dasturiy ta'minot sifatini oshirish vositasi sifatida statik kod tahlilidan foydalanishni aniqladilar:
Tibbiy dastur: AQSh Oziq-ovqat va dori-darmonlarni boshqarish (FDA) tibbiy asboblar uchun statik tahlildan foydalanishni aniqladi.
Yadro dasturiy ta'minoti: Buyuk Britaniyada Yadrolarni boshqarish bo'yicha idora (ONR) statik tahlildan foydalanishni tavsiya qiladi reaktorni himoya qilish tizimlari.
Aviatsiya dasturi (bilan birgalikda dinamik tahlil)
2012 yilda VDC Research tomonidan olib borilgan tadqiqotlar shuni ko'rsatdiki, hozirda so'ralgan dasturiy ta'minot muhandislarining 28,7% statik tahlil vositalaridan foydalanadi va 39,7% ulardan 2 yil ichida foydalanishni kutmoqda.2010 yildagi tadqiqotlar shuni ko'rsatdiki, Evropadagi tadqiqot loyihalarida intervyu bergan ishlab chiquvchilarning 60% kamida o'zlarining asosiy IDE statik analizatorlaridan foydalanishgan. Biroq, atigi 10 foizga yaqini qo'shimcha (va ehtimol yanada rivojlangan) tahlil vositasidan foydalangan.
Ilova xavfsizligi sohasida bu nom Statik dastur xavfsizligini sinovdan o'tkazish (SAST) ham ishlatiladi. SAST - bu Microsoft tomonidan belgilangan SDL kabi xavfsizlikni rivojlantirish hayot davrlarining (SDL) muhim qismidir va dasturiy ta'minot kompaniyalarida keng tarqalgan amaliyot.
2) Statik kod tahlili bilan dastur haqiqiy bajarilmasdan tahlil qilinadi, dinamik tahlilda esa u bajarilish vaqtida amalga oshiriladi. Ko'pgina hollarda, statik tahlil manba yoki bajariladigan kodning avtomatlashtirilgan vositalaridan foydalangan holda amalga oshiriladigan tahlilni anglatadi.
Tarixiy jihatdan, birinchi statik tahlil vositalari (ular ko'pincha o'z nomlarida lint so'zini ishlatishadi) dasturning eng oddiy nuqsonlarini topish uchun ishlatilgan. Ular oddiy imzo qidiruvidan foydalanganlar, ya'ni tekshiruvlar ma'lumotlar bazasida mavjud imzolar bilan mosliklarni topdilar. Ular bugungi kunda ham qo'llanilmoqda va koddagi "shubhali" konstruksiyalarni aniqlash imkonini beradi, ular bajarilganda dasturning ishdan chiqishiga olib kelishi mumkin.
Ushbu usulning ko'plab kamchiliklari mavjud. Asosiysi, koddagi ko'plab "shubhali" konstruktsiyalar har doim ham nuqson emas. Aksariyat hollarda bunday kod sintaktik jihatdan to'g'ri bo'lishi va to'g'ri ishlashi mumkin. "Shovqin" ning haqiqiy nuqsonlarga nisbati 100: 1 ga yetishi mumkin katta loyihalar. Shunday qilib, ishlab chiquvchi uni haqiqiy nuqsonlardan ajratib olish uchun ko'p vaqt sarflashi kerak, bu esa avtomatlashtirilgan qidiruvning afzalliklarini bekor qiladi.
Aniq kamchiliklarga qaramasdan, zaifliklarni topish uchun bunday oddiy vositalar bugungi kunda ham qo'llaniladi. Odatda ular bepul tarqatiladi, chunki ular aniq sabablarga ko'ra tijorat maqsadlarida foydalanilmagan.
Statik tahlil vositalarining ikkinchi avlodi oddiy naqshlarni moslashtirishdan tashqari, dasturlarni optimallashtirish uchun avval kompilyatorlarda ishlatilgan tahlil texnologiyalari bilan jihozlangan. Ushbu usullar dastlabki kodni tahlil qilish orqali dasturni bajarish modelini va ba'zi o'zgaruvchilarning boshqalarga bog'liqlik modelini ifodalovchi boshqaruv oqimi va ma'lumotlar oqimining grafiklarini tuzishga imkon berdi. Ma'lumotlardan kelib chiqqan holda, dastur qanday bajarilishini (qaysi yo'lda va qanday ma'lumotlar bilan) belgilash orqali grafiklarni modellashtirish mumkin.
Dastur bir-biriga bog'liq bo'lishi mumkin bo'lgan ko'plab funktsiyalar, modul protseduralaridan iborat bo'lganligi sababli, har bir faylni alohida tahlil qilish etarli emas. To'liq protseduralararo tahlil barcha dastur fayllari va bog'liqliklarini talab qiladi.
3) Statistika (lotincha: status — "vaziyat") maʼlumot yigʻish, tartiblash, tahlillash,sharhlash va koʻrsatishga bagʻishlangan matematika sohasidir. Bunga statistik tadqiqot va tajriba rejalashtirish ham kiradi.