Tekshirish, sinov

Исходные Test natijalarini dastlabki bosqichlari

Shakl. 13.6
Ushbu bosqichlarda komponentlarni sinovdan o'tkazishning murakkabligi, asosan, guruhlardagi individual mutaxassislar tomonidan bir marta ishlash va disk raskadrovka jarayonidan kelib chiqadi. Birlamchi rejalashtirilgan lo­gika alohida komponentlarni bir-biri bilan bog'lash va ularni operatsion tizimga ulash har doim ham­ke-ning kechikishi va ularning ayrimlarini avtonom disk raskadrovka tufayli amalga oshirilmaydi. ­Muayyan komponentlarni sinab ko'rishning maqsadga muvofiqligi ular bilan boshqa o'zaro ta'sir qiluvchi dasturlarni birlashtirishga tayyor bo'lmasligi mumkin.­готовностью к сопряжению с ними других взаимодействующих программ.
Ushbu bosqichlarda amm dasturlarining tashqi muhit ob'ektlari va boshqa o'zaro ta'sir qiluvchi guruhlari taqlid qilinishini ta'minlash uchun­модействующих групп программ на этих этапах используются преимуще­tegishli testlarning dastlabki deterministik nazorat vazifalari yoki xususiy generatorlari qo'llaniladi. Ushbu test generatorlari­alohida modul yoki dastur guruhlari sifatida ishlab chiqilishi va ishlab chiqarilishi tavsiya etiladi, bu­xususiyatlarbir xil texnologik kompyuter va disk raskadrovka komponentlari bilan bir xil operatsion muhitda. Ular bilan­birgalikda­test natijalarining alohida natijalarini ishlab chiqish va umumlashtirish bo'yicha o'z dasturlari guruhlariga mos keladigan maxsus dasturlar­щham amalga oshiriladi va faoliyat ko'rsatadi.
Asosiy, funktsional komponentlarni komplekslashtirgandan so'ng, ularning sinovlari va sinovlari PS tarkibida boshlanadi. Ular uchun malakaviy­testiro vania va Real vaqtda PS testlarining quyidagi bosqichlari eng xarakterlidir (qarang: pis. 13.6):

• 
  modellashtirish stendiga yoki test generatorlariga ko'ra, tashqi­muhitning ayrim ob'ektlarini boshqaradi;
  
• 
  ayrim tashqi muhit ob'ektlarining simulyatorlari va foydalanuvchi operatorlaridan haqiqiy ta'sirlari bilan;
  
• 
  to'liq etarli haqiqiyyoki imit va tashqi muhitda va foydalanuvchi operatorlarining haqiqiy ta'siri bilan(qarang: lek­Tsiu 14).
  

Sinovning barcha bosqichlarida­, dasturlarning ishlashi haqida to'g'ridan-to'g'ri operatsiyalar bilan bir qatorda, yana ikkita muhim guruh­mavjud. Birinchi guruh sinov jarayonlarini metodik ta'minlash va testlarning avtomatlashtirilgan genini yaratish bo'yicha ish­. Вторая группаIshlarning ikkinchi guruhi sinov natijalarini qayta ishlash va dasturlarning ishlash sifatining erishilgan xususiyatlarini to'g'ri baholash imkoniyatini ta'minlashi kerak.

