Abstract: Function point analysis is a method to measure the functional size of software from the usersr perspective. This paper firstly extends existing semi-formal model, and then presents the formal representations for the four rules of External Query. Finally, based on source code analysis, a reverse engineering technology method is proposed to solve the four rules. It is proved that this method is the theoretic base of fully automatic measurement.