Kompyuter injiniringi ” fakulteti Kompyuter injiniringi

Verifikatsiya

• 
  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.
  
• 
  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.