DOI 10.17586/0021-3454-2022-65-8-545-553
УДК 004.896
ВЕРИФИКАЦИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА
ИНФОРМАЦИОННОЙ СИСТЕМЫ
Поляков В. И.
Университет ИТМО, Санкт-Петербург,
197101, Российская Федерация; ординарный доцент
Зиннатулин Ф. Ф.
Университет ИТМО, факультет программной инженерии и компьютерной техники;
Читать статью полностью 
Аннотация.
Предложен способ верификации вычислительного процесса информационной системы. Актуальность исследования определяется востребованностью надежных, корректно работающих информационных систем при недостаточной их верификации. Верификация вычислительного процесса ранее не применялась к информационным системам. Рассматриваются вычислительные процессы информационной системы, а также основные блоки информационной системы „Конференция“. Используемые графоаналитическая и программная модели проверяют основные точки верификации вычислительного процесса. Рассмотрено использование разработанной системы верификации вычислительного процесса для веб-ориентированной информационной системы „Конференция“.
Ключевые слова: информационная система, вычислительный процесс, верификация, программная система, данные
Список литературы:
-
Шнепс-Шнеппе М. А., Сухомлин В. А., Намиот Д. Е. О глобальных информационных системах // International Journal of Open Information Technologies. 2017. Т. 5, № 4. С. 55—62.
-
Зыков С. В. Теоретические и методологические основы построения корпоративных порталов // Электронный журнал „Исследовано в России“. 2005. № 8. С. 2278—2285
-
Петров А. Б. О характеристиках информационной системы // Cloud of science. 2020. Т. 7, № 3. С. 510—516.
-
Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. Графо-аналитические модели вычислительных процессов в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. № 4(74). С. 116—120.
-
Зыков А. Г., Голованев Я. С., Поляков В. И. Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса // Программные продукты и системы. 2019. Т. 32, № 3. С. 398—402. DOI: 10.15827/0236-235X.127.398-402.
-
Немолочнов О. Ф., Зыков А. Г., Поляков В. И. и др. Верификация в исследовательских, учебных и промышленных системах // Науч.-технич. вестн. СПбГУ ИТМО. 2003. Вып. 11. Актуальные проблемы анализа и синтеза сложных технических систем. С. 146—151.
-
Кононенко А. А. Блок синтеза концептуальных схем и блок построения комплекта организационных процедур // Управление большими системами. 1998. № 1. С. 58—62.
-
Шатлов К. Г. Редактор графов и блок-схем // Доклады ТУСУР. 2007. № 1(15)
-
Латышева И. О., Мазин М. А. Среда визуальной разработки блок-схем // Научно-технический вестник информационных технологий, механики и оптики. 2007. № 7(41). С. 4—11.
-
Зыков А. Г., Кочетков И. В., Поляков В. И., Чистиков Е. Г. Синтезирование программ на основе описания графоаналитической модели // Программные продукты и системы. 2017. Т. 30, № 4. С. 561—566.
-
Хабитуев Б. В., Хандаров Ф. В., Балакшиев Э. Г., Нимаев С. А. Информационная система „Конференция“ // Вестн. БГУ. Математика, информатика. 2013. № 1. С. 21—25.
-
Дрюков Н. Ю., Гатчин Ю. А. Методы формирования информационного поля в информационной системе // Научно-технический вестник информационных технологий, механики и оптики. 2007. № 6(40). С. 215—220.
