Tekshirish, sinov

зон реальной вероятности ошибки,dastur grafigining har bir kamonida malakali dasturchi tomonidan ruxsat etilgan xatolarning haqiqiy ehtimoli zonalari. Tajriba­shuni ko'rsatdiki, zaif tuzilgan dasturlar uchun D dasturiy modulini sinab ko'rish jarayonida aniqlangan xatolar soniй, со­ushbu modullarning matn satrlari sonining taxminan bir foizini tashkil qiladi. Axborotni qayta ishlash va nazorat qilish dasturlari uchun­dov ning shartli almashinish soni dasturda qatorlar sonining taxminan 10% ni tashkil etadi, ya'ni­. grammdagi dallanma 10 chiziqli matn satrlari bajarilgandan so'ng o'rtacha bo'ladi. Bundantashqari, 10% chiziqli uchastkalar (yoki gra­Fe da yoy) dasturiy modullari sinovdan oldin dastlabki xatolarni o'z ichiga olishi mumkin, bu 0,1 ehtimoliga mos keladi.
Strukturaviy dastur qoidalarini qo'llashвания, специфика­, dastur modullari va guruhlari uchun talablarning o'ziga xosligi, shuningdek, zamonaviy­dasturlash texnologiyalari xatolar dastlabki ehtimolligini taxminan tartibga solishga, ya'ni q_tj ~ 0.01 darajasiga tushirishga imkon beradi. Shuning uchun, test strategiyasi baholash va Dостигаемой при этом корректности целесообразно проводить в диапазоне q_tJtest oldin yoyi xatolar ehtimolligi deyarli eng yomon va eng yaxshi qadriyatlar mos q TJ = 0,1—0.01, oralig'ida amalga oshirish uchun tavsiya etiladi to'g'riligini ostigaemoy.
Eng oddiy hisob-kitoblar uchun, ramma prog ustunidagi barcha yoylarbir xil uzunlikka ega va­ulardagi xatolar fenomeniga teng, ya'ni q_TJ = const modul testining boshida. Aslida, haqiqiy dasturlarning grafikalari turli xil operatorlarni o'z ichigaoladi, ular zhenya­yam da'vosiga va xatolariga turli darajada ta'sir ko'rsatadi. Dasturdagi operatorlar o'zlarining murakkabligi va shunga mos ravishda dasturchilar tomonidan dasturlarni yaratish jarayonida buzilish ehtimoli bilan farqlanadi­. Kuchukcha qabul qilinadigan operatorning turiga qarab­, asosiy xato,buzilishning (ikkinchi darajali xatolar) namoyon bo'lishining oqibatlari farq qiladi.
Dasturiy modullarning strukturasini sinovdan o'tkazishni rejalashtirish va ularning­to'g'riligini kamaytirish rovano avtomatizatsiyasi bo'lishi mumkin­. Agar siz allaqachon amalga oshirilgan marshrutlarni yozsangiz­рование, то можнo'qish, ularni avtomatik ravishda axborotdan chiqarib tashlashingiz va testchilarga asosiy tekshiruv ostida faqat bir guruh marshrutlarni­berishingiz mumkin. Xuddi shu ma'lumotlar tekshirishning to'liqligini avtomatik ravishda hisoblash va оцени­vania dasturining marshrutlarni tanlash mezonlaridan har biri uchun erishilgan tizimli to'g'riligini baholash uchun ishlatilishi mumkin­.
Modulning oldingi laxidagi dasturlarning strukturaviy to'g'riligini tahlil­qilish o'zaro ta'sir qiluvchi modul guruhlariga tarqalishi mumkin. Bunday holda, har bir modul следует рассматривать как закры­oldindan baholangan strukturaviy Rektum bilan tavsiflangan yopiq struktura sifatida qaralishi­kerak. O'zaro ta'sir qiluvchi modullar guruhining ustunida ushbu guruhning ijro etuvchi yo'nalishlarining jamiyati ajratilishi mumkin­va ularning testiro vania to'liqligi propontro bilan ajralibturadi.­Bunday modullarning Mye guruhlarini pastdan yuqoriga qarab ketma-ket kengaytirib, ularni muntazam ravishda sinab­ko'rish va dastur guruhlari va PSning erishilgan tizimli to'g'riligini baholash mumkin.

4. 
   Тестирование обработки потоков данных
   Dastur komponentlari tomonidan ma'lumotlar oqimlarini qayta ishlashni sinab ko'rish
   

