Тестирование информационной системы мониторинга состояния аппаратного обеспечения

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

1. Носкова А.И., Токранова М.В. Обзор автоматических систем Диптихи // Интеллектуальные технологии на транспорте. – 2017. – №1. – С. 42- 46.

2. Кольева Н.С., Брюханов П.В., Колесов Д.Д. Обеспечение информационной безопасности в бизнесе // В сборнике: Цифровая трансформация общества и информационная безопасность. Материалы II Всероссийской научно-практической конференции. Отв. за выпуск А.Ю. Коковихин, отв. редактор М.А. Панов. - Екатеринбург, 2023. - С. 80-84.

3. Кольева Н.С., Голиков С.Н., Панова М.В. Обзор рынка CRM для торговой компании // Вектор экономики. 2023. № 4 (82).

4. Шангина Е.И., Кормышев В.М. Системный подход к анализу бизнес-процессов на предприятии с использованием методов ABC, ABB, ABM // Цифровые модели и решения. 2022. Т. 1, № 3. DOI: 10.29141/2782-4934-2022-1-3-7. EDN: WVDL

5. Евтихов М.Г., Евтихов В.Г. Вычислительный эксперимент - обезразмеривание уравнений, вычислительная устойчивость и тестирование программ // Радиоэлектроника. Наносистемы. Информационные технологии. 2022. Т. 14. № 3. С. 331-340.

6. Стенин В.А., Ершова И.В., Чирцов Я.А. Тестирование программы моделирования прочности изделия в программе ANSYS // В сборнике: Наука и инновации - современные концепции. Сборник научных статей по итогам работы Международного научного форума. Отв. редактор Д.Р. Хисматуллин. 2020. - С. 155-160.

7. Бегичева С.В., Жуковская И.Е. Исследование факторов удовлетворенности клиентов технической поддержки // Цифровые модели и решения. 2022. Т. 1, № 2. DOI: 10.29141/2782-4934-2022-1-2-3. EDN: XZRJYN.

8. Полухин П.В. Применение генетических алгоритмов для оптимизации решения задач фильтрации и прогнозирования в динамических системах тестирования программ // Вестник Югорского государственного университета. 2022. № 4 (67). С. 120-132.

9. Бегалин А.Ш. Дискілер дефрагментация үшін бағдарламаларды тестілеу // 3i: Intellect, Idea, Innovation - интеллект, идея, инновация. 2017. № 2-2. С. 208-215.