Tekshirish, sinov

Критерии выделения маршрутовSinov uchun marshrutlarni ajratish mezonlari dasturiy modullarning tarkibiy murakkabligini aniqlash mezonlariga javob beradi. Quyidagi mezonlar asosan qo'llaniladi:
Xj-dastur grafigining­рутовhar bir kamarini kamida bir marta o'z ichiga olgan eng kam sonli Rut marshrutlarini qoplash;
X₂-barcha chiziqli mustaqil marshrutlarni­tanlash, marshrutda kamida bitta kamonni boshqalardan ajratib ko'rsatish;
X₃-marshrutlarga kiritilgan yoylarning barcha mumkin bo'lgan birikmalarida marshrutlarni tanlash.
Tovqatlanishini rejalashtirish mezonlardan biri yoki ip­tomonidan sinovning hajmi va murakkabligi oshib boradigan marshrutlarni ajratish uchun ketma-ketroq qat'iy mezonlardan foydalanish mumkin. Marshrutlar sonining sezilarli darajada oshishi, odatda, ogramlardagi tsikllarni keltiribchiqaradi.
Marshrutlarni tartibga solish strategiyalari. Показатель важности марш­Dasturni sinovdan o'tkazish va uning to'g'riligini baholash uchun Ruth marshrutining muhimligi ko'rsatkichi­жет учитывать сложность marshrut va uni tekshirish uchun testlarning murakkabligini hisobga oladi: operatorlarning soni, marshrutdagi shartli o'tish va tsikllar; Hастость его ис­PS ning ish faoliyatini bajarishda uning to'liqligi;­javob beradigan mos yozuvlar ma'lumotlarini olishning murakkabligi. Avvalo, dasturning to'g'riligini aniqlash uchunsinov uchun ajratilgan resurslar doirasida ekstremal qadriyatlar va tanlangan murakkablik ko'rsatkichlari bilan marshrutlarning asosiy guruhini tekshirish tavsiya etiladi.­Resurs cheklovlari mavjud bo'lganda, marshrutlarning bir qismi oka­tomonidan tasdiqlanmagan bo'lishi mumkin va достигнутую корректность дан­tanlangan Krit riy uchun berilgan dasturning to'g'riligini tavsiflaydi.
Sinovni rejalashtirishda marshrutlarni tartibga­ся на использовании в основном solish, asosan, dasturiy ta'minotning uchta xususiyatlaridan foydalanishga­asoslangan:

• 
  strategiya 1 tanlangan marshrutlarda dastur matnining satrlari sonini­yoki dasturni yo'q qilish funktsiyasida ularni bajarishning taxminiy davomiyligini hisobga при функцио­нировании oladi;
  
• 
  2 strategiyasi­har bir marshrutning shakllanishini belgilovchi muqobil yoki shartli Dove sonini tahlil qiladi;
  
• 
  3 strategiyasi dasturning haqiqiy ishlashi uchun marshrutlarni bajarish ehtimolidan foydalanishga asoslangan.
  

