Computing Process Verification in Information System
https://doi.org/10.17586/0021-3454-2022-65-8-545-553
Abstract
A system of verification of the computing process in information system is proposed. The study relevance is determined by the demand for reliable, correctly functioning information systems and insufficient verification of such systems. Computing process verification has not been applied to information systems before. The computing processes in information system, as well as the main blocks of the information system "Conference" are considered. Applied graphical-analytic and software models check the main points of verification of the computing process. The use of the developed computing process verification system for the web-oriented information system "Conference" is considered.
About the Authors
V. I. Polyakov
ITMO University
Russian Federation
Russian Federation
Vladimir I. Polyakov — PhD, Associate Professor,Faculty of Software Engineering and Computer Systems
St. Petersburg
F. F. Zinnatulin
ITMO University
Russian Federation
Russian Federation
Fail F. Zinnatulin — Post-Graduate Student, Faculty of Software Engineering and Computer Systems
St. Petersburg
References
1. Sneps-Sneppe M., Sukhomlin V., Namiot D. International Journal of Open Information Technologies, 2017, no. 4(5), pp. 55–62. (in Russ.)
2. Zykov S.V. Elektronnyy zhurnal "Issledovano v Rossii", 2005, no. 8, pp. 2278–2285, http://zhurnal.ape.relarn.ru/articles/2005/220.pdf. (in Russ.)
3. Petrov A.B. Cloud of science, 2020, no. 3(7), pp. 510–516. (in Russ.).
4. Zykov A.G., Bezrukov A.V., Nemolochnov O.F., Polyakov V.I., Andronov A.V. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2011, no. 4(74), pp. 116–120. (in Russ.)
5. Zykov A.G., Golovanev Ya.S., Polyakov V.I. Software & Systems, 2019, no. 3(32), pp. 398–402, DOI: 10.15827/0236-235X.127.398-402. (in Russ.)
6. Nemolochnov O.F., Zykov A.G., Polyakov V.I. et al. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2003, no. 11, pp. 146–151. (in Russ.)
7. Kononenko А.А. Upravlenie Bol'shimi Sistemami, 1998, no. 1, pp. 58–62. (in Russ.)
8. Shatlov K.G. Proceedings of TUSUR University, 2007, no. 1(15). (in Russ.)
9. Latysheva I.O., Mazin М.А. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2007, no. 41, pp. 4–11. (in Russ.)
10. Zykov A.G., Kochetkov I.V., Polyakov V.I., Chistikov E.G. Software & Systems, 2017, no. 4(30), pp. 561–566. (in Russ.)
11. Khabituev B.V., Khandarov F.V., Balakshiev E.G., Nimaev S.A. BSU bulletin. Mathematics, Informatics, 2013, no. 1, pp. 21–25. (in Russ.)
12. Dryukov N.Yu., Gatchin Yu.A. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2007, no. 40, pp. 215–220. (in Russ.)
Review
For citations:
Polyakov V.I., Zinnatulin F.F. Computing Process Verification in Information System. Journal of Instrument Engineering. 2022;65(8):545-553. (In Russ.) https://doi.org/10.17586/0021-3454-2022-65-8-545-553
Views:
28
Email this article 