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