Refining the axiomatic definition of internal software attributes

ABSTRACT

Several internal software attributes, like size, structural complexity, cohesion, coupling, have been introduced and used to reason about software engineering artifacts, and many measures have been proposed for them. Internal software attributes are important because they are believed to be related to quantities of industrial interest, like the number of defects or the development effort. However, the definition of internal software attributes still needs to be made more precise and formal, so measures can be defined that really quantify the attributes they purport to measure. In this paper, we extend, simplify, and refine an existing axiomatic approach that characterizes each internal attribute rigorously via a different set of axioms. This paper makes three specific contributions. First, the new proposal captures a larger set of aspects of software artifacts that may be relevant for internal software attributes than the original proposal did. Second, we identify the basic, foundational sets of axioms for each internal attribute studied, from which the other properties of the attribute can be derived, so the intrinsic properties of the attribute and their implications can be understood. Third, we investigate some relevant relationships among internal software attributes, so their similarities and differences, which are sometimes not well identified, are made more explicit.

REFERENCES

• 1: Edward B. Allen , Taghi M. Khoshgoftaar, Measuring Coupling and Cohesion: An Information-Theory Approach, Proceedings of the 6th International Symposium on Software Metrics, p.119, November 04-06, 1999
• 2: Lionel C. Briand , John W. Daly , Jürgen Wüst, A Unified Framework for Cohesion Measurement in Object-OrientedSystems, Empirical Software Engineering, v.3 n.1, p.65-117, 1998 [doi>10.1023/A:1009783721306]
• 3: Lionel C. Briand , John W. Daly , Jürgen K. Wüst, A Unified Framework for Coupling Measurement in Object-Oriented Systems, IEEE Transactions on Software Engineering, v.25 n.1, p.91-121, January 1999 [doi>10.1109/32.748920]
• 4: Lionel C. Briand , Sandro Morasca , Victor R. Basili, Property-Based Software Engineering Measurement, IEEE Transactions on Software Engineering, v.22 n.1, p.68-86, January 1996 [doi>10.1109/32.481535]
• 5: Lionel C. Briand , Sandro Morasca , Victor R. Basili, Response to: Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties", IEEE Transactions on Software Engineering, v.23 n.3, p.196-197, March 1997 [doi>10.1109/TSE.1997.585509]
• 6: Lionel C. Briand , Sandro Morasca , Victor R. Basili, Defining and Validating Measures for Object-Based High-Level Design, IEEE Transactions on Software Engineering, v.25 n.5, p.722-743, September 1999 [doi>10.1109/32.815329]
• 7: S. R. Chidamber , C. F. Kemerer, A Metrics Suite for Object Oriented Design, IEEE Transactions on Software Engineering, v.20 n.6, p.476-493, June 1994 [doi>10.1109/32.295895]
• 8: Norman E. Fenton, Software Metrics: A Rigorous Approach, Chapman & Hall, Ltd., London, UK, 1991
• 9: Maurice H. Halstead, Elements of Software Science (Operating and programming systems series), Elsevier Science Inc., New York, NY, 1977
• 10: S. Henry , D. Kafura, Software Structure Metrics Based on Information Flow, IEEE Transactions on Software Engineering, v.7 n.5, p.510-518, September 1981 [doi>10.1109/TSE.1981.231113]
• 11: Stefan Kramer , Hermann Kaindl, Coupling and cohesion metrics for knowledge-based systems using frames and rules, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.3, p.332-358, July 2004 [doi>10.1145/1027092.1027094]
• 12: K. B. Lakshmanan , S. Jayaprakash , P. K. Sinha, Properties of Control-Flow Complexity Measures, IEEE Transactions on Software Engineering, v.17 n.12, p.1289-1295, December 1991 [doi>10.1109/32.106989]
• 13: T. J. McCabe, A Complexity Measure, IEEE Transactions on Software Engineering, v.2 n.4, p.308-320, July 1976 [doi>10.1109/TSE.1976.233837]
• 14: Sandro Morasca, Measuring Attributes of Concurrent Software Specifications in Petri Nets, Proceedings of the 6th International Symposium on Software Metrics, p.100, November 04-06, 1999
• 15: S. Morasca , L. C. Briand, Towards A Theoretical Framework For Measuring Software Attributes, Proceedings of the 4th International Symposium on Software Metrics, p.119, November 05-07, 1997
• 16: E. I. Oviedo, "Control flow, data flow and program complexity," Proc. IEEE COMPSAC, pp. 146--152, Nov. 1980.
• 17: E. Pap, "Some elements of the classical measure theory," in Handbook of Measure Theory (ed. E. Pap), Elsevier, 2002.
• 18: Geert Poels , Guido Dedene, Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties", IEEE Transactions on Software Engineering, v.23 n.3, p.190-195, March 1997 [doi>10.1109/32.585508]
• 19: G. Poels, G. Dedene, "Distance-based software measurement: necessary and sufficient properties for software measures," Information and Software Technology, Vol. 42, no. 1, pp. 35--46, 2000.
• 20: R. E. Prather, "An axiomatic theory of software complexity measure," The Computer Journal, Vol. 27, no. 4, pp. 340--346, 1984.
• 21: F. S. Roberts, Measurement Theory, Addison-Wesley, Reading, 1979.
• 22: E. J. Weyuker, Evaluating Software Complexity Measures, IEEE Transactions on Software Engineering, v.14 n.9, p.1357-1365, September 1988 [doi>10.1109/32.6178]
• 23: Edward Yourdon , Larry L. Constantine, Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1979

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.8 Metrics
          Subjects: Product metrics

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.8 Metrics
          Subjects: Complexity measures

General Terms:
Measurement, Theory

Keywords:
cohesion, complexity, coupling, internal software attributes, size