AXBOROT TIZIMLAR SIFATINI TAMINLASH YONDASHUVLARI VA USULLARI
Article Sidebar
Main Article Content
Аннотация:
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.
Article Details
Как цитировать:
Библиографические ссылки:
Mo’minov, B.B., Eshankulov, K. Modelling asynchronous parallel process with Petri net. //International Journal of Engineering and Advanced Technology 8(5 Special Issue 3), с. 400-405. 2019.
Мўминов Б.Б., Мухамадиев С.И. Дастурларни синтактик таҳлил қилишда ҳосил қилувчи грамматикалар усули// Муҳаммад ал-Хоразмий авлодлари– 2021. – №4(18). – 3-8 бетлар..
Mo’minov B.; Dauletov A.; Classes of electronic document circulation systems and mathematical models of processing,Central Asian Journal of Education and Computer Sciences (CAJECS),1,2,6-16,2022.
[4] ISO/IEC 9126-1 Software engineering – Product quality. Geneva, Switzerland: ISO, 2004.
T. Gilb, D. Graham. Software Inspection. Addison-Wesley, 1993.
C. Kaner. The Performance of the N-Fold Requirement Inspection Method. Requirements Engineering Journal, 2(2):114-116, 1998.
G. M. Schneider, J. Martin, W. T. Tsai. An experimental study of fault detection in user requirements documents. ACM Transactions on Software Engineering and Methodology, 1(2):188-204, 1992.
Boltaevich, M.B., Ilxomovich, E.K. Constructing a model of the process of receiving and storing oilseeds in oil and fat enterprises through the Petri net. International Conference on Information Science and Communications Technologies: Applications, Trends and Opportunities, ICISCT 2019.
L. Dobrica, E. Niemela. A Survey on Software Architecture Analysis Methods. IEEE Transactions on Software Engineering, 28(7):638-653, 2002.
Mo’minov B., Egamberdiyev E. A Neuro-fuzzy model for predicting successful passing of entrance exams of applicants to higher education //Central Asian Journal of Education and Computer Sciences (CAJECS). – 2023. – т. 2. – №. 2. – с. 6-13.
P. O. Bengtsson, N. Lassing, J. Bosch, H. V. Vliet. Architecture-Level Modifiability Analysis. Journal of Systems and Software, 69(1-2):129-147, January 2004.
B. Lionberger, C. Zhang. ATAM Assistant: A Semi-Automated Tool for the Architecture Tradeoff Analysis Method. Proc. of Software Engineering and Applications Conference, 2007.
http://www.testingfaqs.org/t-static.html.
В. В. Кулямин. Методы верификации программного обеспечения. Конкурс обзорно-аналитических статей по направлению «Информационно-телекоммуникационные системы», 2008.