koz"Вестник Северо-Казахстанского университета имени Манаша Козыбаева"Bulletin of Manash Kozybayev North Kazakhstan University2958-003X2958-0048М. Қозыбаев атындағы СҚУ10.54596/2958-0048-2023-4-112-117koz-1263Research ArticleТЕХНИЧЕСКИЕ НАУКИTECHNICAL SCIENCESТестирование информационной системы мониторинга состояния аппаратного обеспеченияTESTING THE INFORMATION SYSTEM FOR MONITORING HARDWARE STATUSКожахметоваР. Н.KozhakhmetovaR. N.

Петропавловск

Petropavlovsk

https://orcid.org/0000-0003-0805-6175КольеваН. С.KolyevaN. S.

Екатеринбург

Ekaterinburg

Nkoleva@mail.ruЭнтальцевМ. С.EntaltsevM. S.

Екатеринбург

Ekaterinburg

ПановаМ. В.PanovaM. V.

Екатеринбург

Ekaterinburg

Северо-Казахстанский университетет имени М. КозыбаеваКазахстанM. Kozybayev North Kazakhstan UniversityKazakhstanУральский государственный экономический университетРоссияUral State University of EconomicsRussian Federation20231312202304 (60)112117Copyright © Кожахметова Р.Н., Кольева Н.С., Энтальцев М.С., Панова М.В., 20242024Кожахметова Р.Н., Кольева Н.С., Энтальцев М.С., Панова М.В.Kozhakhmetova R.N., Kolyeva N.S., Entaltsev M.S., Panova M.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://vestnik.ku.edu.kz/jour/article/view/1263

В данной статье представлен алгоритм тестирования информационной системы мониторинга состояния аппаратного обеспечения. Целью данного тестового алгоритма является проверка соответствия поведения системы требованиям, заданным формальной моделью, используемой при формальной верификации. В данной статье описаны различные способы построения многоуровневых моделей, новые возможности, которые можно извлечь из объединения функциональных спецификаций и спецификаций архитектуры реализации, ограничения, которые необходимо учитывать при составлении тестов и контроле различных состояний аппаратуры. Установлена необходимость создания, обеспечения и поддержки универсального и надежного алгоритмического, информационного и программного обеспечения для тестирования информационной системы мониторинга аппаратного обеспечения. Были представлены разработки и отладка разработанного программного обеспечения и программного обеспечения для указанных целей исследований.

This article presents an algorithm for testing an information system for monitoring the status of hardware. The purpose of this testing algorithm is to check the compliance of the system behavior with the requirements specified by the formal model, which were used in formal verification. The article discusses various methods for constructing multi-level models, new opportunities that can be extracted through a combination of functional specifications and implementation architecture specifications, limitations that have to be taken into account when organizing testing and monitoring of various hardware states. The need to create, provide and support universal and reliable algorithmic, information and software for testing the hardware monitoring information system has been established. The development and debugging of the developed software and software for the specified research purposes were presented.

