Информационные системы и технологии ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В СОЦИАЛЬНО-ЭКОНОМИЧЕСКИХ И ОРГАНИЗАЦИОННО-ТЕХНИЧЕСКИХ СИСТЕМАХ УДК 681.5:004.4 А.Ф. АНТИПИН К ВОПРОСУ О СЕМАНТИЧЕСКОМ АНАЛИЗЕ ПРОГРАММ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ В статье рассматривается авторский способ анализа программного кода автоматизированных систем управления, основанный на концепции семантического анализа структуры многомерного интервально-логического регулятора, и условия его применимости. <...> Данный способ позволяет выявлять смысловые ошибки в коде до начала тестирования и отладки. <...> Ключевые слова: многомерный интервально-логический регулятор; система продукционных правил; автоматизированная система управления; семантический анализ. <...> Тестирование и отладка программ не позволяют в полной мере подтвердить их семантическую корректность, т.е. правильность заложенных в них алгоритмов. <...> Таким образом, в процессе разработки программ возникает необходимость в автоматизации некоторых функций программистов, отвечающих за проверку и анализ семантики (или смысла) программного кода, во избежание ошибок, связанных с человеческим фактором. <...> Таким образом, разработка эффективных методов и способов проверки и анализа программного кода АСУ на предмет обнаружения ошибок, связанных с человеческим фактором, способствует ускорению процесса отладки и более качественной работе системы автоматизации. <...> СПОСОБ АНАЛИЗА ПРОГРАММНОГО КОДА АСУ В процессе отладки и анализа программ разного уровня не редки ситуации, когда в их коде встречаются операторы, которые полностью идентичны и при этом следуют либо друг за другом, либо через n операторов. <...> Такие операторы следует трактовать как повторяющиеся, однако нет однозначного ответа на вопрос, что с ними следует делать. <...> Кроме того, возможны следующие ситуации в программном коде: №5(91)2015 45 Научно-технический журнал − переменная многократно инициализируется на некотором участке <...>