Sinovlarni ishlab chiqarish va sinov natijalarini qayta ishlash vositalari uch turga bo'linishi mumkin (qarang: shakl. 13.6).­Statikada avtomatik sinovdan o'tkazishning bir xil vositalari odatda Avto nomno dasturlari guruhlarini disk raskadrovkaqilishni va boshqa mi komponentlari bilan o'zaro aloqada bo'lishini ta'minlaydi­. Haqiqiy vaqtda tashqi muhitni simulyatsiya qiluvchi vositalar ko'pincha funktsional komponentlarni va umuman PS ni sinab ko'rishga qaratilgan. Sinov generatorlarining yana bir turi ma'lumdarajada va haqiqiy tashqi muhit ob'ektlaridan foydalanadi. Dastlab­, bu kimy ob'ektlari operator-foydalanuvchilarning haqiqiy faoliyati bilan shug'ullanadigan stendlarni taqlid qiladi(qarang: ma'ruza 14).­Keyin sinov nuqtalarining iplari tashqi ob'ektlarning haqiqiy uskunalariyoki ularning apparat analoglari komplekslari bo'lishi mumkin.
Ko'rib chiqilgan sxema yagona apparat platformasida joylashtirilgan dasturlarning kompleksini sinab ko'rish va sinovdan o'tkazishga qaratilgan. Tarqalgan mijoz-server tizimlarini yaratishda возникают дополнитель­, qo'shimcha, judamurakkab sinov vazifalari paydo bo'ladi. Dasturiy ta'minot, mijozlar­va serverlarning apparat platformalarida­kuch ishlatish, yuqorida ko'rsatilgan to'liq grammda avtonom tarzda sinovdan­o'tishi va keyinchalik ularning o'zaro ta'siri bo'lishi kerak. Dasturiy kompleksning mijoz va server qismlarining bu o'zaro ta'siri butun telekommunikatsiya tizimining avtonom tekshiruvi­va uning sifatini kafolatlash orqali tayyorlanishi kerak. Shundan­so'ng, meny ning haqiqiy vareida murakkab testning uch bosqichidanмени, представ­so'ng, shakl bo'yicha zig'irni taqdim etishni takrorlash kerak. 13.6, lekin har ikkala funktsiyaning to'liq o'zaro­ta'siri bilan mijoz-server tizimining alohida komponentlari.

4. 
   Процессы тестирования структуры
   Dasturiy komponentlarning tuzilishini sinab ko'rish jarayoni
   

Yuqorida aytib o'tilganidek (qarang: p. 13.1), grammlik birliklar haqidagi to'g'riligini baholash­граммных срikki turdagi ish bilan ifodalanishi mumkin:

• 
  tekshirish-прослеживанием сверху вниз quyidagi darajadagi tizim va PS dasturiy komponentlari uchun talablarni amalga oshirish uchun yuqoridan pastgacha ketma-ket kuzatish­;
  
• 
  определением полноты покрытия тестамиularning strukturasi testlari va­верками PS va uning tarkibiy qismlari uchun dastlabki talablarni bajarish uchun verkami bilan qoplashning to'liqligini aniqlash.
  

