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