Tekshirish, sinov

Dasturiy modulning strukturaviy murakkabligi может быть рас­считана по числу маршрутов dasturda m x marshrutlari soni_х va har bir z-ro marshrutining murakkabligi bilan birgalikda ko'rib chiqilishi mumkin, bu ko'rsatkichlar Е_хdasturiy modulni (13.1) tekshirish uchun e x testlarining minimal murakkabligini aniqlaydi­va uni ishlab chiqish va sinovdan­пуска логической o'tkazishning murakkabligi va dasturda mantiqiy xato boshlash ehtimoli. Dastur modullari PS ning eng katta tarkibiy qismlari bo'lib, resurslarning umumiy xarajatlarini sinovdan o'tkazishni talab qiladi. Har bir modulni sinab ko'rish xarajatlari murakkablikka to'g'ridan-to'g'ri proportsionaldir­, bu uning turiga va hisoblash hajmiga bog'liq dasturiy modulni sinab ko'rishda parametr qiymatlari sonini aniqlash va tahlil qilish kerak:

/ = 1 y = 1
Modulni sinab­ko'rish uchun resurslarning umumiy xarajatlarixdagi murakkablikning qiymatiga to'g'ri keladi_хva har bir test — C ning OSD bilan bog'liq xarajatlarini hisobgaозда­olgan holda quyidagi so'zlar bilan belgilanadi:
(13.4)
> = 1 y = 1
Значение множителя C multiplikatorining qiymati sinov jarayonini avtomatlashtirish va sinovlarni ishlab chiqarish darajasiga bog'liq. Yuqori avtomatlashtirilgan tizimlarda test ma'lumotlarini tayyorlash va tahlil qilish uchun qo'lda mehnat xarajatlari kamayadi, ammo sinovlarni ishlab chiqarish va qalinlashtirilgan natijalarni avtomatik qayta ishlash uchun zarur bo'lgan mashina vaqtining narxi­oshadi. Ushbu omillarga qarab, C multiplikatorining qiymatlari bir necha marta farq qilishi mumkin va ular har bir sinov avtomatlashtirish tizimi uchun eksperimental tarzda aniqlanishi kerak.
Davrlarini o'z ichiga olgan sinov dasturlari murakkabligi. Dasturdagi­qaysi tsikllar ularning qalinligining murakkabligini sezilarli darajada oshirishi­mumkin. To'liq, keng qamrovli testтывать про­tsikldagi har bir marshrutning aylanishi haqida tsiklning barcha mumkin bo'lgan yinelemelerinde va biz dasturlarning asiklik qismlari yo'llari bilan barcha tsikllarning kombinatsiyalarida bo'lishi kerak.­­Dasturning pastki qismidagi yo'llarning soni M₃ = 1 ekanligini soddalashtiraylik. So'ngra nqalay majmui marshr­tovu m m x har bir yo'nalishi 2 biriktirilgan bo'lgan dasturning yuqori asiklik qismi va m 1 yo'nalishi guruh barcha yo'nalishlar to'liq to'plamidan iborat₂, в которой к каждому маршруту из М_х..2..3... tsiklning iteratsiyasi (aylanishi). Shu bilan birga, har bir iteratsiyatsya tomonidan tsiklning tanasining ichki yo'nalishlaridan kamida bittasi amalga oshiriladi.
Misol uchun, uchta ichki marshrutga ega bo'lgan beshta yinelemani (burilishlarni) bajarishni talab qiladigan bir tsiklga ega bo'lgan grafik uchun, shuningdek­, tsikldan o'tgan = 10 asiklik marshrutlarni ushlabturish uchun to'liq sinov uchun marshrutlarning umumiy soni m = (3 x 5) x 10 = 150. Har qanday omil (tsikldan o'tadigan mustaqil asiklik marshrutlar soni, tsikl tanasining ichki yo'nalishlari soni yoki uning yinelemalarisoni) ortib­borayotganida, ularning mahsuloti qisman o'sib boradi va shuning­uchun nia testining murakkabligi. Shuning исчерпывающее тестирование реальных сложных про­uchun, tsikllar bilan haqiqiy murakkab grammlarni to'liq sinovdan o'tkazish deyarli mumkin emas.
Tsiklni sinovdan o'tkazishning murakkabligi uning tuzilishi va parametrlari bilan ta'sirlanadi: tsikldagi marshrutlar soni va tsiklning yinelemalari soni. Eng oddiy tsiklning haqiqiy ishlash dinamikasida uning iteratsiyasi­mi kamida uchta turga bog'liq bo'lishi mumkin.
- tsiklning turli yinelemelerinde, tsikl tanasining barcha mumkin bo'lgan yo'llari mustaqil ravishda amalga oshiriladi;

• 
  tsiklning barcha yinelemelerinde, tsikl tanasining bir xil yo'nalishi yoki ularning ma'lum bir ketma-ketligi amalga oshiriladi;
  