Покрытие тестами может оцениваться по степени охвата тестирова­нием Sinovlarni qamrab olish sinov dasturining qamrovi yoki dastur turlarining struk testlarini qoplash darajasi bo'yicha baholanishi mumkin­туры. Prog ramkalari uchun talablar to'plamini kuzatish va qoplashпрог, PS ning to'g'ri ishlashiga erishish uchun ularning ta'sirini rasmiylashtirish va baholash qiyin­. Mavjud tajriba shuni ko'rsatadiki, bunday tahlil norasmiy tahlil uchun juda mos keladi, ammo­dasturlarning tuzilmalarini sinovdan o'tkazishdan ko'ra to'g'riligiga nisbatan zaifroqbo'ladi. Shuning uchun, quyida e'tibor sinov baholash va dasturiy ta'minot tarkibiy qamrovi to'g'riligiga qaratilgan.
Tahlil qilish va baholash test dastur tuzilishi­vertvo PS faoliyati davomida eng og'ir mi tergov tahdid kamchiliklarini va xatolarni aniqlash­следствияuchun qoldiradi.­Qiyin dastur komplekslarini sinovdan o'tkazish uchun cheklangan imkoniyatlar va vaqt resurslari ularning maksimal to'g'riligini ta'minlash uchun mavjud resurslardan, birinchi navbatda,­eng xavfli xatolarning og'zidan oqilona foydalanish zarurligiga olib keladi. Gram haqida strukturaning qismlarini sinab­ko'rish ulardagi xatolarning to'liq etishmasligini kafolatlamaydi, ammo­ularning ehtimoli keskin kamayadi. Fragmanlarni sinab ko'rishda o'tkazib yuborilgan­politsiya tuzilmalari невыявленные оdasturlarning to'g'riligiga salbiy ta'sir ko'rsatadigan aniq bo'lmagan chiziqlarni o'z ichiga olishi mumkin. Shunday­qilib, dasturiy ta'minotni tizimli qoplashni sinovdan необходи­мымo'tkazish ularning nisbiy to'g'riligini ta'minlash uchun zarur shartdir, ammo недостаточно для полного обеспечения корректностиularning ishlashining to'g'riligini to'liq ta'minlash uchun etarli­emas. Shu bilan birga, test va grammi haqida test tuzilishi qamrovi­eng yaxshi formalization­dasturi xatolar yo'qligi burun to'g'riligiga va ehtimollik erishilgan baholash uchun va eng xavfli e xatolar bartaraf etish imkoniniberadi, xavf­yo'qligi eb yoki PS chiqish kerakli natijalar to'liq buzilish.
Amalda, boshqaruv oqimlarining tartibli tahlili bo'lmasa,­dasturdagi ba'zi marshrutlar sinovdan o'tkazilganda (50% gacha) o'tkazib yuboriladi, shuninguchun dastur tuzilmasini sinab ko'rishda hal qilinishi kerak bo'lgan vazifa gramma информации о полной совокупности реальных маршрутовva uning tizimli murakkabligi haqida har bir ijro etuvchi haqiqiy yo'nalishlarning to'liq to'plami haqida ma'lumot olishdir­.­Gramalar bo'yicha qoplamaning bu ko'rinishidoimiy ravishda marshrutlarni tekshirishni nazorat qilish imkonini beradi va ma'lum darajada, individual tekshirilmagan marshrutlarni va ularning elementlarini tasodifiy o'tkazib yuborishdan himoya нетестировавшихсяqiladi.
Dasturning to'liq tizimli qamrovi testlar­bilan o'zaro ta'sir qiluvchi onents komp'yuterlariningsoni, mi komponenti o'rtasidagi aloqalar­soni va ularning o'zaro ta'sirining murakkabligi aniqlanadi. Dasturiy modulning strukturaviy murakkabligi va­to'g'riligi dasturning kattaligiga (matn satrlari soniga) bog'liq emas, balki alohida yo'llar soniga bog'liq-dasturda mavjud bo'lgan ijro etuvchi yo'nalishlar. Zaminning tizimli to'g'riligini ta'minlash uchun chegarada­berilgan qayta ishlashning barcha yo'nalishlari­dasturni yaratishda tekshirilishi kerak va shuning uchun opre­uni sinovdan o'tkazishning murakkabligini baham ko'radi.
Ba'zi hollarda, u etarli, lekin­ty sinov vaqt talab baholash uchun dasturiy ta'minot tarkibiy murakkabligi foydalanish ip yuqori etarliligiоценки трудоемкос­ти тестирования, вероятности , oshmagan xatolar ehtimoli va umuman dasturiy ta'minot modullari va komponentlarini rivojlantirish xarajatlarini tasdiqladi. Dasturiy ta'minot Modu Lei tizimini sinovdan o'tkazishning murakkabligiлей можно оценивать по чис­ularni tekshirish uchun zarur bo'lgan marshrutlar soni yoki undan to'liq — dasturning barcha yo'nalishlarini to'ldirish uchun testlarda o'rnatilishi kerak bo'lgan shartlarning umumiy soni bo'yicha baholanishi mumkin­. Sinov mezonlarini, test qoplamalarini tahlil qilish va tyeyiladigan marshrutlarni tanlash­дить, используя dasturlarning grafik modellarini qo'llash orqali qulay tarzda amalga oshiriladi. ­Dastur tuzilishini sinab ko'rishni rejalashtirganda, birinchi navbatda, ikkita vazifa paydo форми­bo'ladi, sinov uchun marshrutlarni ajratish mezonlarini shakllantirish va tanlangan marshrutlarni­tartibga solishning bir qator teglarini tanlash.