Tekshirish, sinov

Strategiya 1 Strategiya 2

Shakl. TK.З
При Birinchi strategiyada (shakl. 13.3)dasturning matnida grafik shaklida qurilgan PM tuzilishi asos sifatida qabul qilinadi. Dasturning ustunida ba'zi mezonlarga ko'ra­, dasturning ip-marshrutlari va ular amalga oshirilishi mumkin bo'lgan shartlar belgilanadi va tartibga solinadi. Ushbu shartlar test sinovlarini tayyorlash uchun ishlatiladi­ров, ularning har biri sinovni tayyorlashda standart sifatida qabul qilingan yo'nalish bo'yicha amalga oshirilishi kerak.­Dastlabki tanlangan marshrutdan testning bajarilishining og'ishi xato deb hisoblanadi­, chunki mushuk Royning sababi PM ning asosiy tuzilmasida yoki ushbu kirish testida muayyan marshrutni amalga oshirishda bo'lishi mumkin.
Tanlangan va kiritilgan marshrutlardagi xatolar va nomuvofiqliklar bartaraf etilgandan so'ng­, ularning har biri uchun ma'lumotlarni qayta ishlash jarayoni tekshiriladi va ularning konvertatsiya natijalarida xatolar aniqlanadi. Keyin otsendasturning по dastlabki grafigini tasdiqlangan marshrutlar bilan qoplash darajasiga ko'ra amalga oshirilgan testning etarliligini­крытия исходного графа программы проверенными маршрутами, кото­anglatadi, Koto Rye tanlangan yoki belgilangan mezonga ko'ra turdi. Sinov dastur grafigining kerakli qoplamasi bilan tugaydi­, u yo'nalishlar bo'yicha sinovdan o'tkaziladi yoki tes uchun ajratilgan resurslardan­foydalaniladi. Ikkinchidan­, dasturning noto'g'ri talqin qilinishi va ushbu qiymatni ro'yxatdan o'tkazish zarur.
Ushbu strategiya bilan, ayrim ajratilgan marshrutlar­muz operatorlariningpos-da qarama — qarshi sharoitlar­-dastur grafigining tepalari tufayli printsipial bo'lishi mumkin. Natijada, ba'zi modullar uchun keraksiz bo'lgan va dasturning haqiqiy ishlashini aks ettirmaydigan testlar tayyorlanishi mumkin.T kamida bu strategiya­hisob-kitoblar kichik bir ulushi bilan ical dasturlari jurnallaridan sinov qachon afzalliklari bor. Shu bilan birga, juda samarali­tivno marshrutlarni ajratish uchun turli mezonlar va ularni tartibga solish usullari bilan sinovlarning to'liqligi bilan nazorat qilinadi.
Qachon вtoroy strategiyasi (qarang. 13.3)­texnik talablar, maxsus test va mos yozuvlar qiymatlari asos sifatida qabul­qilinadi, Koto Rye mutaxassislar tomonidan dastur matnida o'zgaruvchilar va Pre-dikatlarni tahlil qilish orqali tayyorlanadi­. Har bir testda dasturtsya tomonidan ro'yxatga olingan ma'lum bir yo'nalishda amalga oshiriladi. Shu­bilan birga, tahlil qilinadigan talablarga muvofiq amalga oshiriladi marshrut va ma'lumotlar oqimi biz dastur tuzilmasining mos yozuvlar komponentlari sifatida­qaraladi. Sinov natijalariga ko'ra, tasdiqlangan eraerlar qayd etiladi va test sinovlariningераторы и оценива­ется полнота marshrutlarida spetsifikatsiyalar talablari bo'yicha testlar bilan qoplashning to'liqligi на марш­baholanadi. Amalga oshirilgan marshrutlarni to'plash va umumlashtirish dasturning tuzilishini ko'paytirish va har bir komponentni qamrab olish darajasini nazorat qilish imkonini beradi. Buning uchun testning har bir bosqichida dasturning tarkibiy qismlari sinovdan o'tkazilmagan bo'lib, ular uchun qo'shimcha testlarni tayyorlash kerak. Shu bilan birga, bunday strategiya bilan dasturning barcha rutlarini qamrab olish va tekshirish darajasini baholash qiyin­рутов исполнения программы без использования структурного графа, по­, chunki uning dastlabki matniga muvofiq tuzilgan tizimli grafikdan foydalanilmaydi.
Ushbu strategiya dasturning nisbatan oddiy tuzilishi va unda hisoblash operatsiyalari ustunligi bilan afzalliklarga ega­. Har bir marshrutda AC o'zgaruvchilari muntazam ravishda o'zgarishi­dasturning hisoblash qismiga e'tiborni qaratadi,bu­esa bu sinf uchun muhimdir. Shu bilan birga, tasdiqlanmagan marshrutni belgilaydigan predmetlarning kombinatsiyasidan o'tish xavfi ortadi. Shuning uchun­, amaliy ki har doim tavsiya совместное применение двух стратегий,etiladi­test PM yoki uning qismlari xususiyatlariga qarab, ulardan biri uchun narx bilan, ikki strategiyasi qo'shma prim enenie.... Murakkab mantiqiy­struk ekskursiyalarining ustunligi va nisbatan kichik hisoblash qismi bo'lgan dasturlar­birinchi strategiyani sinovdan o'tkazishva faqat­operatorlar tomonidan ajratiladigan marshrutlar uchun ma'lumotlar oqimlarini tahlil qilish (ikkinchi strategiya) dan foydalanish tavsiya etiladi. Oddiy tuzilishga ega bo'lgan va­giyaning ikkinchi qatlamida dastlabki disk raskadrovka qilinganidan keyin hisob-kitoblarning katta hajmini o'z ichiga olgan modullarda,­гии, целесооceleso brazna birinchi strategiya uchun strukturani sinovdan o'tkazish va disk raskadrovka to'liqligini tekshiradi­.
Ma'lumki, katta PSda keng qamrovli test, nuqson­va xatolar to'liq yo'qligini kafolatlaydigan, asosan­, mumkin emas va dasturlarda mavjud bo'lgan nuqsonlarni aniqlash, hatto nezavi­sim testerlariham chegaralarga ega. Yuqorida keltirilgan­dasturiy ta'minot to'plami uchun dastlabki talablardan yuqoridan pastgacha to'g'riligini tekshirishda komponentlarning muvofiqligini saqlab qolish va­komponentlarni qoplash uchun sinovdan o'tkazish, ularning har bir batafsil darajasida talablarga javob berish muhim hisoblash, mehnat va vaqt resurslarini talab qilishi mumkin. Mavjud bo'lgan opre resurslarining haqiqiy cheklovlari­деляют количество noma'lum nuqsonlar sonini va komponentlarning va PS ning umuman to'g'rilanishini ajratadi. Amalda, sinovlarni qoplash darajasini hisobga olish juda qiyin va tez­-tez sinov sifatini tartibga solish va baholashning doimiy usuli haqida ko'proq ma'lumotga ega bo'lish maqsadga muvofiqdir. JSST­deyarli hisobga resurslari cheklashlar коolish va tekshirish va test to'xtatish GDA, shuningdek, bu­det dasturlari to'g'riligiga erishilgan va u­PS foydalanish paytida mijoz va foydalanuvchi rit qodir yoki yo'qligini qanday muammoni oladi.
Murakkab PSni ishlab chiqishda, tekshirish va sinovdano'tkazish PSning butun MH davomida muhim resurslarni talab qiladi va eng muhim resurs bu dori-darmonlarni bosqichma-bosqich amalga oshirish uchun ruxsat etilgan vaqt­hisoblanadi. Prak dasturlarini sinovdan o'tkazishda nuqsonlarni aniqlashning intensivligi­vaqtga qarabchidamli­ravishda kamayadi, chivae mogo ularni aniqlash uchun mash va shunga mos ravishda nuqsonlarning keyingi namoyonlari orasidagi intervallarni oshiradi. Eksperimental ma'lumotlar asosida­ных matematik modellar yaratilgan которые позволяют прогнозиро­вать интервалы времени между последовательными обнарbo'lib, ular dasturiy komponentlarda ketma-ket obnar uzheniya de­fektsiyalar yoki xatolar o'rtasida vaqt oralig'ini taxmin qilish imkonini beradi. Misol uchun, agar ma'lum bir modulni yoki PS komponentini sinab ko'rishda opre aniqlangan­bo'lsa, unda nuqsonlar soni (masalan, 5 yoki 10), unda modellar­keyingi defekni aniqlash uchun zarur bo'lgan resurslar (vaqt)­va ishlatilgan usul bilan testni davom ettirishning rentabelligi. Moet nuqsonlarini aniqlash strategiyasining yoki usulidagi oqilona o'zgarish­qisqa muddatli o'zgarishlarga olib keladi va ularning namoyon bo'lishiningintensivligini oshiradi­, keyin uni bosqichma-bosqich kamaytiradi.
Muayyan loyiha sinf uchun muayyan firma bunday modellar foydalanish uchun­, muayyan mahorat expee ishlab chiquvchilar­риментально может быть установлено число дефектов, которое должно быть обнаружено da reimentally ajratilgan vaqt davomida dasturiy komponent sinov muayyan bosqichida sinov tomonidan aniqlangan bo'lishi kerak nuqsonlar soni, belgilangan bo'lishi mumkin. Agar bu vaqt ichida­Leno aniqlangan bo'lsa, nuqsonlarning soni a priori tomonidan belgilanganidan kamroq bo'lsa, bu ishlab chiquvchi dasturchilar uchun juda yaxshi ish yokiу программистов-разработчиков, либо недоста­testlarning va ularning ijrochilarining aniq sifati yo'qligini anglatishi mumkin. Ba'zi qo'shimcha sinovlar ushbu muqobilni hal qilishda yordam berishi mumkin. Muayyan vaqt davomida aniqlangan nuqsonlar sonini muntazam ravishda ro'yxatga­ми тестировщикамиolish muayyan dasturchilarning ish natijalarida mi tester qo'ylar tomonidan belgilanadi, korxona sinovlarida nuqsonlarni aniqlashning o'rtacha intensivligini baholash imkonini на предприятии при разработке определенных типов про­beradi. Bunday baholashlar­tegishli dasturiy komponentlarning aniq sifatiga erishilganligini taxmin qilishda ishlatilishi mumkin. Shu­bilan birga, dasturning ishlash natijalari bo'yicha aniqlangan nuqsonlarning toifalarini hisobga olish tavsiya etiladi: tanqidiy-­natijalarni noto'g'ri talqin qilish, xavfli-kamdan-kam hollarda natijalarni noto'g'ri talqin qilish bilan tahdid qilish, shuningdek, natijalarga ta'sir qilmaydigan zaif yoki­amaliy natijalar.
Современные системы систематического тестирования и отлад­Yuqori va nazorat ostida sifatli dol reels dasturiy komponentlarini muntazam ravishda sinab ko'rish va disk raskadrovka qilishning zamonaviy tizimlari высокого и контролируемого качества дол­quyidagilarni ta'minlaydi:

