Reja: Chegaraviy qiymatni tahlil qilishga e'tibor

Ehtimol, nega endi biz faqat ma'lum bir vaqtning o'zida haddan tashqari qiymatlarni qabul qiladigan qadriyatlardan biri bilan bog'liqligimiz haqida savol tug'ilgandir. Buning sababi shundaki, odatda chegara qiymati tahlili kritik xato taxminini ishlatadi. Afzalliklari bor va

ushbu usulning kamchiliklari. Afzalliklar 5.2-bobda muhokama qilinadi va alternativ usullar 7-bobda ko'rib chiqiladi.

5.1 Ba'zi muhim misollar Muayyan usullarga va ularning nisbiy mohiyatiga ehtiyojni namoyish etish yoki tushuntirish uchun men P.C. tomonidan taklif qilingan ikkita sinov misolini keltiraman. Yorgensen. Bular

misollar ba'zi sinov usullari talab qilinadigan joylarni ko'rsatish uchun kengroq doiralarni taqdim etadi va usullarning qulayligini batafsilroq taqdim etadi. NextDate muammosi uchta o'zgaruvchining funktsiyasi: kun, oy va yil. Ma'lum bir sanani kiritgandan so'ng, u kiritilgandan keyingi kun sanasini qaytaradi. Kirish parametrlari aniq shartlarga ega:

1 ≤ 31-kun.

1 ≤ oy ≤ 12.

1812 ≤ 2012 yil.

