Tekshirish, sinov

Sinov nazorat oqimlari (dastur tuzilishi) dastlabki bosqich bo'lishi kerak, chunki noto'g'ri tuzilish bilan chiqish natijalarining eng katta buzilishlari va hatto ularning etishmasligi mumkin­.­тей Sinovlarni qayta ishlashda nazorat qilish uzatmalarining ketma-ketligini va dasturlarni bajarish yo'nalishlarini shakllantirishning to'g'riligini tekshirishdan iboratмаршрутов исполнения програм­. Og'riq­shinalari hollarda dastur tuzilishini sinash uchun ma'lumotlar oqimi sinov nisbatan kam xarajatlarni talab qiladi.
Anning D oqimlarini sinabанных ko'rish ikki bosqichga bo'linishi mumkin. ­Sinov bosqichida mantiqiy echimlarni ishlab chiqish operatorlarida prognozlarning qadriyatlarini aniqlaydigan ma'lumotlarni qayta ishlashni tahlil qilishdan iborat. Ushbu yechimlar axborotni qayta ishlash yo'nalishlariga ta'sir qiladi, bu esa metod ning ushbu qismida ma'lumotlar oqimini sinovdan o'tkazish bilan­birlashtiradi. Ma'lumotlarni qayta ishlashni sinovdan o'tkazishning ikkinchi bosqichi­bitta ma'lumotlarning raqamli yoki mantiqiy qiymatlariga qarab analitik formulalar yoki natijalarning raqamli qiymatlari bo'yicha hisob-kitoblarni tekshirishdan iborat. Malumot sifatida bir xil yoki yaqin formulalar uchun qo'lda yoki avtomatlashtirilgan hisob-kitoblar natijalari qo'llaniladi.
PM ning har qanday sinov usullari, ko'proq yoki kamroq darajada, muayyan ob-turdagi xatolarni aniqlashga qaratilgan.­Boshqarish oqimlarining tes-Ting usullari asosan­PM tarkibida xatolar paydo bo'lishi va axborotni qayta ishlash yo'nalishlarida amalga oshirilishi uchun mo'ljallangan. Ma'lumotlar oqimlarini sinab ko'rish usullari­dasturlarning hisoblash qismida va­turli ma'lumotlarning o'zgaruvchanligi jarayonlarida xatolarni aniqlashni ta'minlaydi. Ushbu test usullari dasturlash tillarida dasturlarni taqdim etishda va ip­-da ularni efirga uzatilgandan so'ng ob'ekt (mashina) kodida to'ldirishda ishlatiladi. Bunday­ентация позволяет упорядочиori entation, birinchi navbatda, xatolarni bartaraf etish uchun usullarni qo'llash tartibini tartibga solishga imkon beradi ющихся­dasturlarning to'g'riligiga, shuningdek­, meto dah-ga e'tibor qarating, bu esa o'z navbatida zarur bo'lgan sifatga minimal xarajatlar bilan erishish uchun maxsus muammolarni hal qilishga imkon beradi.
Sinov spetsifikatsiyalarining to'plami wto­ROE, dasturlarning kompleks protseduralari ketma-ketligi mazmuni va amalga oshirilishining mustaqil ta'rifi sifatida qaralishi mumkin­. PSni ishlab chiqish va qo'llab-quvvatlashda sinovlarning hayot aylanishi va rivojlanishi vaqt o'tishi kerak, Pa­o'zgarishlar dinamikasi va dastur matnlarining hayot aylanishi. Ularni amalga oshirish uchun testlar va skriptlar etarli bo'lishi va dasturiy komplekslarning tarkibiy qismlari matnlarining mazmunini to'liq aks ettirishi kerak, ammo boshqa shaklda. Ular PSdasturlari va ma'lumotlar funktsiyalari tavsifining yana bir shakli sifatida tahlil qilinishi va tahlil qilinishi kerak, bu ham nuqsonlar va xatolar bo'lishi mumkin. Shunday qilib, PS taqdimotining dasturiy (­Nuh protseduralari) shakli teng tarkib ularning o'zaro muvofiqligini tekshirish uchun skriptlar va testlar shaklida uning teng mazmuniga to'liq mos kelishi kerak. Shu bilan birga, dasturlarning mazmunini tavsiflashning ikkala shaklida ham nuqsonlar va xatolar mumkin, ularning o'rnini aniqlash va­uni bartaraf etish sinovning asosiy vazifasidir.

