Tekshirish, sinov

Matematik modellar yoki prototiplarda, kompyuterda ealize qilingan p, mos yozuvlar qiymatlarini va murakkab dasturlarning ishlashi uchun zarur bo'lgan xususiyatlarni eng samarali tarzda olish. Ehtimol­, ikkita turdagi modellarni ishlab chiqish mumkin:­masalan, cheklanganresurslar tufayli ob'ekt kompyuterida haqiqiy bo'lmagan va mos yozuvlar qiymatlarini tezroq olish uchun soddalashtirilgan, umumlashtirilgan modellar asosida yanada murakkab va aniqroq algorit moi asosida. Wto­rogo turi modellari, tabiiy ravishda, natijalarning kamroq potentsial­aniqligi bilan tavsiflanadi, ammomurakkablikni kamaytirish uchun bla Godar, ular kamroq xato bo'lishi mumkin.
Haqiqiy dasturlarning ishlash natijalari, avvalgi prototiplar yoki uchuvchi loyihalar PS­ning vaem versiyasini использования в качестве эталонов при тестирова­olib tashlash, sinov tadqiqot institutiuchun mos yozuvlar sifatida foydalanish uchun standart qiymatlarni olishda tasdiqlangan dasturlar tomonidan ishlatiladigan dastlabki ma'lumotlarning identifikatsiyasini va takrorlanishini­ных, используемых проверяемыми программами при получении эталон­ta'minlashni talab qiladi. PS ni yaratishning so'nggi bosqichlarida, ba'zi hollarda mos yozuvlar qiymatlarini rasmiylashtirish oxiriga etkazilmaydi vaishlab chiquvchi yoki mijozning norasmiy vakili bu Lona sifatida ishlaydi. Barcha holatlarda­takroriy test seanslarini ta'minlash uchun test sinovlari sifatida ishlatiladigan nia qiymatlarini aniqlash va saqlash tavsiya­etiladi.
Olingannatijalarni taqqoslashda, tekshirilayotgan dasturlarning standartlarga muvofiqligi uchun ishlashi критерии оценки допус­dasturning to'g'riligi darajasi bo'yicha mos yozuvlar va qarorlardan aniq sapmalarning tolerantligini baholash mezonlaridan foydalanishi kerak. Toleranslar miqdori tekshirilayotgan algoritm turiga, dasturlarning to'g'riligini tekshirish usuli va bosqichiga bog'liq. Ba'zi qarorlarni qabul qilish sxemalarini amalga oshiradigan oddiy mantiqiy algoritmlar uchunрешений, при ана­, sinov natijalarining asosiy Lisa odatda sinovdan o'tgan va mos yozuvlar qarorlarining mutlaq identifikatsiyasining deterministik mezoniniva bir xil manba ma'lumotlarini ishlatadi. Hisoblash algoritmlarida va murakkab mantiqiy algoritmlarni tekshirishda pricho standarti bilan taqqoslash statistik­jihatdan amalga oshiriladi.
Katta PSLARDA sinov uchun komponentlarni ajratish va tartibga solish strategiyasi ularningrxitekturalariga va tayyor komponentlarning haqiqiy tarkibiga bog'liq. Tre-dan pastga qarab test­бований qilish bilan, u CESS haqida hisoblash dasturlari bilan­boshlanadi. Dastlab, texnik vazifalarning dastlabki talablariga muvofiqligi uchun yuqori ierarxik darajalarda joylashtirilgan funktsional vazifalarni hal qilish dasturlari va dasturlari kompleksining boshqaruv yadrosi sinovdan­o'tkazildi. Ular ketma-ket, tayyor­bo'lgach, ular bilan bog'lanadi ear quyi ierarxik darajalarning tarkibiy qismlari. Ushbu strategiyaсверху вниз, yuqorida yoki pilot dasturiy ta'minot tizimlarining versiyalarida ishlaydigan tayyor sinovdan o'tgan dasturiy komponentlar va/yoki modullarning to'liq to'plami mavjud bo'lganda, yuqoridan pastgacha samarali bo'ladi­.
Agar ba'zi past darajadagi dasturlar ishlab chiqilmagan yoki­etarlicha sinovdan o'tmagan bo'lsa, ularning o'rniga dasturiy taqlidchilar vaqtincha ulanishi mumkin - "fişler". Natijada, dastlabki bosqichlarda sinovdan­o'tkazilganda, gramm yoki kompleks haqida funktsional guruhlarning modellariмных ком­sinovdan o'tkaziladi. Bunday sinov strategiyasining afzalligi­tarkibiy qismlar bilan bog'langanligi sababli test manbalarining barqaror rivojlanishi va rivojlanishi hisoblanadi. Biroq, susturucular bilan dastur guruhlarini sinab­глушками может требовать больших затрат на обнаko'rish, yangi ishlab chiqilgan va ulangan modullarda eng oddiy xatolarni nazorat qilish uchun katta xarajatlarni talab qilishi mumkin, agar ular bundan oldin avtonom tarzda etarli darajada sinovdan o'tmagan bo'lsa.
Muntazam ortib borayotgan testda, birinchi navbatda,­pastki ierarxik x ning dasturiy komponentlari va/yoki modullari haqidaх
ularni chaqiradigan modullar ketma-ket ulangan dasturlarning funktsional guruhidagi darajalar. Ushbu modullarda test­shuningdek, eng oddiy dizaynlar, o'zgaruvchilar va axborotni ishlatish yo'llari bilan boshlanadi­. Shungako'ra, ip-­ning foydali sinov usullari va aniqlangan xatolar turlari izchil ravishda yolg'ondir. Sni­zu-up dasturlari kompleksidagi tarkibiy qismlarning ketma-ket qurilishi bunday guruhlarning­ish faoliyatini nazoratqilish imkonini­beradi. Bunday strategiyadagi asosiy qiyinchiliklar har bir yangi komponentni yuqori darajaga ulab, doimiy yangilanish va test to'plamlari sonini ko'paytirish zaruriyati hisoblanadi. Ulardan biri­временно углубляется тестирование pastki ierarxik darajadagi tarkibiy qismlarni vaqtincha chuqurlashtiradi, bu ularning sifatini muntazam oshirishga yordam beradi.
Pastga qarab va yuqoriga qarab test faqat­modullarni yoki kichik komponentlarni tahlil qilish sxemasi bilan emas, balki­альными целями всего проgramm haqida katta komplekslarni sinovdan o'tkazish bo'yicha barcha maqsadlar bilan ham farqlanadi­. Pastga tushishning asosiy maqsadi modul va dasturiy komponentlarga bo'lgan talablarni tekshirish va ularning har birini Real vaqtda mustaqil ravishda sinovdan o'tkazishda o'z sifatiga erishishdir. Shuм в процессе bilan birga, parchalanish jarayonida komponentlarning kerakli sifati va ularning chuqurlarning asl talablariga muvofiqligi ta'minlanishi kerak­. Yuqori testda asosiy vazifa — обеспечить ук­рупнение, интеграциюtalab qilinadigan dasturlarning kompleksidagi muammolarni hal qilish uchun barcha komponentlarning jinoyat protsessini, integratsiyasini va to'g'ri o'zaro ta'sirini ta'minlashdir. Shu bilan birga, ilgari tayyorlangan ponentlarning yuqori sifati taxmin­qilinmoqda. Ushbu bobda taqdim etilgan ushbu asosiy­test sinovlari haqidagi qismlar shakl bo'yicha sxematik tarzda birlashtirilgan. 13.5. Shu kabi sxema­mu PS ning kruplarini sinash strategiyasini rejalashtirishda yodda tutish foydalidir­.
Usullari va texnologik xususiyatlarini hisobga olgan holda, ushbu­bo'limda quyida keltirilgan dasturiy komponentlarning­тельно рассматриваются задачи восходящего тестироushbu iti quyidagi ob'ektlarning ko'tarilgan testiro vania muammolarini hal qiladi.
- dasturiy va axborot modullari, dastur guruhlari va leks dasturiy komp'yuterlari uchun talablarning rasmiylashtirilgan­spetsifikatsiyasi;

