Abstract
This paper proposes a formalization of the IFPUG Function Point (FP) definition for automated measurement of B specifications. This formal definition allows to: i) reduce the variance in FP counts due to rater interpretation of the IFPUG FP informal definition; ii) provide a better understanding of how the IFPUG FP definition should be applied; iii) automate the FP counts for B specifications, which can reduce measurement costs; and iv) identify specific holes in the IFPUG FP definition. We propose modifications to ensure completeness.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial, J.-R.: The B-Book, Cambridge University Press, 1996.
Albrecht, A.J. and Gaffney, J.E. Jr.: Software function, source lines of code, and development effort prediction: a software science validation, IEEE Transactions on Software Engineering, SE-9(6) 639–648, 1983.
COSMIC FFP Measurement Manual, version 2.1, Laboratoire de Recherche en Gestion des Logiciels (LRGL), Université du Québec à Montréal, Québec, Canada, May 2001. http://www.cosmicon.com.
Diab, H.: Counting Function Points From B Specifications, Technical Report 246, Dépt. de mathématiques et d’informatique, Université de Sherbrooke, Québec, Canada, January 1999.
Dreger, J.B.: Function points analysis, Prentice-Hall, 1989.
Facon P., Laleau R., and Nguyen H. P.: Mapping Object Conceptual Diagrams into B Specifications. In: Methods Integration Workshop, Springer-Verlag, 1996.
Frappier, M.: An Overview of Formal Specification Languages and their Adequacy for Formalizing the Definition of Function Points, Technical Report, Département de mathématiques et d’informatique, Université de Sherbrooke, Sherbrooke, February, 1999.
Furey, S. and Kitchenham, B.: Point / counterpoint function points, IEEE Software, 14(2) 28–33, 1997.
Habrias, H.: La mesure du logiciel, Teknea, 1994.
IFPUG: Function Points Counting Practices Manual, Release 4.1, International Function Points Users Group, 1999. http://www.ifpug.org
Jeffery, D.R. and Low, G.C.: Comparison of function point counting techniques, IEEE Transactions on Software Engineering, SE-19(5) 529–532, 1993.
Kemerer, C.F. and Porter, B.S.: Improving the reliability of function point measurement: An empirical study, IEEE Transactions on Software Engineering, 18(11) 1011–1024, 1992.
Kemerer, C.F.: Reliability of function point measurement: A field experiment, Communications of the ACM, 36(2) 85–97, 1993.
Labyad, S., Frappier, M., St-Denis, and R., Déry, D.: Calcul des points de fonction à partir du diagramme de cas d’utilisation de la notation UML, in 9 th International Workshop on Software Measurement, September 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Diab, H., Frappier, M., St-Denis, R. (2002). A Formal Definition of Function Points for Automated Measurement of B Specifications. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_49
Download citation
DOI: https://doi.org/10.1007/3-540-36103-0_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00029-7
Online ISBN: 978-3-540-36103-9
eBook Packages: Springer Book Archive