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