• 
  dasturiy ta'minot modullari, dasturlashtirilgan va dasturlarda boshlang'ichmatnlar darajasida­va kompyuterlarni amalga oshiruvchi ob'ekt kodlari darajasida test qilishga tayyor;
  
• 
  dasturiy modul va komponentlarning avtonom guruhlari­, tugatilgan funksional vazifalarni hal qilaman;
  
• 
  dasturiy vositalar tarkibidagi funktsional komponentlar.
  

Shakl. 13.5

Задача J spetsifikatsiyasini sinovdan o'tkazish vazifasiй turli xil ierarxik urovlarning talablari bo'yicha dasturiy va boshqa shakllantiruvchi komponentlarga belgilangan funktsiyalarning to'liqligi va o'zaro muvofiqligini tekshirishdan iborat­формационным компонентам требованиями разных иерархических уров­(qarang: p.13.1). Bundan tashqari, testtopshiriqlariации на входах и выходах взаимодейству­dastur modullari va dastur guruhlari o'rtasidagi o'zaro bog'liqlikning kirish va chiqishlarida, shuningdek ma'lumotlar bazasida axborot modullarining tavsiflari bilan mosligini tekshirishni o'z ichiga oladi. Spe tekshiruvlari natijasida­цификаций должна быть обеспечена их корректность и согласованность в пределах обобщенbarcha PS funktsiyalari va uning barcha tarkibiy qismlarining o'zaro ta'siri uchun talablarning umumiy tavsifi doirasida ularning to'g'riligi va mustahkamligi ta'minlanishi kerak­. O'zaro munosabatlarni sinab­ko'rish murakkab yoki dastur guruhining talablariga mos ravishda amalga oshiriladi. Ierarxik darajalarda ketma­но прослеживаться обеспечение программ верхнего уровня реализованны­-ketlik bilan, lekin yuqori darajadagi dasturlarning ta'minlanishi past darajadagi dasturlarning funktsiyalari bilan amalga oshiriladi, belgilangan dasturiy ta'minot spetsifikatsiyalari­bilan belgilanadi. Shu bilan birga, ushbu funktsiyalarning to'liqligi axborot modullarining texnik xususiyatlari bilan tekshiriladi (qarang: shakl. 13.2).