ФHar qanday dastur f об­работку потока данных,unktsionirovanie uning vyho du (qarang. p. 13.1) uchun dastur kirish uzatiladi ma'lumotlar oqimi ish sifatida qaralishi mumkin­. Kirish ma'lumotlari ketma-ket ketma-ket­bir qator oraliq natijalarni ajratish uchun ishlatiladi, shuning uchun необходи­mogo chiqishi kerak. Ma'lumotlar oqimini sinash va tahlil qilish vazifasi ularni qayta ishlashning to'g'riligini va test dasturida xatolarni aniqlashdan iborat. Bu muammonistatik tarzda hal qilish mumkin­— dasturni ijro etmasdan (matn bo'yicha tahlilqilish) va dinamik ravishda-turli manbalardagi kompyuter kodlarida kompyuterda dasturni haqiqiy bajarish orqali.
Hafta oxiri ma'lumotlarini konvertatsiya qilish uchun tadbirlar to'plamlari диаграммами потоков данныхma'lumotlar oqimi diagrammasi (DFD — Data Flow Diagrams) bilan rasmiylashtirilishi mumkin Flow Diagrams. Buning uchun ob'ektlar va raqamlarning tavsiflari bilan kvadratlarni o'z ichiga olgan grafik elementlar tizimi, shuningdek ularni bog'laydigan jarayonlar tizimi qo'llaniladi:

• 
  tashqi shaxslar-­ularning mazmuni va raqamlari bilan aniqlanadigan manbalar yoki axborot talablari bo'yicha ob'ektlar;
  
• 
  ob'ektlarni bir harakatdan ikkinchisiga ko'chiradigan jarayonlar, manba ma'lumotlarini natijada paydo bo'lgan jarayonlarga aylantirish;
  
• 
  vaqtincha saqlash uchun joylashtirilgan ob'ektlar yoki ma'lumotlar yig'uvchilar;
  
• 
  ma'lumotlar oqimlari-manbadan­talabgorga uzatiladigan ma'lumot.
  

DfD diagrammalarini yaratish uchun grafik elementlarning sintaksisi va semanti rasmiylashtirildi­: ob'ektlarning harakatini aks ettiruvchi-dasturlarning­protsedurasi; tashqi shaxslarning tavsiflari — manbalar va­ma'lumotlarni iste'mol qilish; ularni saqlash.Avvalo­, dastur tartib-taomillarini bajarish kerakligini tasvirlaydigan bir qator stviyalarni aniqlash tavsiya etiladi. Keyin atrof — muhit modelini yaratish­-ma'lumotlarni qayta ishlashda SS jarayoni va o'ziga xos xatti-harakatlarni yuzaga keltiradigan tashqi shaxslar. Dasturlardagi­oddiy dfD diagramma-operatoro to'plamlariв программы, объединяются в иерархи­dasturiy modullarda yoki bir qator modullardan funktsional komponentlarda ma'lumotlar oqimlarini aks ettiruvchi Icelandic tuzilmalarining hiyerarxlariga birlashtiriladi.
Hisoblashda ishtirok etadigan ma'lumotlar yuqori darajadagi dasturlash tillarida aniq nom, y turi, kirish va foydalanish usullari bilan aniqlanadi. Bu sizga dasturni мульти­графаnazorat qilish (boshqaruv oqimi) va hisob-kitoblarda ishtirok etadigan ma'lumotlarni konvertatsiya qilish grafikasi (oqim dan NY) tomonidan berilgan ko'p grafik shaklida ko'rib­chiqishga imkon beradi.Filialning operatorlarida boshqaruv oqimi va ma'lumotlar oqimining kesishishi amalga oshiriladi: shartlar va davrlarni tekshirish. Boshqarish oqimlari va ma'lumotlar oqimlarini birgalikda tahlil­qilish grammlarni bajarish yo'nalishlarida o'zgaruvchilarni aniqlash hududlarini amalga oshirishning to'g'riligini tekshirish imkonini­beradi.
Dasturdagixatolarning oqibatlari­hisoblash jarayonida ba'zi o'zgaruvchilarning kichik nomlanishi va­talab qilinadigan miqdorlarning chiqishi yoki yo'qligi kabi to'liq da'vo sifatida namoyon bo'lishi mumkin. Dasturiy modulni sinovdan o'tkazish­рах, ularning chiqish natijalariga ta'siri darajasini hisobga olgan holda, tartibli NABO ma'lumotlar bazasida amalga oshirilishi kerak. Bu holatda, keyingi tahlil qilish uchun два вида об­ma'lumotlar ish haqida ikki xil'ajratish tavsiya etiladi.

• 
  to'liq aniqlash maydoni va­olingan qayta ishlash qiymatini o'zgartirish;
  
• 
  изменяющей результаты в ba'zi cheklangan ichida natijalarini o'zgartirish, pra­Vilna aniqlash maydoni.