Tekshirish, sinov

Второй критерийZestirovichning murakkabligini baholashda marshrutlarni tanlashning ikkinchi mezoni­dastlabki grAFE dasturida­har bir lineer mustaqil asiklik yo'nalishi va har bir lineer mustaqil tsiklning bir martalik tekshiruvini ta'minlaydi, ular asosiy­ildiz yurishlarini tashkil qiladi. Har bir chiziqli mustaqil marshrut yoki tsikl boshqalardan kamida bittatepalik yoki yoydan farq qiladi. Ushbu Nai mezonlari­murakkablikning korrelyatsiyasini tahlil qilishda va vaqt talab qiladigan­ti dasturlarini yaratishda batafsil o'rganildi. Ushbu mezon bo'yicha sinovdan­o'tgan turlarning ko'pchiligi uchta lineer mustaqil tsikllardan va beshta lineer­bo'lmagan vadavriy tuzilmalardan iborat. Shu bilan birga, marshrutlarni bir marta o'tishning barcha shartlarini hisobga olgan testlarning umumiy murakkabligi 25ga teng bo'ladi.
Eng chuqur uchinchi sinov mezonlari va­dastur tuzilishi test murakkabligini aniqlash, men­faqat chiziqli mustaqil, balki barcha chiziqli bog'liq ko'chadan va asiklik yo'nalishlarini emas, balki bir martalik tekshirish talab o'z ichiga oladi­. Bu dasturning asl grafigining haqiqiy asiklik yo'nalishlarining har biri va ushbu marshrutlardan erishish mumkin bo'lgan har bir tsiklni kamida bir marta tahlil qilishdan iborat. Misol uchun, shakl bo'yicha taqdim etilgan dastur grafigi. 13.7, ushbu mezonga ko'ra, 6 ta asiklik va 5 ta marshrutni bajarish kerak­, boshlang'ich tsikllar mushukdan erkin tarzda erishish mumkin.­11 ta testda ajratilgan Rut yurishini amalga oshirish uchun 66 ta shartni birgalikda belgilash kerak. Shu bilan birga, tsikllar bilan so'nggi to'rtta marshrutning o'ziga xos xususiyati­, shuningdek, asiklik yo'nalishlarning­soot filiali 3 va 12 tepaliklarida filiallarning aniq izidir.
Haqiqiy dasturlarda, ba'zi marshrutlarturli­лизуемыми из-за несовместимости условий, которые последовательно ана­xil tepaliklarda (masalan, shakl bo'yicha 3 va 12 tepalari) ketma-ket ravishda ijaraga olingan shart-sharoitlarning mos kelmasligi tufayli haqiqiy emas. 13.7). Boshqa tomondan, amalga oshiriladigan har bir yo'nalish uchun­димой проверка при несколtsikllarning bir nechta o'tishi va har bir qayta ishlangan o'zgaruvchining bir nechta xatolari bilan tekshirish mumkin emas­. Bir yoki ikkita oraliqda shartli chiqish bilan, shuningdek, tsikllarning maksimal va minimal soni bilan davrlarni tekshirish juda muhimdir. Qayta­zultatda murakkablik, kerakli testlar soni va tekshiruvlarning­davomiyligi mos ravishda oshadi.
Asosiy qonuniyatlarni aniqlash va предельных ха­PM testining tizimli murakkabligini cheklovchi xa rakteristikasini baholash uchun ABstraktnyh acikliches­KIH dasturiy modullarini sinovdan o'tkazish sifati va haqiqiy modani vakillik namunasini tahlil­qilish murakkab PS. Haqiqiy PM tadqiqotlari shuni ko'rsatdiki, ulardan ko'proq Polo­ayblari tsikllarni o'z ichiga olmaydi, bu ularga e'tibor berishga imkon berdi.Dastur grafigining har bir yoyining har qanday yo'nalishi bo'yicha bu yo'lni to'ldirgandan so'ng, bu kamonda xatolik yuzaga kelishi ehtimoli nolga teng. Ob'ekt kompyuter dasturlarida filiallar 5-10 dastur matn operatorlari orqali amalga oshiriladi, shuning uchun asiklik PM proportsioni bajarish marshrutlari sonidasturlarning matn satrlari bilan ifodalangan hajmga to'g'ri keladi.
Tahlil­dastur grafigining har bir kamarini kamida bir marta x bilan qoplash mezonlari bo'yicha marshrutlarni ajratishda ikki turdagi asiklik grafikalar uchun amalga oshirildi! va kamida bitta yoy x 2dan farq qiluvchi barcha yo'nalishlarni ajratish mezoniga ko'ra₂. Tanlangan tuzilmalar orasida­dastur grafikalari tarkibiy qismlarining eng tipik variantlarini qazib olish. Tuzilmalar grafiklarning kengligi bilan ajralib turardi, natijada­lo marshrutlari soni va bunday tructurlardan to'liq sinov murakkabligifarqlanadi.­PM testlarining­граммы, отражающих murakkabligi modul strukturasining to'g'riligini to'liq tekshirish uchun zarur bo'lgan testlar sonini aks ettiruvchi gramm haqida ishlash yo'nalishlari soni bo'yicha baholandi. Bundan tashqari, sinov sinov murakkablikning struklari ko'rsatkichi sifatida­турной сложности тестирования анализировалось суммарное число условий,tahlil modulni tekshirish uchun testlarda (sinovning murakkabligi) o'rnatilishi kerak bo'lgan shartlarning umumiy sonini o'zlashtirdi.
Graf g] turli xil filiallar va maksimal kenglikdagi maksimal foydalanish bilan nosimmetrik tartibli ikkilik daraxt­мальной edi. G_{2 ustunida}, aksincha, kenglik minimal va faqat ikkita butunlay boshqacha yo'nalishdir.­R 2 ustunidagi Per vomu mezonlari bo'yicha marshrutlarni tanlashda_faqatikkita yo'nalish mavjud va filialning vertikalari soniga bog'liq emas. TJ ustunida marshrutlarni birinchimezon bo'yicha ajratishda ularning soni vertikalar sonining ko'payishi bilan lineer ravishda oshadi. Ikkinchi mezon bo'yicha marshrutlarni tanlashda ularning soni­ushbu turdagi grafikalar uchun juda ko'p sonli vertexlarning nisbati.