Верификация вычислительного процесса информационной системы
https://doi.org/10.17586/0021-3454-2022-65-8-545-553
Аннотация
Предложен способ верификации вычислительного процесса информационной системы. Актуальность исследования определяется востребованностью надежных, корректно работающих информационных систем при недостаточной их верификации. Верификация вычислительного процесса ранее не применялась к информационным системам. Рассматриваются вычислительные процессы информационной системы, а также основные блоки информационной системы „Конференция“. Используемые графоаналитическая и программная модели проверяют основные точки верификации вычислительного процесса. Рассмотрено использование разработанной системы верификации вычислительного процесса для веб-ориентированной информационной системы „Конференция“.
Ключевые слова
Об авторах
В. И. Поляков
Университет ИТМО
Россия
Россия
Владимир Иванович Поляков — канд. техн. наук, доцент, факультет программной инженерии и компьютерной техники
Санкт-Петербург
Ф. Ф. Зиннатулин
Университет ИТМО
Россия
Россия
Фаиль Фидаэлевич Зиннатулин — аспирант, факультет программной инженерии и компьютерной техники
Санкт-Петербург
Список литературы
1. Шнепс-Шнеппе М. А., Сухомлин В. А., Намиот Д. Е. О глобальных информационных системах // International Journal of Open Information Technologies. 2017. Т. 5, № 4. С. 55—62.
2. Зыков С. В. Теоретические и методологические основы построения корпоративных порталов // Электронный журнал „Исследовано в России“. 2005. № 8. С. 2278—2285 [Электронный ресурс]: http://zhurnal.ape.relarn.ru/articles/2005/220.pdf.
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) [Электронный ресурс]: https://cyberleninka.ru/article/n/redaktor-grafov-i-blok-shem.
9. Латышева И. О., Мазин М. А. Среда визуальной разработки блок-схем // Научно-технический вестник информационных технологий, механики и оптики. 2007. № 7(41). С. 4—11.
10. Зыков А. Г., Кочетков И. В., Поляков В. И., Чистиков Е. Г. Синтезирование программ на основе описания графоаналитической модели // Программные продукты и системы. 2017. Т. 30, № 4. С. 561—566.
11. Хабитуев Б. В., Хандаров Ф. В., Балакшиев Э. Г., Нимаев С. А. Информационная система „Конференция“ // Вестн. БГУ. Математика, информатика. 2013. № 1. С. 21—25.
12. Дрюков Н. Ю., Гатчин Ю. А. Методы формирования информационного поля в информационной системе // Научно-технический вестник информационных технологий, механики и оптики. 2007. № 6(40). С. 215—220.
Рецензия
Для цитирования:
Поляков В.И., Зиннатулин Ф.Ф. Верификация вычислительного процесса информационной системы. Известия высших учебных заведений. Приборостроение. 2022;65(8):545-553. https://doi.org/10.17586/0021-3454-2022-65-8-545-553
For citation:
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
Просмотров:
27
Послать статью по эл. почте 