Tizimli va amaliy dasturlashtirish

Makkeyb metrikasi

Boshqaruvni bir operatordan boshqasiga o'tkazish oqimini tahlil qilishga asoslangan bo‘lib, u dasturning mantiqiyligini hisobga olish imkonini beradi. Dasturlar (algoritm, spetsifikatsiya) V cho‘qqilarga va E yoylarga ega bo'lgan yo'naltirilgan boshqaruv grafi G=(V,E) sifatida ko'rsatilishi kerak, bu yerda cho‘qqilar operatorlarga, yoylar esa bir operatordan ikkinchisiga o'tishga mos keladi. Operatorlar - cho‘qqilar ko‘rinishida va yoylar - bir operatordan ikkinchisiga o'tish ko‘rinishidagi dasturni tavsiflovchi graf - boshqaruv grafi yoki dasturning boshqaruv grafi deyiladi. Odatda, faqat bajariladigan operatorlar hisobga olinadi, ma'lumotlarni tavsiflash operatorlari bundan mustasno. Dasturning chiziqli bo'limlari grafning bitta tuguniga almashtirilishi mumkin.

Davriy operatorlarni tarmoqlanish operatolarning ekvivalent ketma-ketligiga almashrish hamda takrorlanishlar sonining yig‘indisini hisoblash operatolari(hisoblagichlar)ni qo‘shish maqsadga muvofiqdir.
Makkeyb o‘lchami dasturning boshqaruv grafining tsiklomatik soni hisoblanadi:
M=m-n+2,
m - graf qirralarining soni;
n - graf cho‘qqilari soni.
M - Makkeybning tsiklomatik soni deb ataladi.
Dasturning tsiklomatik murakkabligi – dastur murakkabligining strukturali (topologik) o'lchovi bo‘lib, u dasturiy ta'minot sifatini o'lchash uchun foydalaniladi. Dasturning tsiklomatik murakkabligi kodni statistik tahlil qilish usullariga asoslanadi. Dasturning tsiklomatik murakkabligi dastur grafi siklomatik sonining bittaga ortganiga teng. Tsiklomatik murakkablikni hisoblash uchun dasturning boshqaruv oqim grafi qo'llaniladi: grafning tugunlari dastur buyruqlarining bo'linmas guruhlari va yo'naltirilgan qirralarga mos keladi, ularning har biri ikkita tugunni bog'laydi va ikkita buyruqqa mos keladi, ikkinchisi birinchisidan keyin darhol bajarilishi mumkin.
Ushbu testlash strategiyasi Makkeybning asosiy testlash yo‘nalishi deb ataladi: dastur orqali har bir chiziqli bog‘liq bo‘lmagan yo‘nalishni testlash - bu holda testlash soni dasturning tsiklomatik murakkabligiga teng bo'lishi kerak.
Dastur kodi ma’lum bir qismining tsiklomatik murakkabligi dastur kodi orqali chiziqli bog‘liq bo‘lmagan yo‘nalishlarning hisoblangan sonidir.

Manba kodi hech qanday qaror qabul qilish nuqtalarini (IF, FOR) o'z ichiga olmaydi	Murakkablik = 1 (faqat bitta yo‘nalish mavjud)
Kodda oddiy shartni o'z ichiga olgan bitta IF operatori mavjud	Ikkita yo'l: biri – IF orqali TRUE sifatida, ikkinchisi – FALSE sifatida

Graflar nazariyasida yo'naltirilgan grafning tsiklomatik soni quyidagi ifoda yordamida hisoblanadi: