Как цитировать
Аннотация
буквальное сравнение управляющих программ чувствительно к именам переменных и не всегда выделяет существенные изменения. Цель — формализовать построение словаря типизированных канонических шаблонов языка Structured Text и определить ограничения статического сравнения. Материал — промышленный проект вентиляции из 189 программных единиц. Операторы преобразуются в сигнатуры, сохраняющие вид конструкции, ограниченную структуру выражений, роли и типы переменных, классы литералов. Частые сигнатуры образуют словарь, редкие заменяются общими категориями. Исправленный синтаксический анализ дал 7794 вхождения; при глубине один и минимальной частоте пять выделено 238 шаблонов с покрытием 54,0 %. Полные и пороговые последовательности сохранились после лексической замены идентификаторов в 188 измененных единицах. На шести процедурах расстояние до переименованного варианта равно нулю, до контролируемого изменения — от одного до трех. Во внешнем архиве из 110 вариантов полные представления различались в 65 и 75 случаях при глубинах один и два относительно модального эталона. Эти результаты не доказывают функциональной корректности. Основные ограничения — потеря тождества переменных, укрупнение литералов, неполный охват синтаксиса и отсутствие независимой экспертной проверки реально сгенерированных программ.
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.