Abstract
Among researchers and practitioners, there are disputations about whether, where, and to which degree formal methods worth their cost. Based on our experiences of industrial software projects over the last years, we develop an empirical approach of partially introducing formal methods into object-oriented software development. Once an initial architecture design is available, object-oriented metrics can be useful criteria for selecting core parts of software systems for formal treatment. Case studies of the application of our approach show that partially adopting formal methods could achieve a satisfying balance between investment and product quality in a cost-effective way.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Kneuper, R.: Limits of Formal Methods. Formal Aspects of Computing 9(4), 379–394 (1997)
Sommerville, I.: Software Engineering, 7th edn. Addison-Wesley, Reading (2004)
Mills, H.D., Dyer, M., Linger, R.C.: Cleanroom Software Engineering. IEEE Software 4(5), 19–24 (1987)
Vienneau, R.L.: A Review of Formal Methods. In: Dorfman, M., Thayer, R.H. (eds.) Software Engineering, pp. 181–192. IEEE Computer Society Press, Los Alamitos (1996)
Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Clarke, E.M., Wing, J.M.: Formal Methods: State of the Art and Future Directions. CMU-CS-96-178, Carnegie-Mellon University, Pittsburgh, PA (1996)
Heitmeyer, C.L.: Developing High Quality Software with Formal Methods: What Else Is Needed? In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 13–19. Springer, Heidelberg (2005)
Craigen, D., Gerhart, S., Ralston, T.: An International Survey of Industrial Applications of Formal Methods. NIST GCR 93/626, National Technical Information Service, VA (1993)
Kan, S.H.: Metrics and Models in Software Quality Engineering, 2nd edn. Addison-Wesley, Reading (2003)
Boehm, B.: COCOMO II Definition Manual. Univ. of Southern California (1997), available at: http://sunset.usc.edu/research/COCOMOII
Zheng, Y.J., Wang, K., Xue, J.Y.: An Extension of COCOMO II for the B-Method. In: Proceedings of 7th International Workshop on Economics-Driven Software Engineering Research. ACM Press, New York (2006)
Shull, F., Carver, J., Travassos, G.H.: An Empirical Methodology for Introducing Software Processes. In: Proceedings of European Software Engineering Conference, pp. 288–296. ACM Press, New York (2001)
Barnard, J.: A New Reusability Metric for Object-Oriented Software. Software Quality Journal 7(1), 35–50 (1998)
Chidamber, S.R., Kemerer, C.F.: A Metrics Suite for Object-Oriented Design. IEEE Transactions on Software Engineering 20(6), 476–493 (1994)
Lorenz, M., Kidd, J.: Object-Oriented Software Metrics: A Practical Guide. Prentice-Hall, New York (1994)
Deck, M.: Cleanroom and Object-Oriented Software Engineering: A Unique Synergy. In: Proceedings of 8th Annual Software technology Conference, Salt Lake City, UT (1996)
Andrews, A., Stringfellow, C.: Quantitative Analysis of Development Defects to Guide Testing: A Case Study. Software Quality Journal 9(3), 195–214 (2001)
Binkley, A.B., Schach, S.R.: Prediction of Run-time Failures using Static Product Quality Metrics. Software Quality Journal 7(2), 141–147 (1998)
Zhang, Z.Q., Zheng, Y.J., Li, H.Y.: B-Method based approach for designing ballistic computers. Computer Engineering and Design 26(12), 3295–3298 (2005)
Bellin, D., Tyagi, M., Tyler, M.: Object-Oriented Metrics: An Overview. In: Proceedings of 1994 Conference on the Centre for Advanced Studies on Collaborative Research. IBM Press, Carlsbad (1994)
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Reading (2003)
Henry, S.M., Kafura, D.: Software Structure Metrics Based on Information Flow. IEEE Transactions on Software Engineering 7(5), 510–518 (1981)
Daskalantonakis, M.K.: A Practical View of Software Measurement and Implementation Experiences within Motorola. IEEE Transactions on Software Engineering 18(11), 998–1010 (1992)
Gogolla, M.: Benefits and Problems of Formal Methods. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 1–15. Springer, Heidelberg (2004)
Mayer, T., Hall, T.: A critical analysis of OO design metrics. Software Quality Journal 8(2), 97–110 (1999)
Fenton, N.E., Neil, M.: A Critique of Software Defect Prediction Models. IEEE Transactions on Software Engineering 25(2), 675–689 (1999)
Briand, L.C., Wust, J., Lounis, H.: Replicated Case Studies for Investigating Quality Factors in Object-Oriented Designs. Empirical Software Engineering 6(1), 11–58 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zheng, Y., Wang, J., Wang, K., Xue, J. (2006). Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. In: Misra, J., Nipkow, T., Sekerinski, E. (eds) FM 2006: Formal Methods. FM 2006. Lecture Notes in Computer Science, vol 4085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11813040_14
Download citation
DOI: https://doi.org/10.1007/11813040_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37215-8
Online ISBN: 978-3-540-37216-5
eBook Packages: Computer ScienceComputer Science (R0)