• 
  tsiklning turli yinelemelerinde, semantik bog'lanishlar mavjudligi sababli, tsiklning tananing s yo'nalishi amalga oshiriladi,­bu ma'lumotlar yoki iteratsiya raqamidan olinadi.
  

При зависимости первого вида,Eng kam uchraydigan birinchi turga bog'liq holda, tsikl tanasining barcha ichki yo'nalishlarini har bir iteratsiya soni bilan birgalikda to'liq qidirish kerak bo'ladi. Bundayholda­, tsikl sinovlarining murakkabligi ikkala parametr bilan bir vaqtning o'zida aniqlanadi: tsikl­tanasining yo'llari soni va yinelemelerin soni va­ty keng qamrovli sinovlarning murakkabligiga yaqinlashadi. Ikkinchi turga qarab, tsikl tanasining marshrutlari soni deyarli tsiklningyolg'onchiligiga ta'sir qilmaydi. Opre­bo'luvchi­(masalan, kerakli aniqligini hisobga olgan holda) tsikli organizmida test nia hisoblash uchun zarur iteratsiya sonini bo'ladi. Uchinchi da, eng keng tarqalgan qaramlik sinov murakkabligi baholash qachon aniqlash, menвляется не число tsikli yinelemelerin sonini, lekin tsikl tana yo'nalishlar sonini emas. Tsiklik tuzilmalarning murakkabligini eng oddiy baholash­, tsikl tanasining yo'nalishlarini haqiqiy belgilash tartibi iteratsiya soniga bog'liq emasligini taxmin qilishda tavsiya etiladi. Ushbu slu­choyida, tsiklik tuzilmalarning yolg'onchiligidan baholashda, tsikllarning yinelemelerini tekshirishning minimal talab qilinadigan soni nuqtai nazaridan yondashuv konstruktiv hisoblanadi.
Для оценки Tizimli test­asikliches eng oddiy ko'chadan bilan mantiqiy dasturlarni murakkabligini baholash uchun­, u ip kriterii tekshirish belgilash uchun tavsiya etiladi. Birinchi mezonga ko'ra ациклическая часть про­, grammning asiklik qismi tsikldan o'tadigan marshrutlarni o'z ichiga olgan, uni loyqalanadigan va­tsiklning tanasining mini-mal qoplamasini tashkil etadigan minimal miqdordagi yo'nalishlar bilan qoplanadi. Bundan tashqari, Ruth marshi qoplamaga qo'shiladi­, bu esa pastadir davrini yopuvchi kamonni o'z ichiga oladi. Atsikning ikkinchi mezoniga ko'ra­, dasturning bir qismi dasturning asiklik­qismining murakkabligiga teng bo'lgan testlar soni bilan tekshiriladi. Shu bilan birga, unga qo'shni bo'lgan barcha tsikllar har bir marshrutga qo'shiladi.Har bir tsiklning roveri juda ko'p yinelemalarni o'z ichiga olgan bir marshrut bilan amalga oshiriladi, tsiklning tanasining murakkabligi nima va tsiklning tanasi chiziq bilan qoplangan­, ammo mustaqil yo'nalishlar.
Bunday baholashlar bilan hal qiluvchi omillar­tsiklning tanasi haqida to'liqlik bo'lib, uningyopilishi va ochilishini bildiradi. Ushbu Krit­Riyah bilan, tsiklning murakkabligi, uni­asiklik lentali substrat bilan tenglashtirish orqali baholash oson. Misol­uchun, bir kirish nuqtasi va bir chiqish nuqtasi bilan ekvi valent tsikli ikkinchi mezonlar ketma-ket ulangan barcha liniyalarni o'z ichiga olgan chiziqli subgraf­bo'ladi, lekin tsikl tanasining mustaqil yo'llari, chiqish nuqtasi bilan kirish nuqtasini bog'laydi. Bunday ekvivalent asiklik subgraf ushbu mezonga muvofiq grafning asiklik qismini qoplashda har bir marshrutga qo'shiladi.
Murakkab tuzilishga ega bo'lgan ichki tsikllarni qo'llashda va­PWM og'rig'i bilan tsikldagi tanadagi filiallar soni sinovning murakkabligi keskin oshib­boradi va dasturda saqlab­qolish ehtimoli ortadi aniqlanmagan xatolar. Biroq, oddiy tuzilishga ega bo'lgan tsikllar приводят к относи­sinovlarning umumiy murakkabligining nisbatan kichik o'sishiga olib keladi. Shuning uchun, dasturiy ta'minotni ishlab chiqish jarayonida strukturadagi tsiklik komponentlarni maksimal darajada soddalashtirish kerak, bu esa ko'plab­choylarda sinov paytidadasturiy modullarning to'g'ri darajasini aniqlaydi.
Ifoda (13.3)­u sinov uchun eng yuqori xarajatlarni talab­, va yaratish va keng ko'lamli dasturiy ta'minot komplekslarini sinov modul cheklangan resurslarni Rats onalnogo tarqatish murakkab modul aniqlash uchun foydalanish tavsiyaetiladi. Ba'zi mod­li, chunki ularning yuqori murakkabligi va har doim cheklangan katta xarajat muhtoj etarli sinov bo'lishi mumkin. Dasturiy modullarni sinovdan o'tkazish uchun cheklangan resurslar­водит к ularning tizimli murakkabligini tenglashtirish va har bir modulning murakkabligiga muvofiq tekshirish xarajatlarini ajratishning maqsadga muvofiqligini ta'minlaydi. Ayniqsa, murakkab modullar kichikroq va soddalashtirilib, ularning tuzilishini qayta tiklash kerak, shuning uchunhar bir alohida modulda va ularning uzunligidagi yo'nalishlar soni kamayadi.
Dasturiy komponentlarni sinovdan o'tkazishning murakkabligi (­dastur guruhlarining vazifalari) modullarning umumiy murakkabligi va boshqaruv va axborot bo'yicha modullararo aloqalar bilan belgilanadi. Har bir moul­dasturguruhiga va qisman guruhning bir qismi sifatida mustaqil ravishda sinovdan o'tishi kerak. Modullarni sinovdan o'tkazish uchun xarajatlar

