С.Г. Ворона1, Т.В. Калинин2, И.Н. Шульга3

1−3 Военно-космическая академия имени А.Ф, Можайского (Санкт-Петербург, Россия)

Постановка проблемы. Бурное развитие вычислительной техники и создание новых языков программирования требуют осуществления их проверки на работоспособность, а также поиска ошибок при написании программ, т.е. проведения диагностики.

Цель. Рассмотреть построение рациональных условных алгоритмов поиска дефекта (УАПД), а также алгоритма создания рациональной условной программы технического диагностирования.

Результаты. Разработаны методы контроля адекватности моделей и тестирования функциональных компонент моделей на основе сочетания методов учета логических ограничений с помощью функциональных диаграмм и вероятностного тестирования, а также методы контроля и диагностирования управляющих компонент программ на основе математического аппарата, разработанного для контроля дискретных устройств. Предложен метод оптимизации диагностирования комплексов взаимосвязанных моделей путем определения последовательности проверок, основанный на математическом аппарате УАПД.

Практическая значимость. Проведенное исследование будет полезно разработчиками алгоритмов и программ.

Ворона С.Г., Калинин Т.В., Шульга И.Н. Оптимизация диагностирования комплексов взаимосвязанных моделей // Информационно-измерительные и управляющие системы. 2022. Т. 20. № 6. С. 5−11. DOI: https://doi.org/10.18127/j20700814-202206-01

1. Авремчук Е.Ф., Вавилов А.А. и др. Технология системного моделирования. М.: Машиностроение. 1988. 520 с.
2. Алпатов Ю.Н. Моделирование процессов и систем управления: Учеб. пособие. СПб.: ЛАНЬ. 2018. 140 с.
3. Глушков В.М. Обобщенные динамические системы и процессионное прогнозирование // Проблемы прикладной математики и механики. М.: Наука. 1971. С. 27−30.
4. Бусленко Н.П. Сложные системы и имитационные модели // Кибернетика. 1976. № 6. С. 50−59.
5. Бусленко Н.П. Моделирование сложных систем. М.: Наука. 1978. 399 с.
6. Белов Ю.А., Диденко В.П., Козлов Н.Н. и др. Математическое обеспечение сложного эксперимента. Обработка измерений при исследовании сложных систем. Киев: Наукова думка. 1982. 304 с.
7. Коновалов А.Н., Яненко Н.Н. Модульный принцип построения программ как основа создания пакета прикладных программ решения задач механики сплошной среды // Комплексы программ математической физики. Новосибирск: ВЦ СО АН СССР. 1972. С. 56−63.
8. Тоценко В.Г., Александров А.В., Парамонов Н.Б. Корректность, устойчивость, точность программного обеспечения. Киев: Наукова Думка. 1990.
9. Ворона С.Г., Калининценк Т.В. Синтез моделирующих программ на основе многоверсионных библиотек компонент // Наукоемкие технологии, 2022, №7, С. 43−49.
10. Информационные технологии и вычислительные системы. Обработка информации и анализ данных. Программная инженерия. Математическое моделирование. Прикладные аспекты информатики / Под ред. С.В. Емельянова и М. Ленанд. 2016. 104 с.
11. Ворона С.Г., Хрестинин Д.В., Калинин Т.В., Булычёв С.Н. Методы оценки характеристик программ и алгоритмов // Нелинейный мир. 2020. Т. 18. № 2. С. 53−61.
12. АС № 1756900. Устройство для моделирования процесса функционирования восстанавливаемого объекта / Парамонов Н.Б., Архипенко А.А., Зеленчук Ю.М., Лисиченок А.Н.  G 06 F15/20. 1992. БИ № 30.
13. Патент RV № 2011220. Устройство для определения продолжительности вычислительного эксперимента проводимого на ЭВМ / Парамонов Н.Б., Архипенко А.А., Зеленчук Ю.М., Лисиченок А.Н., Матвеев К.Б.  G 06 F 15/20.  1994. БИ № 7.
14. Патент RV № 2015548 Устройство для моделирования процесса выполнения программы на ненадежной ЭВМ / Парамонов Н.Б., Архипенко А.А., Зеленчук Ю.М., Лисиченок А.Н., Матвеев К.Б., Федоров В.И.  G 06 F 15/20. БИ № 12, 30.06.94. 1991, 1989.