Reja: Chegaraviy qiymatni tahlil qilishga e'tibor

Mavuz : Chegaraviy ma’lumotlar

Reja:

1.Chegaraviy qiymatni tahlil qilishga e'tibor

2 .Chegaraviy qiymat tahlilini qo'llash

3. Umumiy chegaralarni tahlil qilish

4.xulosa

Dasturiy ta'minotni sinab ko'rish amaliyoti dasturiy ta'minotni yaratish jarayonining muhim jihatlaridan biriga aylandi. Dasturiy ta'minotni sinab ko'rganimizda birinchi va potentsial eng muhim qadam bu test holatlarini loyihalashdir. Sinov kassalarini loyihalash bilan bog'liq ko'plab usullar mavjud. Ushbu hisobot chegara qiymati tahlili deb nomlangan yondashuvni hujjatlashtiradi. Ajablanarli darajada ta'sirchan Dikkstra ta'kidlaganidek, "Sinov xatolar mavjudligini ko'rsatishi mumkin, ammo yo'q". Bu haqiqat bo'lsa-da, agar to'g'ri amalga oshirilgan bo'lsa, birinchi navbatda sinov juda yaxshi bo'lishi mumkin. Shuning uchun biz sinovdan o'tgan tizim uchun to'g'ri usulni topishimiz uchun mavjud texnikani bilishimiz kerak .

Biz chegara qiymati tahlili bilan bog'liq turli mavzularni ko'rib chiqamiz va ularning mazmuni va maqsadlarini ko'rsatish uchun bir nechta oddiy misollardan foydalanamiz. Har bir usulning foydali ekanligini ko'rsatadigan ba'zi misollar mavjud. Doimiy ravishda “kichik miqyosda” misol bo'ladi

har bir usulni tasvirlashga yordam berish uchun. Bunga P.C tomonidan kiritilgan ikkita misol keltiriladi. Yorgensen. Bular sinov usullariga nisbatan ko'proq "hayotga to'g'ri" talablarni ko'rsatish uchun ishlatiladi. Yana ikkita chuqur misollar uchun test holatlarini batafsil yoritadigan bo'lim mavjud. samarali sinov usullarini ishlab chiqish katta muammoga aylandi.

sinov ishlarini yaratish; bu ko'p yillardan beri muhokama qilinadigan mavzu. Tizim uchun test kassalarini yaratish bilan bog'liq bir qancha taniqli usullar mavjud. Ko'p sonli muammolar mavjud bo'lib, ular yordamida berilgan testlar to'plamini (testlar to'plamini) bajarish natijasining yaxlitligini buzishi mumkin. Ushbu savollar yoki savollar biz qaerdan boshlashimiz kabi asosiy bo'lishi mumkin? Agar biz testlarni qaerda tugatish kerakligini aniqlashga harakat qilsak va biz barcha kerakli ma'lumotlarni kiritgan bo'lsak, ular yanada murakkablashishi mumkin.

Tillarning terilishi chegara qiymatini tahlil qilish yondashuvining ta'siriga katta ta'sir ko'rsatishi mumkin. PASCAL va ADA kabi qattiq yozilgan tillar barcha aniqlangan barcha o'zgaruvchilar yoki o'zgaruvchilar ma'lumotlarni talab qiladigan bog'langan ma'lumotlar turiga ega bo'lishini talab qiladi.

aniqlashda ushbu qiymatlarning diapazoni. Bunday tillarning paydo bo'lishiga katta sabab bu xatolarning oldini olish edi

Chegara qiymati tahlili kashf qilish uchun ishlatiladi. Ushbu turdagi tillar bilan birgalikda ishlatilganda BVA 3 ta samarasiz bo'lmasa ham, BVA ularni ishlatilgan tizimlar uchun yaroqsiz deb hisoblash mumkin. Shuning uchun chegara qiymati tahlili shunchalik kuchli yozilmagan COBOL va FORTRAN kabi "erkin" tillarga ko'proq mos keladi. Ular, shuningdek, zaif yozish tillari sifatida tanilgan va ularni bitta turga (ya'ni string) imkon beradigan tillar sifatida ko'rish mumkin.

boshqasi sifatida ko'rish (ya'ni int). Bu foydali bo'lishi mumkin, ammo xatolarga olib kelishi mumkin. Ushbu xatolar yoki xatolar odatda BVA ishlaydigan diapazonda uchraydi va shuning uchun ham toppish mumkin .

Chegaraviy qiymat tahlili funktsiyaning kirish parametrlariga e'tiborni qaratadi. Ushbu hisobotning maqsadi uchun ikkita o'zgaruvchini aniqlayman (faqat ikkita misolni aniqlab olaman, shunda keyingi misollar qisqacha saqlanishi mumkin) X1 va X2. Bu erda X1 A va B o'rtasida, X2 esa C va D orasida joylashgan.

A ≤ X1 ≤ B

C ≤ X2 ≤ D

A, B, C va D qiymatlari kirish maydonining chegaralari hisoblanadi. Bular eng yaxshi 4.1-rasmda ko'rsatilgan.

Grafikning sariq soyali maydoni berilgan funktsiyaning maqbul / qonuniy kiritish domenini ko'rsatadi. Nomidan ko'rinib turibdiki, chegara qiymati tahlili test holatlarini aniqlash uchun kirish maydonining chegarasiga qaratiladi. BVA g'oyasi va motivi shundan iboratki, xatolar kirish o'zgaruvchilarining chekkalari yaqinida yuzaga keladi. Ushbu kirish o'zgaruvchilarining chegaralarida topilgan kamchiliklar, shubhasiz, son-sanoqsiz imkoniyatlarning natijasi bo'lishi mumkin. 4.1-rasm. Ammo ko'plab keng tarqalgan kamchiliklar mavjud bo'lib, natijada ular o'zgaruvchilar chegaralariga nisbatan ko'proq xatolarga olib keladi. Masalan, agar dasturchi noldan hisoblashni unutgan bo'lsa yoki ular noto'g'ri hisoblangan bo'lsa. Qayta hisoblagichlarni birida o'chirib qo'yishda yoki operator o'rniga

Chegaraviy qiymat tahlilini qo'llash

Umumiy chegaralarni tahlil qilish bir xilda amalga oshirilishi mumkin.

Amalga oshirishning asosiy shakli - barchasini saqlab turish, ammo ularning o'zgaruvchilaridan bittasi

nominal (normal yoki o'rtacha) qiymatlar va qolgan o'zgaruvchini qabul qilishga imkon berish

ekstremal qadriyatlar. Ekstremitalarni sinash uchun ishlatiladigan qiymatlar:

• Min ------------------------------------ - Minimal

• Min + ------------------------------------ - Minimaldan ancha yuqori

• Nom ------------------------------------ - o'rtacha

• Maks- ------------------------------------ - Maksimaldan ancha past

• Maks ------------------------------------ - Maksimal

Bizning misolimizni davom ettirishda 5.1 va rasmlarda ko'rsatilgan quyidagi holatlar yuzaga keladi