dastur guruhlari D_{k < 1 koeffitsienti bilan barcha kiruvchi modullarni sinovdan o'tkazish uchun nisbatan umumiy xarajatlarni hisobga olishlari kerak} < 1, завися­щим . Agar modullar avtonom tarzda sinovdan o'tkazilmagan bo'lsa (masalan, pastga qarab testda), d_k = 1 va har bir modulni sinab ko'rish xarajatlari­dastur guruhining tadqiqot instituti tomonidan to'liq sinovdan o'tkaziladi. Modullarni diqqat bilan avtonom sinovdan o'tkazish bilan D_k = 0,1—0,01, ya'ni PS tarkibida modullarning har birini sinab ko'rish uchun xarajatlar bir necha­tsentga teng.

4. 
   Sinov dasturlari murakkabligi baholash misollar
   программ
   

Yuqoridagi ifodalarmarshrutlar sonini va sinovning murakkabligini (barcha ajratilgan marshrutlarni qamrab olish uchun zarur bo'lgan testlar sonini) baholash uchun ishlatilishi mumkin. Sinovni rejalashtirish uchun ushbu xususiyatlarning dasturda operatorlar soniga bog'liqligini aniqlash kerak,uning tuzilishi va kri­teriev marshrutlarni ajratish. Ushbu muammoni PS ning turli sinflarida ishlatiladigan haqiqiy modul dasturlarida tegishli xususiyatlarni hisoblash orqali eksperimental­tarzda hal qilish mumkin.­щих зависимостей сложности тестирования программ целесообразно вы­Agar standart dasturiy tuzilmalarni, shuningdek, bu­xususiyatlari (yuqori va pastki) marginal qiymatini olish uchun jut imkon beradi, deb baham ko'rish uchun tavsiya etiladi test nia dasturlari murakkabligi bog'liqliklar aniqlash uchun.
Shakl bo'yicha. 13.7­biz 14 vertices, 20 arc va 3 davrlarini o'z ichiga olgan dastlabki modul grafikasining namunasini taqdim etamiz. Bunday­dastur juda past murakkablikda 30-50 operatorlari haqida yuqori darajadagi tilni o'z ichiga oladi va juda odatiy deb hisoblanishi mumkin. Modulni birinchi mezon bo'yicha to'liq tekshirish uchun по первому критериюto'rtta ruts etarli­.Ushbu mezonga ko'ra­, dastur operatorlari va har bir operator o'rtasida kamida bir marta barcha dasturlarni tekshirish kafolatlanadi. Eng uzun cho'qqilar soni 3-dan faqat 14-ni va 6-dan faqat 20-ni qamrab olmaydi.
Yana ikki m arshrutni tekshirgandan so'ng, bitta tepalik va ikkita kamon nazoratdan tashqarida qoladi. Shu bilan birga, mezon­torikning kombini marshrutlarning turli qismlarida, masalan, 3 va 12 tepaliklarida filiallarning yo'nalishlari kombinatsiyasi bilan birlashtirmaydi.­граммы при выделеUshbu mezon bo'yicha marshrutlarni ajratishda grammning murakkabligi to'rtga teng bo'lgan yo'nalishlar soni va 20ga teng bo'lgan sinovlarning murakkabligi bilan tavsiflanadi. Ushbu qiymat суммарное число условий, которое необ­barcha marshrutlarni to'liq tekshirish uchun testlarda talab qilinadigan shartlarning umumiy sonini tavsiflaydi всех маршрутов, выделен­, bu birinchi mezon bo'yicha belgilanadi. Har bir marshrutning yuqori qismidagi shartlar javob beradigan testlarda predmetlarni avtomatlashtirilgan shakllantirish uchun ishlatilishi mumkin­.

Shakl. 13.7