Вопросы автоматизации семантического анализа программ
В статье рассматриваются наиболее часто встречающиеся ошибки в программном коде АСУТП. Описывается методика семантического анализа программ на этапе их создания и разработки, которая дает возможность выявлять смысловые ошибки в коде, что позволяет снизить затраты времени и средств, а также предотвратить аварийные ситуации.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
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 раз) инициализируется на некотором
участке (фрагменте) программы без использования ее
значения в каком-либо выражении (логическом или
функциональном). <...> а) переменная <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: