Tekshirish, sinov

Qayta ishlashning birinchi turi соответствуют исходные данные в крити­tanqidiy nuqtalarda va o'zgaruvchan o'zgarish sohalari chegaralarida dastlabki ma'lumotlarga mos keladi. Bunday muhim qadriyatlar bilan PRni bajarish yo'nalishi o'zgarishi mumkin, shuning­uchun natijalarning eng katta o'zgarishi mumkin.­Shuning uchun mu odatda ma'lumotlarni qayta ishlashni sinab ko'rish, birinchi navbatda, dasturlarning bajarilishini tekshirishga qaratilgan o'zgaruvchan qiymatlar bilan, marshrutni tanlashga va dasturramkalarining ishlash mantig'iga ta'sir qiladi (­o'zgaruvchan hududlarni tark etish strategiyasi). Chegara sharoitlari-bu­qayta ishlangan o'zgaruvchining o'zgarishidan kelib chiqadigan hududlar chegaralariga yaqin bo'lgan vaziyatlar­. критических значений Har bir o'zgaruvchining bunday muhim qiymatlari soni несколько порядков меньше, чем чис­ushbu qiymatdagi o'zgarishlarning butun ichki qismidagi qadriyatlar sonidan bir necha buyurtma bo'lishi mumkin.
Eng muhim qadriyatlar (predikatlar) muhim bo'lishi mumkin­, lekin natijalarga ta'sir qiladi va eng diqqat bilan­sinovdan o'tkaziladi. Ushbubo'limda, sinov va dastur tuzilishi test yaqin mazmuni haqida ma'lumotlarni qayta ishlash (qarang.p. 13.4). Bunday holda­, marshrutlar dastur matnidagi shartlarni ketma-ket operatorlarda ma'lumotlarni tahlil qilish va qayta ishlash jarayonida shakllanadi.­четаTestlardagi dastlabki ma'lumotlarning bir nechta to'plami to'g'ridan-to'g'ri dastur maydonlarining to'liq to'plamidan test bilan qamrab olish darajasiga bevosita ta'sir qiladi.­Turli mezonlarga muvofiq gra Fu dasturlari bo'yicha ajratilgan marshrutlar bilan tasdiqlangan marshrutlarni kiritish orqali­фу программы при различных критериях, можно оценивать достsiz modulni sinovdan o'tkazishning to'liqligi va taxminan uning to'g'riligi darajasini baholashingiz mumkin.
Qayta ishlashning ikkinchi turi cheklangan (yoki cheksiz) ta'rif sohasidagi ma'lumotlar bilan mos keladi, bu Neko­toroe-da ko'plab qo'shni hududlar (silgikabi) bilan bo'lishishi mumkin.­Bunday sohada berilgan o'zgarish dasturning bajarilish yo'nalishiga ta'sir qilmaydi. Shuning uchun, dasturning butun qiymat to'plamidan ishlashini tekshirish uchun faqat maydon chegaralari ichida va yaqinida bir nechta qiymatlarni sinab ko'rishda foydalanish kifoya. ­Ushbu turni qayta ishlashda sinov uchun ishlatiladigan qiymatlar soni­ti Bulutidagi har bir o'zgaruvchining qiymatlarining to'liq sonidan bir nechta buyurtma bo'lishi mumkin­. Sinov jarayonida siz­amalga oshiradigan raqamlarning aniqligi, qayta ishlangan miqdorlarning miqdori va o'lchami, mantiqiy qiymatlarni shakllantirishning to'g'riligi tekshiriladi. Bunday­holda, test o'zgaruvchining har bir ramkasidagi o'zgarishlarning butun maydonini va natijada paydo bo'lgan har bir qiymatni o'z ichiga olishi kerak.
При анализе обрUlarning aniqlash usullari doirasida ma'lumotlar obr abotki tahlil qachon методы тестирования целесообразно применять упорядоченно в сле­u ketma-ketlikni puflab keyin tartibli amal qilish tavsiya etiladi.

• 
  dasturni bajarish yo'nalishlarini belgilovchi ma'lumotlar qiymatida test qilish (viloyatlar strategiyasi);
  
• 
  тестирование корdasturning barcha yo'nalishlarida chiqish ma'lumotlarining tarkibini hisoblash va to'liqligida o'zgaruvchilarni yozish va o'qish uchun rektal kor testini o'tkazish;
  
• 
  hisoblash natijalarining aniqligini va har bir o'zgaruvchining to'g'ri ishlashini sinab ko'rish;
  
• 
  тестирование на полное соответствие kompozitsiya talablariga, chiqish qiymatlari va aniqligiga to'liq javob berish uchun test.
  

Yuqoridagi ketma­-ketlikda, maxsus sinov usullari, birinchi navbatda, natijalarni eng katta darajada buzadigan asosiy xatolarni aniqlaydi. Cheklanganresurslar va bunday sinov ketma-ketligi bilan dasturda chiqish ma'lumotlarining to'g'riligiga ta'sir qiladigan xatolar bo'lishi mumkin. Bunday tekshiruvlarning­asosiy qismida spetsifikatsiyada belgilangan barcha shart-sharoitlarni tekshirish bilan qamrab olish darajasi baholanishi mumkin va qo'shimcha tekshiruvlar faqat etarli darajada tekshirilmagan ma'lumotlar kiritilganda amalga oshirilishi kerak­.