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