Eurasian Journal of Mathematical Theory and Computer Sciences 3-jild 6-son (2023) · 47–53-betlar

AXBOROT TIZIMLAR SIFATINI TAMINLASH YONDASHUVLARI VA USULLARI

Mo‘minov, Baxodir, Muxamadiyev, Sanjar

DOI: 10.5281/zenodo.8062728 · Manbada o'qish → · PDF (manba serverida)

Annotatsiya

Axborot tizimlariga bo’lgan talabning oshib borishi axborot tizimlarini jadal suratlarda ishlab chiqarilishiga va ko’payib borishiga olib kelmoqda. Maqolada ularning to’g’riligi va sifatini tekshirishda validatsiya va verifikatsiya usullari muhokama qilingan. Axborot tizimlarining sifat ko’rsatgichlari ISO hamda IEEE standartlariga ko’ra qanday parametrlar yordamida aniqlanishi keltirilgan. Verifikatsiya va validatsiya tushunchalarining farqli va umumiy jihatlari yoritib berilgan. Verifikatsiya usullarinung qo’llanilish sohalari va beradigan natijalari tahlil qilingan. Verifikatsiya usullaridan foydalanib axborot tizimlarini tekshirish instrumentlari keltirib o’tilgan. Zamonaviy axborot tizimlari sifatini tekshirish va baholash uchun ahamiyatga ega parametrlar, artefaktlar muhokama qilingan.

Axborot tizimi, Axborot tizimining sifat ko’rsatgichlari, validatsiya, verifikatsiya, statik tahlil, formal usul, dinamik usul, sintetik usul mantiqiy-algebraik model, bajariladigan model, funksionallik, ishonchlilik, foydalanishga qulaylilik, samaradorlik, xizmat ko‘rsatish qulayligi, portativlik.

Metadata manbasi: jurnal OAI-PMH arxivi · Sindex to'liq matnni saqlamaydi, manbaga havola beradi.