Ushbu test strategiyalari ishlab chiquvchining diqqatini dasturlarning tarkibiy qismlari to'g'riligi uchun eng muhim tahlil qilishga qaratishga imkon beradi. 1 strategiyasida asosiy sinov­Rut marshrutiga, qatorlar soni bo'yicha eng uzun va / yoki vaqt o'tishibilan belgilanadi. Ular odatda eng katta hisoblash hajmi va o'zgarmaydigan o'zgarishlarga ega marshrutlarga mos keladi. Ushbu strategiya mantiqiy shartlar va­вании тестирования программ, имеющих вычислительный характер обра­dasturlarni bajarish yo'nalishlarining kichik soni bilan ma'lumotlar poyafzalining hisoblash xususiyatiga ega bo'lgan dasturlarni sinovdano'tkazishni rejalashtirishda tavsiya etiladi.
При 2 strategiyasida ustuvor yo'nalishlar,­tahlil qilinadigan shartlar soni bo'yicha eng murakkab nomlar berilgan. Bunday strategiya mantiqiy dasturlarni kichik hajmdagi hisoblash bilan sinovdan o'tkazishda afzallik­beriladi. Har ikkala strategiyadaham, testning yakuniy bosqichlari hisoblash yoki mantiq bo'yicha oddiy bo'lib qoladi, bu dasturning potentsial, tizimli noto'g'ri ekanligini aks ettiradi. Bu juda­ko'p dastur ishlab chiquvchilarining an'anaviy strategiyasiga­mos keladi, dastlab tdasturining hisoblash yoki mantiqiy tarkibiy qismlarining katta qamrovi va iloji boricha yuqori darajadagi to'g'ri ishlashi bilan eb-ichadi.
При упорядочении маршрутов по 3 strategiyasi bo'yicha marshrutlarni tartibga solishda asosiy qiyinchilikshartli o'tish va kalitlarda etvleniyada ehtimollarni baholash va hisobga olish, shuningdek, tsikllarning ijro etilishi sonidir. Ularning qiymatlari dastur ishlab chiquvchilari tomonidan ko'rsatilishi kerak, bu juda zo'r va­mavzu. Shunga qaramay, ushbu strategiya sizga eng batafsil reja tuzish imkonini beradi­riptestchilari va gramm haqida eng to'g'ri darajani baholash­.
Sinov samaradorligi­gramm modulini tekshirishning to'liqligi yoki невыявленныхresurs xarajatlariga qarab aniqlanmagan xatolar mavjudligi ehtimoli bilan belgilanadi: testlarni yaratish­гра, mm gra ijro etilishi va test natijalarini tahlil qilish. Muhim darajadagi xarajatlar­dasturni bajarish yo'llarini tekshiradigan testlarni shakllantirishning umumiy murakkabligiga bog'liq emas. Shartli o'tishlar orasidagi dastur grafigining harbir kamonida hisob-kitoblar amalga­oshiriladi va ularning miqdori keng miqyosda o'zgarishi mumkin. Dasturning­strukturasini tahlil qilish va baholash uchun test­sinovlari uchun grammi haqidagi grafikalar bo'yicha hisob-kitoblarning davomiyligi va murakkabligi­bir xil va nisbatan kichikdir. Heh dasturning ustunlari shamollash shoxidan keyin kamonlarning yaqinlashishi natijasida paydo bo'lishi mumkin­. Bunday tepaliklar marshrutlar soniga ta'sir qilmaydi va ular filialning kelib chiqadigan eng yaqin keyingi tepasi bilan umumlashtirilishi mumkin­. Bu predposinov­murakkabligi bilan, birinchi yondashuv, har bir z-th marshrutni tekshirish yoyi soni bu marshrutni kiritilgan dasturi soni, yoki E_tsinov belgilangan bo'lishi kerak e t sharoitlar soni mutanosib bo'ladi.
Экспериментально подтверждена адекватность использTestiro Vaniyaning mehnat zichligini baholash uchun dasturlarning tizimli­murakkabligi, shuningdekневыявленных, umuman dasturiy modullarni ishlab chiqishda aniqlanmagan xatolar va xarajatlar ehtimoli eksperimental ravishda tasdiqlangan. PM testining murakkabligi m x yo'nalishlarining soni bo'yicha baholanishi mumkinМ_х, необходимых дл, men ularni tekshirish uchun zarur bo'lgan dl yoki Е_х,x-x mezonlari bo'yicha ajratilgan dasturning barcha yo'nalishlarini o'tkazish uchun testlarda ko'rsatilishi kerak bo'lgan e x shartlarining umumiy soni bo'yicha to'liqroqму:
M_x
(13.1)
/=1
bu erda i-shartlar soni-z-marshrutni belgilaydigan predikatlar.
Маршруты исDasturiy modulni to'ldirish uchun ip marshrutlari ikki turga bo'linishi mumkin.

• 
  dasturning asosan hisoblash qismini bajarish yo'llari va uzluksiz o'zgaruvchilarni konvertatsiya qilish;
  
• 
  mantiqiy qarorlar qabul qilish yo'llari va­ical o'zgaruvchilar jurnallarini o'zgartirish.