Представлен способ автоматизации рефакторинга кода программы на языке Java при помощи языка спецификаций Maude, позволяющий проводить автоматическое доказательство корректности преобразованного рефакторингом кода, основываясь на семантике Java; создавать пользовательские рефакторинги на базе уже имеющихся.
Рефакторинг является одной из самых популярных и «успешных» техник улучшения исходного кода. Он является неотъемлемой частью гибкой методологии разработки. Однако, до сих пор наблюдается недостаток в существовании «качественных» средств проведения автоматического рефакторинга исходного кода на языках С/С++. В данной статье рассматривается один из подходов к разработке инструмента для проведения такого рефакторинга. Стоит отметить, что возможность проведения рефакторинга только на одной единице компиляции является существенным ограничением любого создаваемого инструмента. Поэтому важной особенностью данной статьи является подробное описание перехода от схемы проведения рефакторинга на одной единице компиляции к схеме проведения рефакторинга в рамках всего проекта. Кроме того, особое внимание в статье отводится рефакторингу «Переименование», так как это один из самых распространенных рефакторингов, проводимых в рамках всего проекта.
Creative Commons
Научный журнал
Еще термины по предмету «Автоматизация технологических процессов»
действия по спасению людей, материальных и культурных ценностей, защите природной среды в зоне чрезвычайных ситуаций, локализации чрезвычайных ситуаций и подавлению или доведению до минимально возможного уровня воздействия характерных для них опасных факторов. Аварийно – спасательные работы характеризуются наличием факторов, угрожающих жизни и здоровью проводящих эти работы людей, и требуют специальной подготовки, экипировки и оснащения.
это показатель работы системы, который может быть получен или измерен, а затем использован для определения эксплуатационных границ или возможностей системы. Например, объем памяти рабочей станции, количество параметров на экране, количество управляющих контуров. Атрибут системы может быть независимым или зависимым.