|
Boshqaruv oqimini tahlil qilish
|
| bet | 6/8 | | Sana | 14.12.2023 | | Hajmi | 0,54 Mb. | | #119049 |
Bog'liq evolutsiya xorijiy-investitsiyalarning-milliy-korxonalar-raqobatdoshligini-taminlashdagi-ahamiyati-ozbekcha-20231028142026Tf71, wepik-xorijiy-investitsiyalarning-milliy-korxonalar-raqobatdoshligini-taminlashdagi-ahamiyati-ozbekcha-20231028142026Tf71, amerika-davlatining-iqtisodiyoti-ozbek-tilida-tayyorlangan-prezentatsiya-20231028175123Q4DC, wepik uyushgan jinoyatchilik iqtisodiyoti xufiyona iqtisodiyot y, Axborot xavfsizligi tushunchasi va zaruriyati. Raqamli iqtisodiy-azkurs.org
Boshqarish oqimini tahlil qilish - bu dasturning bajarilish tartibini aniqlash uchun statistik kod tahlilidir. Bajarilish tartibi boshqaruv oqimi grafi sifatida ifodalanadi. Ko'pgina dasturiy tillar uchun boshqaruv oqimi grafi dasturning manba kodida aniq ko'rinadi. Natijada, boshqaruv oqimini tahlil qilish odatda kodning statistik tahliliga taaluqlidir.
Tahlil davomida yuqori darajadagi tillarda yozilgan dasturlar tomonidan chaqiriladigan funktsiyalar va usullarni qabul qiluvchilar aniqlanadi. Funktsional dasturlash tillari va ob'ektga yo'naltirilgan dasturlash tillari uchun "Boshqaruv oqimi tahlili" atamasi boshqaruv oqimi grafini shakllantiruvchi algoritmni anglatadi. Boshqaruv oqimi tahlili (control flow analysis) atamasi birinchi marta Neil D. Jones va Olin Shivers tomonidan kiritilgan. Boshqaruv oqimini tahlil qilish uchun quyidagilar qo'llanilishi mumkin: Abstrakt talqin qilish, cheklovni qondirish, ma'lumotlarni turlarga bo‘lish.
Boshqaruv oqimi grafi (control flow graph - CFG) - kompilyatsiya nazariyasida - graf sifatida taqdim etilgan dasturni bajarishning barcha mumkin bo'lgan yo‘nalishlari to'plami. CFG tuzilishi ko'plab kompilyatorlarni optimallashtirish va statistik kod tahlilining yordamchi
dasturlari uchun juda muhimdir. Yetishish imkoniyati - optimallashtirishda ishlatiladigan graf xususiyatlaridan biridir. Agar blok yoki grafning bo‘lagiga kirish blokidan yo'llar bo'lmasa, u holda grafning bu qismi bajarilishning har qanday variantida yetishib bo‘lmaydigan hisoblanadi (o'lik kod) va shu sababli uni dasturdan olib tashlash mumkin. Agar grafning berilgan bo‘lagidan chiqish blokiga yo'llar bo'lmasa, u holda grafning bu bo‘lagi cheksiz takrorlanishni (tsiklni) o'z ichiga oladi.
{
1. if (a2. f1 () ;
else
{
3. if (a4. f2 () ;
else
5. f3 () ;
}
6. }
Nazariy material bilan tanishish. 2.
berilgan masala uchun dastur yozish.
dasturning blok-sxemasi va boshqaruv grafini chizish.
Makkeybning murakkablik o‘lchovlari asosida dasturni boshqarish oqimining murakkabligini hisoblash.
3. Amaliy ish bo‘yicha hisobot tayyorlash.
|
| |