(Bu erda sinov yillari juda katta bo'lmasligi uchun yil cheklangan).

O'zgaruvchilar orasidagi bog'liqlik tufayli ko'rib chiqilishi kerak bo'lgan murakkab muammolar mavjud. Masalan, biz qaysi yil bo'lishidan qat'i nazar, 31 aprel kuni hech qachon bo'lmaydi. Ushbu bog'liqliklar mohiyati, bu misol biz uchun juda foydali ekanligi. Barcha xatolar

NextDate muammosi "noto'g'ri kiritilgan sana" bilan belgilanadi.

• Uchburchak muammosi

Aslida birinchi uchburchak muammosi 1973 yilda Gruenburger tomonidan taqdim etilgan. Ushbu adabiyotni sinov adabiyotlari bilan birgalikda ishlatilishi mumkin bo'lgan eng mashhur namunalardan biriga aylantirganligi sababli ushbu muammoga yana bir qancha murojaatlar bo'ldi. Uchburchaklar masalasi uchta butun sonni (a, b va c) uning kiritilishi sifatida qabul qiladi, ularning har biri uchburchakning tomonlari sifatida qabul qilinadi. Ushbu kirishlarning qiymatlari turni aniqlash uchun ishlatiladi

uchburchakning (Teng tomonli, Isosceles, Scalene yoki uchburchak emas).

Kirish uchburchak deb e'lon qilinishi uchun ular oltita shartni bajarishi kerak:

C1. 1 ≤ a ≤ 200.

C2. 1 ≤ b ≤ 200.

C3. 1 ≤ c ≤ 200.

6

C4. a

C5. b
C6. c
Aks holda, bu uchburchak emas deb e'lon qilinadi. Agar shartlar bajarilgan bo'lsa, uchburchak turi quyidagicha aniqlanadi.

1. Agar uchala tomon ham teng bo'lsa, chiqish tengdir.

2. Agar aniq bir juft tomonlar teng bo'lsa, natija Isosceles.

3. Agar biron bir tomonning juftligi teng bo'lmasa, chiqish Scalene bo'ladi.

Kamchiliklarni kritik taxmin qilish Ishonchli xatolar uchun taxminlar tanho xato taxminlari sifatida ham tanilgan

nazariya. Taxmin qilinish statistikaga ko'ra, kamchiliklar kamdan-kam hollarda bir vaqtning o'zida ikkita yoki undan ko'p nosozliklar natijasida kelib chiqadi. Ushbu taxmindan foydalangan holda biz kerakli hisob-kitoblarni keskin kamaytiramiz.

Eslatib o'tamiz, bizning misolimiz uchun sinov holatlarining miqdori tekshirilgandan so'ng, n o'zgaruvchilarning n soni uchun sinov holatlari sonini tashkil etuvchi f funktsiyani quyidagicha ko'rsatish mumkinligini aniqladik.

f = 4n + 1

To'rtta haddan tashqari qiymat mavjudligi sababli, bu 4n ga to'g'ri keladi. Doimiyning qo'shilishi barcha o'zgaruvchilar nominal qiymatini oladigan misol uchun hosil bo'ladi. Chegara qiymatini tahlil qilishda ikkita yondashuv mavjud. Biz buni amalga oshirishimiz mumkin

o'zgaruvchilar soni yoki ushbu o'zgaruvchilar foydalanadigan diapazon bo'yicha. O'zgaruvchilar soni bo'yicha umumlashtirish nisbatan sodda. Bu kritik xato taxminini ishlatib, chegara qiymatini tahlil qilishning umumiy uslubida ko'rsatilgan yondashuv. Diapazon bo'yicha umumlashtirish o'zgaruvchilar turiga bog'liq. Masalan, NextDate misolida P.C. Yorgensen [1], bizda yil, oy va kun uchun o'zgaruvchan. FORTRAN-ga o'xshash tillar odatda oyning o'zgaruvchanligini kodlaydi, shunda yanvar oyi 1-fevral va 2-fevralga to'g'ri keladi. Shuningdek, ba'zi tillarda sanab o'tilgan turni e'lon qilish mumkin {Jan, Feb,

Mar, ……, dekabr} Qanday bo'lmasin, ushbu turdagi deklaratsiya nisbatan sodda, chunki diapazonlar qiymatlarni belgilab qo'ydi. Agar ushbu o'zgaruvchan diapazonda aniq chegaralar bo'lmasa, biz o'zimiz yaratishga majburmiz. Bularni sun'iy chegara sifatida bilishadi va Tri7 burchagi muammosi yordamida tasvirlash mumkin. P.C tomonidan ko'tarilgan nuqta. Yorgensen biz uchburchak uchun chekka uzunligiga osongina pastki chegarani osib qo'yishimiz mumkinligini aytdi, chunki qirralarning manfiy uzunligi "ahmoq" bo'ladi. Muammo har bir uzunlikning uzunligi uchun yuqori chegarani belgilashga qaror qilganda paydo bo'ladi. Biz ma'lum bir butun sonni ishlatishimiz mumkin edi, biz dasturga maksimal darajadagi butun sonlarni ishlatishga imkon berishimiz mumkin (odatda MaxInt effekti uchun belgilanadigan). Ushbu muammoning o'zboshimchalik xususiyati tartibsiz natijalarga yoki aniq bo'lmagan test holatlariga olib kelishi mumkin.

Sinov ostidagi dastur (PUT) "chegaralangan fizik miqdorlarni bildiruvchi bir necha mustaqil o'zgaruvchilar funktsiyasi" bo'lsa, chegara qiymati tahlili yaxshi ishlaydi. Qachon

ushbu shartlar bajarilsa, BVA yaxshi ishlaydi, ammo ular bo'lmaganda biz natijalarda kamchiliklarni topolmaymiz. Masalan, chegara qiymati tahlili joylashtirilgan NextDate muammosi

hatto sinov rejimi oralig'ida teng bo'lsa, sinovchining sezgi va sezgi shuni ko'rsatadiki, biz fevral oyining oxiriga yoki sakrash yillariga ko'proq e'tibor qaratishimiz kerak. Ushbu yomon ko'rsatkichning sababi BVA kompensatsiya qila olmasligi yoki qabul qilinmasligi

funktsiya yoki uning o'zgaruvchilari orasidagi bog'liqlikni ko'rib chiqing. O'zgaruvchan tabiat uchun sezgi yoki tushunishning etishmasligi BVA ni juda oddiy deb hisoblash mumkinligini anglatadi.

