Measuring function points from VDM-SL specifications

The motivation of this paper is to enhance system development efficiency by integrating system modeling methods and system scale measurement methods. Among system modeling methods, FPM (function point method) has been attracting a lot of attention. In this paper, we first propose a method to measure function points from specifications written with a widely used formal specification language VDM-SL (Vienna Development Method-Specification Language). Then the development of an automatic measurement tool based on this method is introduced. Finally, to demonstrate the effectiveness of our method, measurement of a sample case using the proposed method is examined and discussed.