Tekshirish, sinov

Структурная сложность тестированияPM grafikalarini testdan o'tkazishning strukturaviy murakkabligi, shakl bo'yicha ordinat o'qi bo'ylab logaritmik o'lchovni tanlashni aniqlaydigan marshrutlar sonidan kattaroq diapazonda o'zgaradi. 13.8. Eng kichik tizimli murakkablik₂ при выделении марш­, birinchi mezon bo'yicha Rut marshrutini ajratishda g 2 grafigi bilan tavsiflanadi.Ushbu grafikalar uchun strukturaviy murakkablik vertikalar soniga qarab deyarli chiziqli ravishda oshadi. Ikkinchi mezon bo'yicha marshrutlarni ajratishda bir xil grafik eng katta tizimli murakkablik bilan tavsiflanadi. 30 yoki undan ko'p­tepaliklarda, bu Rafa turining murakkabligi, xuddi shu sonda tepaliklarga ega bo'lgan g \ ga nisbatan ancha yuqori. X 2 mezonlari bilan ushbu grafiklarni sinovdan o'tkazishning murakkabligi o'rtasidagi nisbiy farq₂ taxminan 16 dan 100 gacha bo'lgan vertices sonini o'zgartirganda saqlanadi. Strukturaviy murakkablik qiymatlarining bunday taqsimlanishiva grafikalar turlaridan ularning kengligi o'rtasidagi farqga bog'liq. X 2 mezonlari bo'yicha marshrutlar soni₂ barcha grafikalardagi vertices soniga qarab deyarli bir xil o'zgaradi, chunki strukturaviy murakkablikdagi farqlarni aniqlash har bir yo'nalishda tahlil qilinadigan shartlar soni hisoblanadi. G 2 grafigining barcha yo'nalishlarida₂ uning barcha tepalari ishtirok etadi, bu uning eng katta tizimli murakkabligini aniqladi.

О 10 20 30 haqida
Shakl. 13.8

Shakl bo'yicha. 13.8 ballar (mos keladigan qiymatlar sonini ko'rsatgan holda)ikki tizimda taxminan 70 ta­haqiqiy asiklik PM qalinligining strukturaviy murakkabligi qayd etildi. Mavhum gra­FOV TJ va g_{2 xususiyatlari}, albatta, har bir mezon uchun taxminan n o'rta guruhlangan Real dasturlari uchun testlar murakkabligi o'zgarishlar qator qamraboladi. Tes ning maksimal murakkabligi­o'zboshimchalik bilan asiklik dasturlari uchun ikkinchi mezonga ko'ra, maydondagi vertikalar soniga yaqin. Xuddi shu mezonga ko'ra, "daraxt" kabi keng tuzilgan grafikalar uchun testlarning minimal murakkabligi Macksimal murakkablikdan ancha kichikdir. N b> 10 da muhandislik baholash uchun yaxshi yondashuv ixtiyoriy asiklik dasturlari to'liq testlar murakkabligi o'rtacha baholash­ние для инженерных оценок при п_ъ>uchun ifoda p_b^{2 / 3 beradi}/₃ (shakl boshiga chiziq. 13.8). Ko'rib chiqilgan grafikalar uchun 4 ra (32 dan 128 gacha) vertices sonining ko'payishi­murakkablik tuzilmalarining 10 martadan ko'prog'iga ko'payishiga olib keladi. Agar 128 vertices bo'lgan dastur 4 modullariga bo'linsa, ularning umumiy murakkabligi deyarli faqat32 yuqori qismini ushlab turadigan modullarning murakkabligi bilan­tengdir. 80% hollarda o'rganilayotgan haqiqiy PM 10 verdan ko'p­bo'lmagan shinalarni o'z ichiga oladi va < 50 testining tizimli murakkabligiga ega.

Bu PM rivojlantirish­нальное ограничение размеров модулей на уровне трехсоatsik yuz dasturlari taxminan o'ttiz muqobil mos keladi uchco t-line Tech yuz darajasida modul hajmi ratsionio nalnoe cheklash hisobga olish tavsiya etiladi, deb ko'rsatilgan­ста, что соответствует приблизительно тридцати альтернативам в ацик­. Bunday holda, bunday PM testlarini to'liq qoplash uchun 1000 shartlarini belgilash kerak, bu odatda deyarli amalga oshirish qiyin yoki mumkin emas. O'rtacha­, 30-Vertex dallanma bilan gramm haqida to'liq sinov 300-500 haqida umumiy murakkabligi bilan test amalga oshiriladi. Turli tuzilmalarga ega bo'lgan dasturlarni to'liq sinovdan o'tkazish uchun zarur bo'lgan testlarning umumiy murakkabligi­bir necha marta farqqiladi.
Shuning uchun, pmni ishlab chiqishda 100-200 satr matnidagi modul dasturlarining oqilona hajmi tavsiya в пределах 100—200 строк текста, для полного тести­etiladi, bu esa 10-20 testlarini 100 gacha bo'lgan filialning umumiy soni bilan ishlatish uchun etarli. Agarular tavsiya etilgan­bo'lsa, ular to'liq sinovdan o'tishi qiyin va ular целесообразно делить на более мелкие компоненты,deyarli to'liq qopqoq testlari uchun mavjud bo'lgan kichik qismlarga bo'linishi tavsiya­etiladi.
Для получения практических оценок достигаемой корректности про­Uning strukturasi testlarini qoplashda gramm haqida erishilgan to'g'rilikni amaliy baholash uchun diapni baholash kerak­