| Refactoring technology is gradually paid more attention to with the popularity of design pattern recently. Automatic voltage control of regional network, especially provincial network, is also a hotspot in the past few years. With the development of computer and communication technology, the research of two hotspots from theory to practice become possible. To enhance the stability and reliability of automatic voltage control, refactoring is applied in the research and development of automatic voltage control and the effect in theory and practice is obvious.This major work done in this paper is listed as following:1. It introduces refactoring in detail. It describes the background. the basic conception, the reason, the occasion of refactoring and the test during refactoring. Some problems of refactoring are also discussed.2. It researches the theory of refactoring. At present, the research of refactoring is mostly in the field of practice , not in theory in our country. This paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. And a logic deduction system is put forward in this paper: Refactoring Reliability Deduction System. In this system, several atomic refactorings are proved to be reliable.3. It refines and describes some useful refactorings during the research and development of automatic voltage control system of provincial network. These refactorings are complementary to the existing refactorings. To the development of automatic voltage control real system, these refactorings have resolved many practical problems of the project effectively.4. Online control system requires high performance and high stability. Reliability is especially important to the electric control software. The application of refactoring during the research and development of system ensures the reliability and stability of the system. And at the same time, refactoring technology also plays an important role during the maintenance of the system. |
