To'rtinchi qadam Beshinchi qadam

Dijkstra algoritmini amalga oshirish

• 
  Testlash – bu dasturiy maxsulotning ishlash jarayonida ishlamaydigan qismini topishdir. Testlash dasturiy maxsulotning xatoliklarini tuzatishdagi asosiy usul xisoblanadi. Dasturni qayti tayyorlash dasturiy maxsulotning yetishmovchiligini toʼldirish jarayonidir. Аgar dastur anchagina testlar toʼplamidan keyin xam toʼgʼri natijalar chiqarib bersa, bu dasturda xato yoʼq degan asos boʼlishi kerak emas. Bu paytda dasturni toʼgʼrilik darajasida gapirish mumkin.
  
• 
  Test – bu oldindan xisoblangan oraliq va oxirgi natijalari maʼlum boʼlgan dasturning toʼgʼriligini nazorat qiluvchi vositadir. Testni shunday tanlab olish kerakki, dasturchi natijani testni ishlatishdan oldin xisoblab bilsin.
  
• 
  Testlash – bu dasturiy maxsulotning ishlash jarayonida ishlamaydigan qismini topishdir. Testlash dasturiy maxsulotning xatoliklarini tuzatishdagi asosiy usul xisoblanadi. Dasturni qayti tayyorlash dasturiy maxsulotning yetishmovchiligini toʼldirish jarayonidir. Аgar dastur anchagina testlar toʼplamidan keyin xam toʼgʼri natijalar chiqarib bersa, bu dasturda xato yoʼq degan asos boʼlishi kerak emas. Bu paytda dasturni toʼgʼrilik darajasida gapirish mumkin.
  
• 
  Test – bu oldindan xisoblangan oraliq va oxirgi natijalari maʼlum boʼlgan dasturning toʼgʼriligini nazorat qiluvchi vositadir. Testni shunday tanlab olish kerakki, dasturchi natijani testni ishlatishdan oldin xisoblab bilsin.
  
• 
  Testlash jarayoni bosqichlarga boʼlinadi:
  
• 
  1. Normal sharoitda tekshiruv
  
• 
  2. Ekstrimal sharoitda tekshiruv
  
• 
  3. Аyrim sharoitda tekshiruv
  
• 
  Testlash printsiplari:
  
• 
  1. Dasturiy maxsulotni ishlanmasini testlashni asosiy masala deb xisoblab, dasturchi yozgan dasturni testlash maqsadga muvofiq emas.
  
• 
  2. Dasturni toʼgʼriligini koʼrsatadigan emas, balki xatolarni toppish extimoli katta boʼlgan test.
  
• 
  3. Testlarni toʼgʼri va toʼgʼri boʼlmagan qiymatlar uchun tayyorlang.
  
• 
  4. Testlarni kompьyuterda oʼtkazishni xujjatlashtiring, xar bir testning natijasini maydalab oʼrganing.
  
• 
  5. Xar bir modulni dasturga faqat bir marta ulang. Testlashni osonlashtirish uchun xech qachon dasturni oʼzgartiring.
  
• 
  6. Dasturiy maxsulotni tekshirish bilan bogʼliq boʼlgan testlarni qayta oʼtkazish yoki dasturiy maxsulotni ishlatish bilan va agar koʼp oʼzgartirish kiritilgan boʼlsa, boshqa dasturlar bilan bogʼliqligini tekshirish bilan bogʼliq boʼlgan testlarni qayta oʼtkazib yuboring.
  
• 
  Dasturiy maxsulot bir necha moduldan iborat yuqorilovchi testlash usulida eng pastdagi sodda oddiy modullardan boshlab testlash boshlanadi.
  
• 
  Eng asosiy moduldan boshlab test jarayoni oʼtkaziladi va keyin oddiy modullarga test oʼtkaziladi.
  
• 
  Koʼp xollarda yuqorilovchi va pasayuvchi testlashning kombinatsiyasidan iborat “Sandwich” degan usul ishlatiladi. Bu usulning maʼnosi shundaki bu ikki testlar jarayoni rostmanayotkan dastur strukturasi oʼrtasida qandaydir bir modulga uchrashib qolmaguncha pasayuvchi va yuqorilovchi testlash bir vaqtda bajariladi
  
• 
  Yana bir usul bu avtonom rostlash usuli. Yaʼni xir-bir modul aloxida (avtonom) koʼrinishda testlanadi.
  
• 
  Dasturlash vositalarini loyixalashtirishning texnologik taʼminoti
  
• 
  Bu taʼminotga dasturlash vositasining yashash siklida aniqlangan barcha texnologik jarayonlar kiritiladi. Bu jarayonda olib borilgan xujjatlarda dasturlash vositalarini ekspluatatsiya qilish va kuzatib borish akslantirilgan boʼladi. Ular loyixalash bosqichlarini, ularning natijalarini va sinov usullarini aniqlaydi. Shu bilan birgalikda taʼminotda dasturlash vositasini avtomatlashtirish uchun zarur boʼlgan instrumental vositalar keltiriladi.
  