• 
  avtomatlashtirish vositalari bilan foydalanuvchilarning ramziy va grafik turlarida qulay, do'stona muloqot va, asosan, asosiy­dasturlarni sinovdan o'tkazish;
  
• 
  ishlabрепозитория) для накоплеchiqilayotgan dasturlar, ularning versiyalari, tayyorlanish rejalari, test va mos yozuvlar ma'lumotlari, tuzatishlar bo'yicha turli xil ma'lumotlarni to'plash va saqlash uchun etarli darajada rivojlangan va samarali dizayn ma'lumotlar bazasidan (ombordan)­foydalanish;
  
• 
  автоматическое обнаружение статическими методами типовых оши­dasturlarning boshlang'ich matnlarida standart oshi bok statik usullari bilan avtomatik aniqlash,buzilgan­dasturiy semantikaning eskirgan qoidalari shakli­, modullarning tarkibiy tuzilishi va ma'lumotlardan foydalanish;
  
• 
  test sinovlarini avtomatlashtirilgan rejalashtirish­, foydalanuvchilarga metodlarni muntazam ravishda qo'llashтрате­, giy va dinamik disk raskadrovka vositalarini sarflash bo'yicha rekomendatsiyalarni berish;
  
• 
  эффективную реализацию отладочных заданий с целью дости­sinov uchun cheklangan resurslar sharoitida dasturlarning maksimal to'g'riligini ta'minlash uchun disk raskadrovka vazifalarini samarali amalga oshirish;
  
• 
  Crete­riyam tomonidan erishilgan dasturlarning to'g'riligini baholashushbu uslublar va yaratilgan dasturiy komponentlarning asosiy sifat ko'rsatkichlarini aniqlash­;
  
• 
  dasturlardagi to'liq o'zgarishlarni avtomatlashtirilgan ro'yxatga olish va hujjatlashtirish­va dasturiy modul va dastur guruhlari versiyalarini hisobga olish.
  

Murakkab PS tarkibiga kiruvchi va turli loyihalarda qayta ishlatilishi mumkin bo'lgan dasturiy komponentlarni disk raskadrovka qilish uchun­дим комплекс средств автоматизации, использующий основные современ­amma dasturida xatolar va nuqsonlarni aniqlashning asosiy zamonaviy usullaridan foydalanadigan avtomatizatsiya vositalarining kompleksini neobho dim. Ushbu mablag'larni ajratish mumkin (shakl. 13.4):