Tizimli va amaliy dasturlashtirish

Yo‘nalishni tanlash mezonlari

Eng yaxshi mezon kirish ma'lumotlarining har qanday kombinatsiyasi uchun dasturni bajarishning barcha haqiqiy yo'nalishlarini tanlash imkonini beradi.

1-mezon
Dasturning boshqaruv grafi har bir yoy bo'ylab har bir tarmoq operatori orqali o'tadigan minimal yo'llar bilan qoplangan bo'lishi kerak. Yoylarni qayta tekshirish baholanmaydi va ortiqcha hisoblanadi. Tekshiruv jarayonida dastur operatorlari o'rtasidagi boshqaruvning barcha yo‘nalish bo‘yicha uzatilishi bajarilishi va har bir operatorning kamida bir marta bajarilishi kafolatlanadi.
Boshqarish oqimi - turli modullar va dastur operatorlarini bajarish ketma-ketligi. Boshqarish oqimi grafi - bu dasturning boshqaruv oqimini modellashtiruvchi yo'naltirilgan graf. 100-200 operatorni o'z ichiga olgan boshqaruv dasturining murakkabligini ko'rib chiqamiz, boshqaruv oqimi grafi 14 ta cho‘qqi, 20 yoy va 3 tsiklni o'z ichiga oladi.

Ushbu dasturni 1-mezon bo'yicha to'liq sinab ko'rish uchun quyidagi yo'nalishlar yetarli:

m1: 1 – 2 – 14 m2: 1 – 3 – 4 – 6 – 8 – 6 – 8 – 14 m3: 1 – 3 – 5 – 7 – 9 – 10 – 11 – 12 – 13 – 14 m4: 1 – 3 – 4 – 5 – 7 – 9 – 10 – 9 – 10 – 11 – 7 – 9 – 10 – 11 – 12 – 14

1-mezon bo'yicha strukturaviy murakkablik

Bu yerda p_i - oxirgi cho'qqidan tashqari, i-yo'nalishdagi tarmoq cho'qqilari soni.

Tarmoqlanish nuqtalarini hisobga olgan holda quyidagilarga ega bo‘lamiz:

m1: 1 – 2 – 14 m2: 1 – 3 – 4 – 6 – 8 – 6 – 8 – 14 m3: 1 – 3 – 5 – 7 – 9 – 10 – 11 – 12 – 13 – 14 m4: 1 – 3 – 4 – 5 – 7 – 9 – 10 – 9 – 10 – 11 – 7 – 9 – 10 – 11 – 12 – 14	= 1 = 5 = 5 = 9
Jami = 20

1-mezonning kamchiligi: marshrutlarning turli uchastkalaridagi shartlar kombinatsiyasining kombinatorikasi hisobga olinmaydi.

2-mezon

Dasturdagi boshqaruv oqimi grafining siklomatik soni asosida shakllantiriladigan va baholanadigan bazaviy yo‘nalishlarni tahlil qilishga asoslanadi.

Dastur grafining siklomatik raqami


Z = m – n – 2*p

m - grafdagi yoylarning umumiy soni;

n - grafdagi qirralarning umumiy soni;
p - grafning bog'langan komponentlar soni.
Grafning bog'langan komponentlar soni (p) grafni maksimal darajada bog'langan (yoki to'liq bog'langan) grafga aylantirish uchun zarur bo'lgan yoylar soniga teng.

Maksimal bog'langan (to'liq bog'langan) graf - bu har qanday cho‘qqiga boshqa har qanday cho'qqidan kirish mumkin bo'lgan grafdir. Yakuniy va boshlang'ich qirralarini yopish orqali dastlabki grafdan maksimal darajada bog'langan (to'liq bog'langan) graf olinadi. Ko'rib chiqilayotgan graf uchun (14, 1) yoyni qo'shish orqali to'liq bog'langan graf olinadi.