Javoblar: Ma'lumotlar oqimini tahlil qilish

Savvollar

1. 
   Ma'lumotlar oqimini tahlil qilish
   
2. 
   Nazorat-oqim tahlili
   
3. 
   Ramziy ijro (Symbolic Execution)
   

JAVOBLAR:
Ma'lumotlar oqimini tahlil qilish.
Statik tahlil sinovdan o'tayotgan dasturiy ta'minotning dinamik bajarilishini o'z ichiga olmaydi va dasturni ishga tushirishdan oldin yuzaga kelishi mumkin bo'lgan nuqsonlarni dastlabki bosqichda aniqlay oladi. Statik tahlil kodlashdan so'ng va birlamchi sinovlarini bajarishdan oldin amalga oshiriladi. Statik tahlilni manba kodini avtomatik ravishda 'Yurish' va mos kelmaydigan qoidalarni aniqlash uchun mashina amalga oshirishi mumkin. Klassik misol - bu leksik, sintaktik va hatto ba'zi bir semantik xatolarni topadigan kompilyator. Statik tahlil dasturni tuzishda tegishli kodlash standartlaridan foydalanilishini ta'minlash uchun kodni ko'rib chiqadigan shaxs tomonidan ham amalga oshirilishi mumkin. Bu tez-tez kodlarni ko'rib chiqish deb nomlanadi va uni kodni yozgan ishlab chiquvchidan boshqa birov tomonidan ishlab chiquvchi amalga oshiradi. Statik tahlil shuningdek, ishlab chiquvchilarni dasturlash tilining xavfli yoki bug qismlaridan foydalanmaslikka majbur qilish uchun foydalanilishi mumkin bo'lmagan qoidalarni belgilaydi.
Agar vaqt o‘tgan sari tizim holati yoki tizim holati bilan birga uning tarkibiy tuzilmasi ham o‘zgarsa, bunday tizim dinamik tizim deb ataladi. Aksincha, agar vaqt o‘tgan sari tizimning holati va tarkibiy tuzilmasi o‘zgarmasa, bunday tizim statik tizim deb ataladi. Dinamik tizimlar o‘z navbatida klassik va evolutsion tizimlarga bo‘linadi. Agar vaqt o‘tgan sari tizim holati o‘zgarib, uning tarkibiy tuzilmasi o‘zgarmasa, bunday dinamik tizim klassik tizim deb ataladi. Aksincha, uning tarkibiy tuzilmasi o‘zgarsa, bunday dinamik tizim evolutsion tizim deb ataladi. Masalan, jinoyatga qarshi kurashish tizimida vaqt o‘tgan sari haq to‘lash fondida moliyaviy mablag‘lar etishmasligi sababli tergovchilar maoshi kamayib ketdi. Bu esa jinoyatlarni fosh qilish darajasining tushib ketishiga sabab bo‘ldi, chunki tizimda qo‘nimsizlik oshib ketdi. Shu bilan birga, tizimning tashkiliy funksional, moddiy-texnik tuzilmasi va hokazo tuzilmalari saqlanib qoldi. Demak, bu yerda klassik tizim haqiga gap ketyapti. Yana bir misol: ko‘p qavatli uyning holati o‘n yildan keyin quvurlarni alishtirish va devorlarni oxaklash kabi ta’mirlash ishlarini amalga oshirishni talab qildi, lekin uyning arxitekturali tuzilmasi saqlanib qoldi. Evolyusion tizimga misol: Oliy Majlis oldin bir palatali edi, lekin vaqt o‘tgan sari uning tashkiliy-funksional tuzilmasi o‘zgardi – ya’ni, u ikki palatali bo‘ldi va buning natijasida qonun chiqaruvchi hokimiyati organlari tizimi takomillashdi.