• 
  79. DTni testlash, validatsiya,verifikasiya tushunchalar va ularni farqi. Verifikatsiya va validatsiya - bu dasturiy ta'minot sifatini boshqarish va undagi xatolarni aniqlashga qaratilgan faoliyatdir. Umumiy maqsadga ega bo'lgan holda, ular manbani boshqarish qoidalari, qoidalar va cheklovlar bo'yicha farqlanadi, ularni buzish xato deb hisoblanadi.
  
• 
  Keyingi muhokama qilish uchun biz "dasturiy hayot tsikllari artefakti" atamasini kiritishimiz kerak. Dasturiy ta'minotning hayotiy tsiklining artefaktlari bu turli xil axborot ob'ektlari, dasturiy ta'minotni ishlab chiqish va texnik xizmat ko'rsatish jarayonida yaratilgan yoki ishlatilgan hujjatlar. Shunday qilib, artefakt - bu texnik vazifa, arxitektura tavsifi, har qanday grafik tilidagi modeli, manba kodi, foydalanuvchi hujjatlari va boshqalar. Alohida ishlab chiquvchilar tomonidan dasturiy ta'minotni yaratishda va tahlil qilishda foydalanadigan, ammo boshqa odamlarga taqdim etiladigan hujjatlar shaklida berilmagan turli xil modellarni artefakt deb hisoblash mumkin emas.
  
• 
  Verifikatsiya dasturiy ta'minotni ishlab chiqish va texnik xizmat ko'rsatish jarayonida yaratilgan ba'zi artefaktlar, ilgari yaratilgan yoki manba ma'lumotlari sifatida ishlatilgan boshqalar bilan, shuningdek, ushbu artefaktlar va ularni ishlab chiqarish jarayonlarining qoidalar va standartlarga muvofiqligini tekshiradi. Xususan, tekshirish standartlar, dasturiy ta'minotga talablar tavsifi (texnik shartlar), dizayn qarorlari, manba kodi, foydalanuvchi hujjatlari va dasturiy ta'minotning o'zi o'rtasidagi muvofiqlikni tekshiradi.
  
• 
  Bundan tashqari, dasturlar ishlab chiqishda talablar, dizayn qarorlari, hujjatlar va kodlar ma'lum bir mamlakatda, sanoat va tashkilotda qabul qilingan me'yor va standartlarga muvofiq ishlab chiqilganligi, shuningdek ular yaratilganida standartlarda ko'rsatilgan barcha operatsiyalar to'g'ri bajarilganligi tekshiriladi. ketma-ketlik. Tekshiruv paytida aniqlangan xato va kamchiliklar ro'yxatdagi bir nechta hujjatlar, hujjatlar va dasturning amaldagi ishlashi, standartlar va dasturiy ta'minotni ishlab chiqish va texnik xizmat ko'rsatishning haqiqiy jarayonlari o'rtasidagi nomuvofiqliklar yoki qarama-qarshiliklardir. Bunday holda, qaysi hujjat tuzatilishi kerakligi to'g'risida qaror (ehtimol ikkalasi ham) alohida vazifa.
  
• 
  Validatsiya dasturiy ta'minotni ishlab chiqish va texnik xizmat ko'rsatish jarayonida yaratilgan yoki foydalanilgan har qanday artefaktlarning ushbu dasturiy ta'minot foydalanuvchilari va mijozlari ehtiyojlari va talablariga, ushbu sohadagi qonunlarni va dasturiy ta'minotdan foydalanish kontekstidagi cheklovlarni hisobga olgan holda muvofiqligini tekshiradi. Ushbu ehtiyojlar va talablar aksariyat hollarda hujjatlashtirilmaydi - agar ular o'rnatilsa, ular talablarning tavsifiga, dasturiy ta'minotni ishlab chiqish jarayonining artefaktlaridan biriga aylanadi.
  
• 
  Shuning uchun vladatsiya verifikatsiyaga qaraganda kamroq rasmiylashtirilgan faoliyatdir. Bu har doim mijozlar vakillari, foydalanuvchilar, biznes-tahlilchilar yoki ushbu sohadagi mutaxassislar - fikri foydalanuvchilar, mijozlar va boshqa manfaatdor tomonlarning haqiqiy ehtiyojlari va talablarini etarli darajada ifoda eta oladigan mutaxassislar ishtirokida o'tkaziladi. Uni amalga oshirish usullari ko'pincha ishtirokchilarning bilimlari va haqiqiy ehtiyojlarini aniqlashning o'ziga xos usullaridan foydalanadilar.
  

81. Ma’lumotlarlar modeli va ularning qo’llanilishi. UML modellashtirish tili.