Tekshirish, sinov

Dasturni bajarish yo'nalishlarini belgilovchi ma'lumotlar qiymatlari uchun test (viloyatlar strategiyasi). Маршруты последова­Ma'lumotlarni qayta ishlash jarayonining yo'nalishlari har qanday­miqdordagi tahlil turiga bog'liq bo'lishi mumkin. Sinov vazifalaridan biri­taqqoslanadigan qiymatlarning ko'priklarini va ularning Kodirov­nia (bitlar, tarozilar) shartlarini identifikatsiyalashni tekshirishdir. Muhim qadriyatlar-влияющиmarshrutlarni tanlashga ta'sir qiladigan predikatlar, ko'p hollarda­ular hammom emas, balki ma'lumotlarni qayta ishlash va/yoki­bir nechta o'zgaruvchilarni taqqoslashda shakllanadi. Shu bilan birga, predikatlar­har bir o'zgaruvchining o'zgarishi, masalan, ularbir xil yoki bir necha doimiy qiymatdan farq qilganda, sti ning butun qatlamida shakllanishi mumkin.
Предикаты, определяющие выбор маршрутов исполнения програм­Dasturning chiziqli uchastkalarida hisob-kitoblar natijasida biz dasturlarni amalga oshirish yo'llarini tanlashni belgilaydigan predikatlar shakllantirilishi mumkin. Ushbu bo'limlar o'rtacha kichik vadastur matnining 5-1 0 satrlari haqida ma'lumot beradi. Manba ma'lumotlarining har bir cheklangan maydoni dasturda muayyan yo'nalishga mos keladi. Mintaqaning chegarasi marshrut bo'yicha predmetlarning talqinlari bilan belgilanadi va chegaraning bir qator qismlaridan iborat bo'lib, ularning har biri единствен­bir-biriga bog'liq bo'lib, biz marshrut ustunidagi marshrutni tanlaydigan oddiy predikat bilan belgilanadi­. Viloyat chegarasining har bir qismi ochiq yoki yopiq bo'lishi mumkin­oldindan belgilangan shartlar operatoriga bog'liq. Chegaraning yopiq qismi cheklangan hududga tegishli bo'lib, operatorlar bilan oldindan belgilanadi<, > yoki = . Chegaraning ochiq qismi mintaqaning bir qismi emas va operatorlar tomonidan shakllantiriladi < , > va l marshrutdagi predikatlarning umumiy soni mintaqaning chegara hududlari sonining yuqori chegarasi­marshrutning o'zgaruvchan o'zgaruvchilari kiradi, chunki ruta marshrutining ayrim predmetlari­aslida chegara uchastkalarini yaratmasligi mumkin. Bunday holatlar bir necha yo'llar uchun predikat kerak bo'lganda paydo bo'ladi va ularning ba'zilari marshrutda qayta tahlil qilinadi.
Shunday qilib,a dasturlari ma'lumotlar oqimiga nisbatan, birinchi navbatda,