Вопросы автоматизации семантического анализа программ

автоматизация технологических процессов АСУТП автоматизированные системы управления технологическими процессами информационная поддержка логико-вычислительные средства многомерные интервально-логические регуляторы программное обеспечение программные коды продукционные системы системы продукционных правил семантический анализ системы интеллектуального управления

Измерение дебита нефти в двухфазном потоке, Состояние и перспективы повышения точности и достоверности измерений количества нефти, ...

informatsionnykh resheniy // Avtomatizatsiya, telemekhanizatsiya i svyaz' v neftnoy promyshlenno-sti. <...> Prime-nenie programmno-informatsionnykh resheniy OAO "Nefteavtomatika" dlya sozdaniya avtomatizirovannykh informatsionnykh sistem prognozirovaniya potrebleniya elektroenergii // Avtomatizatsiya, telemekhanizatsiya i svyaz' v neftnoy promyshlennosti. <...> Upravlenie i avtomatizatsiya razrabotki programmnogo obespecheniya dlya sis-tem MES-urovnya // Avtomatizatsiya, telemekhanizatsiya i svyaz' v neftnoy promyshlennosti. <...> Problema sozdaniya avtomatizirovannoy sistemy upravleniya metrologiche-skoy sluzhboy predpriyatiy neftegazovoy otrasli i ikh servisnykh organizatsiy i variant resheniy na osnove programmnoinformatsionnykh sredstv, razrabotannykh OAO "Nefteavtomatika" // Avtomatizatsiya, telemekhani-zatsiya i svyaz' v neftyanoy promyshlennosti. <...> Perspektivy primeneniya virtual'nykh analizatorov v sistemakh upravleniya resursami proizvodstva // Problemy upravleniya. <...> Sovremennye metody upravleniya proizvodstvennymi protsessami // Pro-blemy upravleniya. <...> Автору известны случаи пуска в эксплуатацию автоматизированных систем управления технологическими процессами с ошибками в программах работы регуляторов и контроллеров, выявляемых только после возникновения аварийных ситуаций. <...> 26 Таким образом, при разработке и создании программ возникает необходимость в автоматизации некоторых функций программистов, отвечающих за проверку и анализ семантики (или смысла) программного кода, во избежание ошибок, связанных с человеческим фактором. <...> Целью семантического анализа программ является выявление смысловых ошибок в коде до начала процесса тестирования и отладки, что позволит увеличить эффективность программ, снизить стоимость и сократить сроки их разработки и сопровождения. <...> Обзор наиболее часто встречающихся ситуаций в коде программ В процессе отладки и анализа программ разного уровня не редки ситуации, когда в их коде встречаются операторы, которые полностью идентичны и при этом следуют либо друг за другом, либо через n операторов. <...> Автоматизация, телемеханизация и связь в нефтяной промышленности 7/2014 МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ <...> Переменная (логического или числового типа) многократно (n раз) инициализируется на некотором участке (фрагменте) программы без использования ее значения в каком-либо выражении (логическом или функциональном). <...> а) переменная <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт