Tekshirish, sinov

Sinovni rejalashtirish ijodiy jarayondir va avtomatik­matizatsiya vositalari asosan rejalashtirishda ishlatiladigan dastlabki ma'lumotlarni tayyorlash uchun mo'ljallangan. Ushbu ma'lumotni uchta ma'lumotlar guruhiga bo'lish mumkin.

• 
  dasturdagi tsikllar haqida;
  
• 
  dasturni bajarish yo'nalishlari to'g'risida;
  
• 
  dasturni bajarish yo'nalishlarini va o'zgarmaydigan o'zgarish maydonlarining chegaralarini belgilovchi predikatlar haqida.
  

Ushbu ma'lumotlarni tayyorlash uchun dasturning matnlari­va dasturning muvozanatli grafovaya modeli qo'llaniladi. Bu mo­del PLA­avtomatlashtirish sinov yoki tuzilishi nazorat qilish va­dastur muddati nia aniqlash orqali maxsus tayyorlangan bo'lishi mumkin. Test rejalashtirish uchun ma'lumotlar asosiy qismi, men­cry teria tanlash va marshrut tartiblashtirish strategiyasi haqida tuzuvchi ko'rsatmalar yordamida dasturi matnida avtomatik ravishda tafovut olish mumkin­.­Chika avtomatizatsiya vositalari bilan ishlaydigan muloqot testiroVaniyaning murakkabligiga qarab­, shuningdek, tsikllar va asiklik marshrutlarni bartaraf etish uchun marshrutlarni shakllantirish mezonlarini va ustunlarini aniqlashtirish uchun tavsiya­etiladi, Koto Rye predikatlardagi shartlarning kombinatsiyasi bo'yicha amalga oshirilmaydi. Dialogграфовой модели про­, shuningdek, hisob-kitoblarning yuqori qismida nia filialining ehtimollik qiymatlarini baholash va tsikllarning yinelemelerin xususiyatlarini kiritish kerak bo'lganda, gramm haqida Deli grafini tayyorlashda ham foydali bo'lishi mumkin­.
Dasturda, birinchi navbatda, выделяться цик­Markaziy saylov komissiyasi avtomatik ravishda sinovdan o'tkazilishi kerak. Buning uchun используются указания разра­looplarni sinab ko'rishda marshrutlarni ajratish strategiyasi haqida chizg'ichni yo'q qilish bo'yicha ko'rsatmalar qo'llaniladi. Bundan tashqari, tsikllarning yinelemalari soni va ularning tsikllarni bajarish yo'llari bilan aloqasi haqida ko'rsatmalar berilishi kerak. Natijada, ishlab chiquvchi­tanlangan strategiya bo'yicha sinovdan o'tishi kerak bo'lgan tsikllardagi marshrutlar haqida ma'lumotberadi. Avtonom sinov uchun ajratilgan davrlarga ko'ra, umumiy miqdordagi testlar rejada va jami- tsikllarni sinovdan o'tkazishning tinch murakkabligi hisoblanadi. Ularda tsikllar va marshrutlarnitanlash dasturni asiklik shaklga aylantirish imkonini beradi.
Для выделения тестируемых маршрутовBunday asiklik­grammda testlangan marshrutlarni ajratish uchun ishlab chiquvchi marshrutlarni o'lchash uchun mezonni ko'rsatishi kerak по которому следует фор­. Bundan tashqari, ishlab стратегию для составления упорядоченногchiquvchi sinov tartibini rejalashtirishi kerak bo'lgan yo'nalishlar ro'yxati bo'yicha muntazam ravishda tuzish strategiyasini belgilaydi. Marshrutlarni tartibga solish ularning bajarilish muddati yoki­dasturning kiritilishida tasodifiy ma'lumotlar bilan haqiqiy holat ehtimoli bo'yicha amalga oshiriladi. Agardastur grafigining yuqori qismidagi shartlar kombinatsiyasi bilan bir qator marshrutlar amalga oshirilmasa, unda bunday marshrutlar keyinchalik ana Lisa dan chiqarilishi kerak­.
Natijada, siz­haqoratli strategiyaga buyurtma qilingan marshrutlar ro'yxati tuziladi. Ushbu yo'nalishlar bo'yicha TESning to'liq soniva dasturning strukturasini sinovdan o'tkazishning umumiy murakkabligi­tanlangan marshrutlarni tanlash mezonlari bilan javob beradi. Rejalarni­to'g'rilash marshrutlarni ajratish mezonini o'zgartirish va test uchun ajratilgan rootlarning sonini umumiy tartibli to'plamdan cheklash orqali amalga oshirilishi mumkin. Sinov uchun ajratilgan marshrutlar­har bir marshrutda shart-sharoitlarning o'zgaruvchilari qiymatlari haqidagi ma'lumotlar bilan to'ldirilishi mumkin. Buning uchun dasturning matni dasturlash tilida va o'zgaruvchilarning tavsifidan foydalaniladi. полученным со­Predmetlardagi o'zgaruvchilar o'rtasidagi munosabatlarga ko'ra­роены границы областей, har bir marshr­tov uchun va umuman dastur uchun o'zgaruvchan maydonlarning chegaralarini belgilash mumkin (qarang: p.13.5). Hududlar chegaralari soniga ko'ra, o'zgaruvchan o'zgarishlartahlil qilinayotgan dasturda ma'lumotlarni qayta ishlash jarayonlarini tekshirish uchun zarur bo'lgan testlar sonining bahosi bo'yicha amalga oshiriladi.
Dasturning strukturasini sinovdan o'tkazishning murakkabligi va Markaziy saylov komissiyasi bilan birgalikda sinov maydonlarining murakkabligi xususiyatlari­лов позволяют оценить реализуемость плана тестированияmaxsus dasturiy modul yoki komponentni sinovdan o'tkazish rejasining amalga oshirilishini baholashga imkon­beradi. Bundan tashqari, ushbu mablag'lar ishlab­chiquvchiga Markaziy saylov komissiyasi, marshrutlar va o'zgaruvchilar haqida to'liq ma'lumotni­taqdim etadi, ular sinovni rejalashtirishda hisobga olinishi kerak. Dasturningий расчет и упорядочение инфор­xarakteristikalari haqida ma'lumotni hisoblash va tartibga solish, shuningdek, ushbu ma'lumotlarni ko'rsatish

yilni va vizual shaklda siz test jarayonini­samarali va iqtisodiy jihatdan amalga oshirishga imkon beradi.