Shakl. 13.2
Yuqori sifatli dasturiy mahsulotni parallel ravishda ta'minlash.
­Talablariga tekshirish va dasturiy ta'minot prooftiro wok bilan chap yuqori sifatli dasturiy mahsulot paral программированием корректиро­ta'minlash uchun u ishlab chiqish va xususiyatlari va SCE­naria test tekshirish uchun tavsiya etiladi, usullari va e o'zgarishlar amalga oshirish uchun tekshirish uchun aniq tartib aksettiruvchi talablar (FIG. 13.2). Sinovning o'ziga xosligi­grammi ijrosi bo'lmagan talablarni amalga oshirishning izchilligi, ichki­nomuvofiqligi va to'liqligini tekshirish uchun ishlatilishi mumkin­. Dasturlarning kompleksiga, uning arxitekturasiga, mantiqiy komponentlarga va modullarga bo'lgan har bir talab uchun, spe testlarini sertifikatlash ishlab chiqilishi kerak, bu esa­keyinchalik komponentni ushbu talabni qondirish uchun sinovdan o'tkazish uchun to'g'riligini, etarliligini va qobiliyatini tekshirishni ta'minlaydi. Bunday o'zaro tekshirishFun ktsi com­ponents, talablari va test xususiyatlari aks­, ularning sifatini oshirish, nuqsonlarni kamaytirish, xatolar, neodno­qadriyatlar va qarama-qarshiliklar amortizatsiya.
Dasturlarni sinab ko'rishda, odatda, spetsifikatsiyadagi har bir talabetarli darajada to'liq va to'g'ri tasvirlanmaydi,­bu testlar bilan tekshirilishi mumkin. Tufayli ularning mumkin bo'lgan noaniqlik uchun bunday jihatlarga asoslangan test ishlab chiqish, bu dastur uchun har bir talab uchun emas, balki aniqlash mumkin, yoki­nymYT test tayyorlangan bo'lishi mumkin berilgan. Boshqa tomondan, har bir test uchun emas, balki PS funktsiyasi uchun etarli talab bo'lishi mumkin­. Test spetsifikatsiyasi­talablariga xususiyatlari va­PS tavsifi tegishli darajada o'zaro komponentlarini tekshirish uchun qo'shimcha con troll to'g'riligini ta'minlash kerak. Mustaqil­may, talablar spetsifikatsiyasi asosida test xususiyatlarini ishlab chiqish talablar sinov yoki tubdan sinov bo'lishi mumkin emas, nima aniqlash uchun asos yaratadi. Shunday qilib, talablar spetsifikatsiyasini tekshirish dasturiy ta'minot komponentlari va PS talablari xususiyatlarini tekshirish ikki maqsad bilan ishlatilishi mumkin (qarang: shakl. 13.2):

• 
  dasturlar majmuasida turli darajadagi dasturiy komponentlarning o'zaro aloqasi dasturlari va interfeyslarining matnlarini ishlab chiqish, dasturlash va tekshirish;
  
• 
  birgalikda muvofiqlashtirilgan test majmuasini yaratish ­kompleks dastur va komponentlar uchun talablarni aniqlash uchun spe dasturlarini amalga oshirishni o'zaro tekshirishni ta'minlaydigan komponentlar majmui uchun muvofiqlashtirilgan testlar majmuasini yaratish­.
  

Natijada, test uchun tre bomovanii xususiyatlari majmui ishlab chiqish va standartlar va для сквозной вери­yuqoridan pastgacha test talablariga texnik xususiyatlari, shuningdek, ular original tre mosligini to'g'ri aniqlash uchun tekshirish uchun uchidan uchgacha e'tiqod uchun dastur mazmunan ta'rifi ikkinchi etarli shakli sifatida qo'llabть boshlang'ich talablarga muvofiqligi ­-quvvatlash uchun foydalanish mumkin dastur matnlari va turli darajadagi ma'lumotlarning tarkibiy qismlariga. Ushbu Kie parallel o'zaro tekshiruv talablari va texnologik­stov dasturlari va test spesifikasiyalari­ko'plab ikkilamchi Defektlarini va PSDAGI xatolarni aniqlash va aniqlashga yordam beradi. Keyinchalik, bu test spetsifikatsiyalari­dasturiy komponentlarning talablarini bajarish uchun to'g'ridan-to'g'ri tes uchun ishlatilishi­kerak. Bundan tashqari, parallel va mustaqil rivojlanish, bir storoNY, dastur spetsifikatsiyasi va test xususiyatlari, shuningdek, ularni amalga oshirish bilan, boshqa tomondan, siz komponentlar va dasturiy ta'minot majmualari yaratish muddatlari kamayishiga olib keladi PS ish parallel qilish imkonini beradi.
Ushbu maqsadlarni amalga oshirish tekshirish va test o'tkazish turli usullar va mustaqil dasturchilar va testchilartomonidan использовать результа­amalga oshirilishi mumkin, bu sizning faoliyatingizning natijalaridan dasturiy tillarda taqdim etilgan va tes tillarida tasvirlangan dasturlarning mazmunini solishtirish uchun foydalanish imkonini­beradi. Dasturlarning tavsiflari va amalga oshirilishining xususiyatlari — shuningdek, dasturchilarning fikrlashlari-dasturlarning funktsiyalariva ijro tartib-qoidalariga asoslanib, существенно tes tiling skriptlarini yaratuvchilar tomonidan dasturlarning bir xil funktsiyalarini tavsiflash usullari va uslublaridan sezilarli darajada farq тестировщиками — sinov stsenariylarini yaratuvchilar ­qiladi. Ular­faoliyat tartibini, JSSTmumkin natijalari va PS ponents com o'zaro haqida aniq tartib ustida faoliyatini urg'u­beradi. Bu sozlash paytida paydo bo'lgan ikkinchi darajali nuqsonlarni aniqlash va bir xil dasturlarning tavsifini ikki usul va natijalarni taqqoslash yo'li bilan rivojlanish va qo'llab-quvvatlash sifatini oshirish imkonini beradi, chunki test sinovlari va dasturlarning matnlarini amalga oshirishda sahnada bir xil xatolar ehtimoli kam­.

1. 
   13.1. Jarayonlar va sinov vositalari
   Dasturiy komponentlarni sinash jarayonlari va vositalari
   

Pmning nisbiy soddaligi ularning ichki tuzilishini va dasturni bajarish uchun har qanday rshrutni batafsil tahlil qilish imkoniniberadi. Bu ikki sinov strategiyasini amalga oshirish imkonini beradi. tuzilishi va ma'lumotlar. Ushbu ikkita strategiya ikkita­meto ha test dasturlariga mos keladi: boshqaruv oqimlarini tahlil qilish va ma'lumotlar oqimlarini tahlil qilish usuli. MetOdes bir-birini to'ldiradi va har bir kishi disk raskadrovka dastlabki bosqichlarida ustunlik qilishi mumkin, bu tovush turiga va sinov shartlariga qarab­.