priborИзвестия высших учебных заведений. ПриборостроениеJournal of Instrument Engineering0021-34542500-0381Национальный исследовательский университет ИТМО10.17586/0021-3454-2022-65-8-545-553pribor-227Research ArticleИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И СИСТЕМЫ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКАINFORMATION TECHNOLOGIES AND SYSTEMS, COMPUTER TECHNIQUEВерификация вычислительного процесса информационной системыComputing Process Verification in Information SystemПоляковВ. И.PolyakovV. I.

Владимир Иванович Поляков —  канд. техн. наук, доцент, факультет программной инженерии и компьютерной техники

Санкт-Петербург

Vladimir I. Polyakov — PhD, Associate Professor,Faculty of Software Engineering and Computer Systems

St. Petersburg

v_i_polyakov@mail.ruЗиннатулинФ. Ф.ZinnatulinF. F.

Фаиль Фидаэлевич Зиннатулин — аспирант, факультет программной инженерии и компьютерной техники

Санкт-Петербург

Fail F. Zinnatulin — Post-Graduate Student, Faculty of Software Engineering and Computer Systems

St. Petersburg

f_f_zinnatulin@mail.ruУниверситет ИТМОITMO University202201122024658545553Copyright © Национальный исследовательский университет ИТМО, 20242024Национальный исследовательский университет ИТМОНациональный исследовательский университет ИТМОhttps://pribor.ifmo.ru/jour/about/submissions#copyrightNoticehttps://pribor.ifmo.ru/jour/article/view/227

Предложен способ верификации вычислительного процесса информационной системы. Актуальность исследования определяется востребованностью надежных, корректно работающих информационных систем при недостаточной их верификации. Верификация вычислительного процесса ранее не применялась к информационным системам. Рассматриваются вычислительные процессы  информационной системы, а также основные блоки информационной системы „Конференция“. Используемые графоаналитическая и программная модели проверяют основные точки верификации вычислительного процесса. Рассмотрено использование разработанной системы верификации вычислительного процесса для веб-ориентированной информационной системы „Конференция“.

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.

информационная системавычислительный процессверификацияпрограммная системаданныеinformation systemcomputing processverificationsoftware systemdataReferencesШнепс-Шнеппе М. А., Сухомлин В. А., Намиот Д. Е. О глобальных информационных системах // International Journal of Open Information Technologies. 2017. Т. 5, № 4. С. 55—62.Sneps-Sneppe M., Sukhomlin V., Namiot D. International Journal of Open Information Technologies, 2017, no. 4(5), pp. 55–62. (in Russ.)Зыков С. В. Теоретические и методологические основы построения корпоративных порталов // Электронный журнал „Исследовано в России“. 2005. № 8. С. 2278—2285 [Электронный ресурс]: http://zhurnal.ape.relarn.ru/articles/2005/220.pdf.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.)Петров А. Б. О характеристиках информационной системы // Cloud of science. 2020. Т. 7, № 3. С. 510—516.Petrov A.B. Cloud of science, 2020, no. 3(7), pp. 510–516. (in Russ.).Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. Графо-аналитические модели вычислительных процессов в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. № 4(74). С. 116—120.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.)Зыков А. Г., Голованев Я. С., Поляков В. И. Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса // Программные продукты и системы. 2019. Т. 32, № 3. С. 398—402. DOI: 10.15827/0236-235X.127.398-402.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.)Немолочнов О. Ф., Зыков А. Г., Поляков В. И. и др. Верификация в исследовательских, учебных и промышленных системах // Науч.-технич. вестн. СПбГУ ИТМО. 2003. Вып. 11. Актуальные проблемы анализа и синтеза сложных технических систем. С. 146—151.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.)Кононенко А. А. Блок синтеза концептуальных схем и блок построения комплекта организационных процедур // Управление большими системами. 1998. № 1. С. 58—62.Kononenko А.А. Upravlenie Bol'shimi Sistemami, 1998, no. 1, pp. 58–62. (in Russ.)Шатлов К. Г. Редактор графов и блок-схем // Доклады ТУСУР. 2007. № 1(15) [Электронный ресурс]: https://cyberleninka.ru/article/n/redaktor-grafov-i-blok-shem.Shatlov K.G. Proceedings of TUSUR University, 2007, no. 1(15). (in Russ.)Латышева И. О., Мазин М. А. Среда визуальной разработки блок-схем // Научно-технический вестник информационных технологий, механики и оптики. 2007. № 7(41). С. 4—11.Latysheva I.O., Mazin М.А. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2007, no. 41, pp. 4–11. (in Russ.)Зыков А. Г., Кочетков И. В., Поляков В. И., Чистиков Е. Г. Синтезирование программ на основе описания графоаналитической модели // Программные продукты и системы. 2017. Т. 30, № 4. С. 561—566.Zykov A.G., Kochetkov I.V., Polyakov V.I., Chistikov E.G. Software & Systems, 2017, no. 4(30), pp. 561–566. (in Russ.)Хабитуев Б. В., Хандаров Ф. В., Балакшиев Э. Г., Нимаев С. А. Информационная система „Конференция“ // Вестн. БГУ. Математика, информатика. 2013. № 1. С. 21—25.Khabituev B.V., Khandarov F.V., Balakshiev E.G., Nimaev S.A. BSU bulletin. Mathematics, Informatics, 2013, no. 1, pp. 21–25. (in Russ.)Дрюков Н. Ю., Гатчин Ю. А. Методы формирования информационного поля в информационной системе // Научно-технический вестник информационных технологий, механики и оптики. 2007. № 6(40). С. 215—220.Dryukov N.Yu., Gatchin Yu.A. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2007, no. 40, pp. 215–220. (in Russ.)

The authors declare that there are no conflicts of interest present.