информационные системымониторингтестированиемоделированиеаппаратное обеспечениеinformation systemsmonitoringtestingmodelinghardwareReferencesНоскова А.И., Токранова М.В. Обзор автоматических систем Диптихи // Интеллектуальные технологии на транспорте. – 2017. – №1. – С. 42- 46.Noskova A.I., Tokranova M.V. Obzor avtomaticheskih sistem Diptihi // Intellektual'nye tekhnologii na transporte. – 2017. – №1. – S. 42-46.Кольева Н.С., Брюханов П.В., Колесов Д.Д. Обеспечение информационной безопасности в бизнесе // В сборнике: Цифровая трансформация общества и информационная безопасность. Материалы II Всероссийской научно-практической конференции. Отв. за выпуск А.Ю. Коковихин, отв. редактор М.А. Панов. - Екатеринбург, 2023. - С. 80-84.Kol'eva N.S., Bryuhanov P.V., Kolesov D.D. Obespechenie informacionnoj bezopasnosti v biznese // V sbornike: Cifrovaya transformaciya obshchestva i informacionnaya bezopasnost'. Materialy II Vserossijskoj nauchno-prakticheskoj konferencii. Otv. za vypusk A.Yu. Kokovihin, otv. redaktor M.A. Panov. - Ekaterinburg, 2023. - S. 80-84.Кольева Н.С., Голиков С.Н., Панова М.В. Обзор рынка CRM для торговой компании // Вектор экономики. 2023. № 4 (82).Kol'eva N.S., Golikov S.N., Panova M.V. Obzor rynka CRM dlya torgovoj kompanii // Vektor ekonomiki. 2023. № 4 (82).Шангина Е.И., Кормышев В.М. Системный подход к анализу бизнес-процессов на предприятии с использованием методов ABC, ABB, ABM // Цифровые модели и решения. 2022. Т. 1, № 3. DOI: 10.29141/2782-4934-2022-1-3-7. EDN: WVDLShangina E.I., Kormyshev V.M. Sistemnyj podhod k analizu biznes-processov na predpriyatii s ispol'zovaniem metodov ABC, ABB, ABM // Cifrovye modeli i resheniya. 2022. T. 1, № 3. DOI: 10.29141/2782-4934-2022-1-3-7. EDN: WVDLЕвтихов М.Г., Евтихов В.Г. Вычислительный эксперимент - обезразмеривание уравнений, вычислительная устойчивость и тестирование программ // Радиоэлектроника. Наносистемы. Информационные технологии. 2022. Т. 14. № 3. С. 331-340.Evtihov M.G., Evtihov V.G. Vychislitel'nyj eksperiment - obezrazmerivanie uravnenij, vychislitel'naya ustojchivost' i testirovanie programm // Radioelektronika. Nanosistemy. Informacionnye tekhnologii. 2022. T. 14. № 3. S. 331-340.Стенин В.А., Ершова И.В., Чирцов Я.А. Тестирование программы моделирования прочности изделия в программе ANSYS // В сборнике: Наука и инновации - современные концепции. Сборник научных статей по итогам работы Международного научного форума. Отв. редактор Д.Р. Хисматуллин. 2020. - С. 155-160.Stenin V.A., Ershova I.V., Chircov Ya.A. Testirovanie programmy modelirovaniya prochnosti izdeliya v programme ANSYS // V sbornike: Nauka i innovacii - sovremennye koncepcii. Sbornik nauchnyh statej po itogam raboty Mezhdunarodnogo nauchnogo foruma. Otv. redaktor D.R. Hismatullin. 2020. S. 155-160.Бегичева С.В., Жуковская И.Е. Исследование факторов удовлетворенности клиентов технической поддержки // Цифровые модели и решения. 2022. Т. 1, № 2. DOI: 10.29141/2782-4934-2022-1-2-3. EDN: XZRJYN.Begicheva S.V., ZHukovskaya I.E. Issledovanie faktorov udovletvorennosti klientov tekhnicheskoj podderzhki // Cifrovye modeli i resheniya. 2022. T. 1, № 2. DOI: 10.29141/2782-4934-2022-1-2-3. EDN: XZRJYN.Полухин П.В. Применение генетических алгоритмов для оптимизации решения задач фильтрации и прогнозирования в динамических системах тестирования программ // Вестник Югорского государственного университета. 2022. № 4 (67). С. 120-132.Poluhin P.V. Primenenie geneticheskih algoritmov dlya optimizacii resheniya zadach fil'tracii i prognozirovaniya v dinamicheskih sistemah testirovaniya program // Vestnik YUgorskogo gosudarstvennogo universiteta. 2022. № 4 (67). S. 120-132.Бегалин А.Ш. Дискілер дефрагментация үшін бағдарламаларды тестілеу // 3i: Intellect, Idea, Innovation - интеллект, идея, инновация. 2017. № 2-2. С. 208-215.Begalin A.SH. Diskіler defragmentaciya үshіn baғdarlamalardy testіleu // 3i: Intellect, Idea, Innovation - intellekt, ideya, innovaciya. 2017. № 2-2. S. 208-215.

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