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