ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

8
Содержание
том 65 / Август, 2022
СТАТЬЯ

DOI 10.17586/0021-3454-2022-65-8-545-553

УДК 004.896

ВЕРИФИКАЦИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА ИНФОРМАЦИОННОЙ СИСТЕМЫ

Поляков В. И.
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; ординарный доцент


Зиннатулин Ф. Ф.
Университет ИТМО, факультет программной инженерии и компьютерной техники;


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

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