针对功能点分析(FPA)方法因缺少精确化定义而导致度量结果与实际之间有一定偏差的问题,基于B方法对FPA的度量规则进行形式化定义,即为功能点计算提供一个明确的定义。实例应用表明,把B方法应用到软件度量中,能够提高软件项目管理的效率,为软件功能规模的自动化度量奠定基础。
Aiming at the problem that the precise definition for Function Points Analysis(FPA) is lacked,there is variation between the metric result and the practice.A clear and unambiguous definition is proposed for counting function points,that is,these counting rules for FPA must be formalized based on B method.Practical example shows that combining B method with software metrics can improve the efficiency of software project management,and provides a basis for automatic functional size measurement.