Referat Bajardi: Yuldashev Muhammadyusuf Tekshirdi: Usmonov Jonibek Toshkent 2023 Statik tahlil vositalari

O’ZBEKISTON RESPUBLIKASI AXBOROT TEXNOLOGIYALARI VA KOMMUNIKATSIYALARINI RIVOJLANTIRISH VAZIRLIGI MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT
TEXNOLOGIYALARI UNIVERSITETI


Statik tahlil fanidan


Referat


Bajardi: Yuldashev Muhammadyusuf
Tekshirdi: Usmonov Jonibek
Toshkent – 2023
Statik tahlil vositalari
Statik tahlil vositalari - bu manba kodini yoki dasturiy artefaktlarni bajarmasdan tahlil qiladigan dasturiy vositalar. Ushbu vositalar kod yoki artefaktni yuzaga kelishi mumkin bo'lgan muammolar, zaifliklar yoki kodlash standartlarini buzish uchun tekshirish orqali ishlaydi. Statik tahlil vositalariga ba'zi misollar:
Kodni ko'rib chiqish vositalari: Bu vositalar ishlab chiquvchilarga kodni qo'lda ko'rib chiqishda va xavfsizlik standartlariga muvofiqligini ta'minlashda yordam beradi.
Linters: Linters kod sintaksisi, uslub va kodlash standartlarini avtomatik tekshiradigan vositalardir.
Kompilyatorga asoslangan vositalar: Bu vositalar kompilyatsiya jarayonida manba kodini tekshiradi va har qanday muammolarni aniqlaydi.
Xavfsizlik skanerlash vositalari: Xavfsizlik skanerlash vositalari SQL in'ektsiyasi yoki saytlararo skript kabi mumkin bo'lgan zaifliklar uchun manba kodini skanerlaydi.
Rasmiy tekshirish vositalari: Ushbu turdagi vosita kodning to'g'riligi va maqsadga muvofiqligini tekshirish uchun matematik modellardan foydalanadi.
Sinovni qamrab olish vositalari: Sinovni qamrab olish vositalari har bir kod qismi to'g'ri sinovdan o'tganligini ta'minlashga yordam beradi.
Statik tahlil vositalari ishlab chiqish jarayonining boshida muammolarni aniqlash va yuqori sifatli dasturiy ta'minotni ta'minlash uchun zarurdir. Ular, shuningdek, ishlashni yaxshilashga yordam beradi va joylashtirishdan keyin muammolarni hal qilish xarajatlarini kamaytiradi.


Statik tahlil vositalariga misollar:
1. Pylint - Python kodini PEP 8 va toza kod yozish uchun boshqa ko'rsatmalarga muvofiq tekshirish.
2. SonarQube - turli dasturlash tillari bilan ishlatilishi mumkin bo'lgan kod tahlili vositasidir. U kodlash standartlarini buzish, takroriy kod bloklarini aniqlash, koddagi mumkin bo'lgan zaifliklarni aniqlash va hokazolar haqida hisobot beradi.
3. ESLint - JavaScript kodini tahlil qilish vositasi bo'lib, dastur kodidagi xatolar va yuzaga kelishi mumkin bo'lgan muammolarni aniqlash uchun ishlatiladi.
4. FindBugs - Java kodini potentsial xato va muammolarni, masalan, kodlash uslubi qoidalarini buzish, eskirgan funksiyalardan foydalanish va shunga o'xshash boshqa muammolarni tahlil qilish vositasi.
5. Checkstyle - Java kodini tahlil qilish vositasi bo'lib, u kodning berilgan formatlash qoidalariga muvofiqligini tekshirish uchun ishlatiladi.
6. ReSharper - C# kodini va boshqa tillarni kodlash standartlariga muvofiqligi, xatolarni aniqlash va ish faoliyatini yaxshilash uchun tahlil qilish vositasi.
7. CodeSonar - C++, Java, C# va boshqa dasturlash tillarini statik tahlil qilish vositasi. Xatolarni, xavfsizlik muammolarini, protseduralararo tahlillarni va faqat kodni tahlil qilish bosqichida aniqlanishi mumkin bo'lgan boshqa muammolarni aniqlaydi.


Pylint dasturini o’rnatish

Pylint dasturini o’rnatish uchun Teminalga kiriladi.
Terminal dasturida pip install pylint buyrug’i beriladi.

Pylint dasturini ishga tushirib foydalanish uchun Terminalga Pylint buyrug’idan foydalaniladi.
Dasturni analiz qilish uchun esa dastur joylashgan papkaga kiriladi Pylint heart.py(dastur nomi) buyrug’i beriladi.
Analiz qilingan dastur hisobotini alohida fayl ko’rinishida saqlab qo’yish mumkin.

Pylint heart.py --output-format=html > report.html
Buyrug’i beriladi va hisobot dastur mavjud bo’lgan papkaga saqlanadi.




Pylint dasturida analiz qilingan dastur.