Процесс Dasturiy modullarni sinovdan o'tkazish jarayoni kiruvchi axborot modullarini qayta ishlashning to'g'riligini tekshirish­va talablarning spetsifikatsiyalarida ko'rsatilgan funktsiyalarga muvofiq ma'lumotlar chiqishida chayqalishdan iborat.ть струк­Sinovning ushbu bosqichida eng ko'p mutaxassislar ishtirok etganligi sababli, ko'pincha juda yuqori malakaga ega bo'lmagan holda, avtomatlashtirish vositalarini qo'llash usullarini iste'mol qilish va tartibga solish usullari alohida ahamiyatga ega.­ков, переключателей и т.д. Так как на этом этапе тестирования участвует наибольшее число специалистов, зачастую не очень высокой квалифика­ции, особое значение приобретают методики тестирования и регламенти­рование применения средств автоматизации.
Har bir datchikdagi ma'lumotlarni qayta ishlash yo'nalishlari­va ularni amalga oshirishning to'g'riligi dastlabki ma'lumotlarga qarab tekshiriladi. Sinovning to'liqligi sinov uchun marshrutlarni ajratishmezonlari­va spetsifikatsiyalar talablari va JSST­tomonidan dasturning bajarilishi mumkin bo'lgan yo'nalishlarini qoplash darajasi bilan belgilanadi. Har bir alohida ildiz marshrutida­amalga oshirilgan hisob-kitoblarning to'g'riligi tekshirilishi kerak­, unda aniq dastlabki ma'lumotlar mavjud emas. Shu выяbilan birga, ma'lumotlarni qayta ishlashning maxsus yo'nalishlarini amalga oshirishda to'liq bo'lmagan kompozitsion xatolar yoki noto'g'ri shartlar, shuningdek, o'zgarmaydigan konvertatsiya xatolar mavjud. Har bir tanlangan marshrut uchun dastur matnida tegishli testni yaratishda uni amalga oshirishni belgilaydigan va ulardan­foydalanadigan shartlar majmui hosil bo'ladi. Marshr­tovning bunday taqdimoti marshrutlarni joylashtirish bo'yicha erishilgan darajani muntazam ravishda nazorat qilish imkonini­beradi va ma'lum darajada­tasodifiy bo'lmagan tanlangan marshrutlarni tasodifiy ishga tushirishdan himoya нетестировавшихсяqiladi.