Дастурлаш асослари фанидан маърузалар матни doc

etarlilik  (ta’minlanganlik)  mezonlariga 
nisbatan  testdan 
muvafaqqiyatli o‘tgan bo‘lsada, bu hol unda xatolar borligini istisno qilmaydi. Buni White-Box-testi tabiati 
shunaqaligi bilan tushuntirish mumkin. Bunda quyidagi sabablar bo‘lishi mumkin:  
•
 
White-Box-testi  variantlarini  dastur  tasnifidan  emas,  balki  dasturning  o‘zidan  chiqarib  olinadi. 
Faqat tizim bexatoligi testlanishi mumkin, u talab qilingan semantika shartlariga javob bera olishi 
kerak;    
PDF created with pdfFactory trial version 
www.pdffactory.com

---

•
 
Shuningdek, agar dasturning barcha yo‘nalishlari (marshrutlari) testlanib bo‘lingan bo‘lsa, ham bu 
hol  dasturni  xatosiz  ishlashini  bildirmaydi.  Ma’lumotlarning  nazorat  oqimi  ustunida  kantlar 
(hoshiyalar) bo‘lmagan hollar qaralmaydi.  
Shuningdek, agar tizimni uning nim tizimlarida sinash talab etilsa, unda buning uchun testlanayotgan 
tizim  ishlashining  ichki  jarayonlarini  bilish  kerak  bo‘ladi.  White-Box-testi  paydo  bo‘lgan  xatolarni 
lokallashtirishda  (cheklashda),  ya’ni  xatolarni  tug‘diruvchi  komponentalarni  identifikatsiyalash  uchun 
ayniqsa qo‘l keladi.  
Testlarni  ishlab  chiqaruvchi  testlanayotgan  tizim  ishlashining  ichki  jarayonlariga  oid  bilimga  ega 
bo‘lishi kerakligi sababli, White-Box-testlari o‘sha komanda tomonidan tuziladi. Ko‘pincha testlanishi lozim 
komponentalar  mazkur  komanda  dasturchilari  tomonidan  amalgam  oshiriladi.  Qoida  bo‘yicha  White-Box-
testlari  uchun  testlash  bo‘yicha  maxsus  bo‘limlar  tashkil  etilmaydi,  chunki  bu  vazifa  uchun  maxsus 
qo‘yilgan tekshiruvchidan keladigan foyda ko‘pincha murakkabligi tufayli tizim mohiyatiga kirish natijasini 
chippakka chiqaradi. 
BubbleSort dasturining ko‘rib chiqilgan namunasi uchun x va y indekslari orqali uzulish mezonlariga 
ega har ikkala ichki (qo‘yilgan) sikllar testi muhim ahamiyatga ega. Bu sikllar barcha mumkin bo‘lgan test 
ma’lumotlari  bilan  tizimli  ravishda  ko‘rikdan  o‘tkaziladi  va  shu  bilan  birga  dasturning  o‘zini  tutishi 
o‘rganiladi.  Aniqlangan  xatolar    identifikasiya  qismini  ishini  va  to‘g‘ridan-to‘g`ri  dasturiy  kodda  bartaraf 
qilinishi mumkin.