Tekshirish, sinov

разделение простран­manba ma'lumotlarining stva bo'shliqlarini bir bajariladigan marshrutga mos keladigan hududlarga ajratish sifatida ko'rib chiqilishi mumkin. Dasturdagi xatolar­ловлены модификацией гmuayyan marshrut mintaqasining janob ranitsining modifikatsiyasi bilan bog'liq bo'lishi mumkin­, bu esa tegishli marshrutning dastlabki ma'lumotlarini kengaytirish yoki toraytirishga olib keladi. Bundan tashqari, hududlar chegaralarining deformatsiyasi ayrim hududlarni yo'q qilish va tegishli marshrutlarni yo'qotish xatolariga olib kelishi mumkin. Bunday xatolar sabablari operatorlarning shart-sharoitlarni tahlil qilish yoki­predmetlarning qadriyatlarini ajratish jarayonida noto'g'ri talqin qilinishi mumkin­. Shart-sharoitlarni tahlil qilish operatorlarining buzilishi mintaqaning­формации chegarasini shakllantirishga va yangi chegaralarning paydo bo'lishiga yoki ularni yo'q qilishga olib kelishi mumkin, natijada hududlar bo'linishi yoki birlashishi mumkin.
Sinovlarning­murakkabligi dastlabki ma'lumotlarning (talablar yoki o'zgaruvchilar soni) va marshrutlardagi prognozlar sonining ko'payishi bilan lineer ravishda o'sib­тboradi. Ko'pgina standart modullar uchun­modulni deyarli to'liq tekshirish uchun testlarning murakkabligi joizdir. Maydonlarni tekshirish usulining cheklovlari lo marshrutlari soni va tahlil qilinadigan sharoitlar sezilarli darajada oshganda, murakkab tsikl tashkilotlarida paydo bo'lishi mumkin.
Dasturni bajarish yo'nalishlarida berilgan ma'lumotlarni aniqlash va ulardan foydalanishning to'g'riligini tekshirish.­ных на маршрутах исполнения программы. Agar dasturni bajarish marshrutlari kirish ma'lumotlarini o'zgartirishning ruxsat etilgan sohalariga mos keladigan bo'lsa­, undaasosiy operatsiyalarning to'g'riligini tekshirish tavsiya­etiladi. Dasturni bajarish marshrutidagi har bir qiymat xotiradan o'qiladi va hisob-kitoblar uchun ishlatilgandan so'ng saqlash va keyinchalik qayta ishlash uchun kompyuter xotirasida saqlanadi. O'zgarishlarnio'qish va yozish operatsiyalarining ketma-ketligi dasturdagi xatolar natijasida buzilgan bo'lishi mumkin. Bunday xatolarni aniqlash uchun ma'lumotni qayta ishlash va o'qish to'g'riligini­tekshirish yoki ushbu operatsiyalarning statik tahlilini­gramm haqidagi dastlabki texnologik stu bo'yicha tekshirish amalgaoshiriladi.