Mustahkamlik sinovini chegara qiymati tahlili va kengaytmasi sifatida ko'rish mumkin. Mustahkamlik sinovining g'oyasi toza va iflos sinovlarni sinab ko'rishdir. Tozalash deganda, ichida joylashgan o'zgaruvchilarni aytaman

qonuniy kiritish oralig'i. Nopoklik bilan men kiruvchi o'zgaruvchilarni ishlatishni nazarda tutaman

faqat ushbu kirish domenidan tashqarida. Yuqorida keltirilgan 5 ta sinov qiymatlariga qo'shimcha ravishda (min, min +, nom, max-, max) har bir o'zgaruvchiga (min-, max +) kirish qiymatidan tashqarida bo'lish uchun mo'ljallangan yana ikkita qiymatdan foydalanamiz.

Agar biz f funktsiyasini bardoshlilik sinoviga qo'llash uchun moslashtirsak, quyidagi tenglamani topamiz:

f = 6n + 1

Men ushbu yechimni standart BVA tenglamasiga olib keladigan bir xil fikrlar bilan tenglashtirdim. Endi har bir o'zgaruvchi har birining nominal qiymatini qabul qilganda har xil bo'lgan 6 ta qiymatni qabul qilishi kerak (shuning uchun 6n) va yana bitta misol mavjud.

barcha o'zgaruvchilar nominal qiymatini qabul qiladilar (shuning uchun doimiy 1 ga qo'shimcha). Ushbu natijani 6.1 va 6.2-rasmlarda ko'rish mumkin.

Mustahkamlik sinovi qiziqishning keskin o'zgarishiga olib keladi, bunda dasturga kirishda avvalgi qiziqish yotgan bo'lsa, asosiy e'tibor diqqat-e'tibor va kirish o'zgaruvchisi berilgan kirish domenidan oshib ketganda kutilgan natijalarga olib keladi. Uchun

masalan, 31-iyun kabi bo'lganimizda NextDate muammosi, masalan, "o'sha sana mavjud emas; Iltimos, yana bir bor urinib ko'ring". Mustahkamlik sinovi istalgan xususiyatga ega

Chegaraviy qiymat tahlili kritik xatolar taxminini ishlatadi va shuning uchun bir vaqtning o'zida haddan tashqari qiymatlarni hisobga olgan holda faqat bitta o'zgaruvchini sinab ko'radi. Ushbu taxminni e'tiborsiz qoldirib, agar bir nechta o'zgaruvchilar haddan tashqari qiymatlarini olishlari kerak bo'lsa, biz natijalarni sinab ko'rishimiz mumkin. Elektron zanjirda bu eng yomon holatlar tahlili deb nomlanadi. Worst-Case testida biz test g'oyalarini yaratish uchun ushbu g'oyadan foydalanamiz.

Sinov holatini yaratish uchun biz 5-sonli asl to'plamni olamiz (min, min +, nom, max-, max) va

ushbu qiymatlarning Karteziya mahsulotini bajaring. Yakuniy mahsulot, biz ilgari ko'rganimizdan ancha katta natijalar to'plamidir.

Natijalar 7.1 va 7.2-rasmlarda ko'rishimiz mumkinki, eng yomon holatlarda bu yanada kengroq sinov usuli hisoblanadi. Buni chegaraviy qiymatni tahlil qilishning standart holatlari eng yomon holatlar bo'yicha testlarning tegishli to'plami ekanligini isbotlash mumkin.

Ushbu sinov holatlari, ularning qamrovi kengroq bo'lsa-da, ko'proq harakatlarni anglatadi. Taqqoslash uchun biz chegara qiymatini tahlil qilish 4n + 1 sinovlarida, eng yomoni - 5n test natijalarini berishini ko'rishimiz mumkin. Har bir o'zgaruvchini taxmin qilish kerak