Верификация вычислительного процесса корпоративной информационной системы
Аннотация
Цель. В статье рассматривается вопрос верификации вычислительного процесса корпоративной информационной системы. Целью исследования является верификация вычислительного процесса корпоративной информационной системы.
Метод. Методом верификации вычислительного процесса корпоративной информационной системы является графоаналитическая модель и программная модель вычислительного процесса.
Результат. Результатом является успешная верификация вычислительного процесса корпоративной информационной системы.
Вывод. Вычислительный процесс корпоративной информационной системы может быть верифицирован с помощью графоаналитической и программной моделей. Представлен процесс верификации вычислительного процесса корпоративной информационной системы на примере корпоративной информационной системы 1С: Предприятие. Вычислительный процесс проходит через архитектуру корпоративной информационной системы и выполняет поставленные задачи.
Об авторах
В. И. Поляков
Национальный исследовательский университет ИТМО
Россия
Россия
Владимир Иванович Поляков, кандидат технических наук, доцент, факультет программной инженерии и компьютерной техники
197101, Санкт-Петербург, пр. Кронверкский, 49
Ф. Ф. Зиннатулин
Национальный исследовательский университет ИТМО
Россия
Россия
Фаиль Фидаэлевич Зиннатулин, аспирант, факультет программной инженерии и компьютерной техники
197101, Санкт-Петербург, пр. Кронверкский, 49
Список литературы
1. Зыков С. В. Теоретические и методологические основы построения корпоративных порталов // Исследовано в России. 2005. №. URL: https://cyberleninka.ru/article/n/teoreticheskie-i-metodologicheskie-osnovy-postroeniya-korporativnyhportalov (дата обращения: 11.03.2021).
2. Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Македонский А. А. Параллельные структуры управления вычислительными процессами в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. №4 (74). URL: https://cyberleninka.ru/article/n/parallelnye-struktury-upravleniya-vychislitelnymi-protsessami-v-sapr (дата обращения: 07.11.2021).
3. Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. Графо-аналитические модели вычислительных процессов в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. №4 (74). URL: https://cyberleninka.ru/article/n/grafo-analiticheskie-modeli-vychislitelnyh-protsessov-v-sapr (дата обращения: 07.11.2021).
4. Винниченко И. В. Автоматизация процессов тестирования. СанктПетербург, Питер, 2005, 203 с.
5. Канер С., Фолк Дж., Нгуен Е. К. Тестирование программного обеспечения. Киев, «ДиаСофт», 2001, 544 с.
6. Лукин М. А. Верификация параллельных автоматных программ // Научно-технический вестник информационных технологий, механики и оптики. 2014. №1 (89). URL: https://cyberleninka.ru/article/n/verifikatsiya-parallelnyhavtomatnyh-programm (дата обращения: 11.03.2021).
7. Немолочнов О.Ф., Зыков А.Г., Поляков В.И., Петров К.В. Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ // Научно-технический вестник информационных технологий, механики и оптики. 2006. №32. URL: https://cyberleninka.ru/article/n/uchebno-issledovatelskaya-sapr-verifikatsii-i-testirovaniyavychislitelnyh-protsessov-programm (дата обращения: 07.11.2021).
8. Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г. Синтезирование программ на основе описания графоаналитической модели // Программные продукты и системы. 2017. Т 30. №4. С. 561-566. DOI: 10.15827/0236-235X.120.561-566
9. Зыков А.Г., Голованев Я.С., Поляков В.И. Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса // Программные продукты и системы. 2019. Т. 32. №3. С. 398-402. DOI: 10.15827/0236-235X.127.398-402.
10. Баканова С.А. Графоаналитическая модель распространения знаний в организациях // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Экономические науки. 2015. №1 (211). URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-rasprostraneniya-znaniy-v-organizatsiyah (дата обращения: 07.11.2021).
11. Ситникова Л. В. Графоаналитическая модель определения условий лицензирования // УЭкС. 2011. №29. URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-opredeleniya-usloviy-litsenzirovaniya (дата обращения: 07.11.2021).
12. Верлан А. И. Графоаналитическая модель функционирования железнодорожных станций // ВЕЖПТ. 2014. №3 (72). URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-funktsionirovaniya-zheleznodorozhnyh-stantsiy (дата обращения: 07.11.2021).
13. Черноморец А.А., Петина М.А., Коваленко А.Н., Зайцева Н.О. Графоаналитическая модель динамики распространения подземных вод//Экономика. Информатика. 2017. №2 (251). URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-dinamiki-rasprostraneniya-podzemnyh-vod (дата обращения: 07.11.2021).
14. Зимовец О. А., Маторин С. И. Формально-семантическое описание графоаналитических моделей административных процедур //Экономика. Информатика. 2012. №7-1 (126). URL: https://cyberleninka.ru/article/n/formalno-semanticheskoeopisanie-grafoanaliticheskih-modeley-administrativnyh-protsedur (дата обращения: 07.11.2021).
Рецензия
Для цитирования:
Поляков В.И., Зиннатулин Ф.Ф. Верификация вычислительного процесса корпоративной информационной системы. Вестник Дагестанского государственного технического университета. Технические науки. 2021;48(4):133-138. https://doi.org/10.21822/2073-6185-2021-48-4-133-138
For citation:
Polyakov V.I., Zinnatulin F.F. Verification of the computing process of the corporate information system. Herald of Dagestan State Technical University. Technical Sciences. 2021;48(4):133-138. (In Russ.) https://doi.org/10.21822/2073-6185-2021-48-4-133-138
Просмотров: 144
Послать статью по эл. почте 
