Understanding the shape of Java software

ABSTRACT

Large amounts of Java software have been written since the language's escape into unsuspecting software ecology more than ten years ago. Surprisingly little is known about the structure of Java programs in the wild: about the way methods are grouped into classes and then into packages, the way packages relate to each other, or the way inheritance and composition are used to put these programs together. We present the results of the first in-depth study of the structure of Java programs. We have collected a number of Java programs and measured their key structural attributes. We have found evidence that some relationships follow power-laws, while others do not. We have also observed variations that seem related to some characteristic of the application itself. This study provides important information for researchers who can investigate how and why the structural relationships we find may have originated, what they portend, and how they can be managed.

REFERENCES

• 1: A. Barabasi. Linked: the New Science of Networks. Perseus Press, New York, 2002.
• 2: A. L. Barabasi and R. Albert. Emergence of scaling in random networks. Science, 286:509--512, 1999.
• 3: Douglas W. Clark , C. Cordell Green, An empirical study of list structure in Lisp, Communications of the ACM, v.20 n.2, p.78-87, Feb. 1977 [doi>10.1145/359423.359427]
• 4: C. Collberg, G. Myles, and M. Stepp. An empirical study of Java bytecode programs. Technical Report TR04-11, Department of Computer Science, Univeristy of Arizona, 2004.
• 5: Sylvia Dieckmann , Urs Hölzle, A Study of the Allocation Behavior of the SPECjvm98 Java Benchmark, Proceedings of the 13th European Conference on Object-Oriented Programming, p.92-115, June 14-18, 1999
• 6: Kate Ehrlich , Elliot Soloway, An empirical investigation of the tacit plan knowledge in programming, Human factors in computer systems, Ablex Publishing Corp., Norwood, NJ, 1984
• 7: Norman Fenton , Shari Lawrence Pfleeger, Software metrics (2nd ed.): a rigorous and practical approach, PWS Publishing Co., Boston, MA, 1997
• 8: Frederick P. Brooks, Jr., Three great challenges for half-century-old computer science, Journal of the ACM (JACM), v.50 n.1, p.25-26, January 2003 [doi>10.1145/602382.602397]
• 9: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 10: Joseph (Yossi) Gil , Itay Maman, Micro patterns in Java code, Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
• 11: James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java Language Specification, Second Edition: The Java Series, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 12: Christian Grothoff , Jens Palsberg , Jan Vitek, Encapsulating objects with confined types, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, p.241-255, October 14-18, 2001, Tampa Bay, FL, USA
• 13: Jan Heering, Quantification of structural information: on a question raised by Brooks, ACM SIGSOFT Software Engineering Notes, v.28 n.3, May 2003 [doi>10.1145/773126.773141]
• 14: S. Hunston. Corpora in Applied Linguistics. Cambridge University Press, 2002.
• 15: C. Jones. Programming productivity. McGraw-Hill, Inc., New York, NY, USA, 1986.
• 16: D. E. Knuth. An empirical study of FORTRAN programs. Software - Practice and Experience, 1(2):105--133, 1971.
• 17: Philippe Kruchten, The Rational Unified Process: An Introduction, Second Edition, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 18: J. Laherrere and D. Sornette. Stretched exponential distributions in nature and economy: "fat tails" with characteristic scales. The European Physical Journal B, 2:525, 1998.
• 19: H. Melton and E. Tempero. An empirical study of cycles among classes in Java. Technical Report UoA-SE-2006-1, Department of Computer Science, University of Auckland, 2006.
• 20: Hayden Melton , Ewan Tempero, Identifying refactoring opportunities by identifying dependency cycles, Proceedings of the 29th Australasian Computer Science Conference, p.35-41, January 16-19, 2006, Hobart, Australia
• 21: M. E. J. Newman. Power laws, Pareto distributions and Zipf's law. Contemporary Physics, 46(5):323--351, Sept. 2005.
• 22: James Noble , Robert Biddle, Visualising 1,051 visual programs module choice and layout in the Nord Modular patch language, Proceedings of the 2001 Asia-Pacific symposium on Information visualisation, p.121-127, December 01, 2001, Sydney, Australia
• 23: J. Noble and R. Biddle. Software Visualization, chapter Visual Program Visualisation. Kluwer, 2003.
• 24: Object Management Group. Unified Modeling Language (UML ) 1.5 specification, 2004.
• 25: Alex Potanin , James Noble , Robert Biddle, Checking ownership and confinement: Research Articles, Concurrency and Computation: Practice & Experience, v.16 n.7, p.671-687, June 2004 [doi>10.1002/cpe.v16:7]
• 26: Alex Potanin , James Noble , Marcus Frean , Robert Biddle, Scale-free geometry in OO programs, Communications of the ACM, v.48 n.5, p.99-103, May 2005 [doi>10.1145/1060710.1060716]
• 27: Sandeep Purao , Vijay Vaishnavi, Product metrics for object-oriented systems, ACM Computing Surveys (CSUR), v.35 n.2, p.191-221, June 2003 [doi>10.1145/857076.857090]
• 28: Ricard V. Solé , Ramon Ferrer-Cancho , Jose M. Montoya , Sergi Valverde, Selection, tinkering, and emergence in complex networks, Complexity, v.8 n.1, p.20-33, September 2002 [doi>10.1002/cplx.10055]
• 29: Clemens Szyperski, Component software: beyond object-oriented programming, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998
• 30: S. Valverde, R. Ferrer-Cancho, and R. V. Solé. Scale-free networks from optimal design. Europhysics Letters, 60(4):512--517, Nov. 2002.
• 31: S. Valverde and R. V. Solé. Hierarchical small-worlds in software architecture. Under review, IEEE Transactions in Software Engineering. An earlier versino is available as Sante Fe Institute Working Paper 03-07-044, 2005.
• 32: W. Weibull. A statistical distribution function of wide applicability. ASME Journal Of Applied Mechanics, pages 293--297, Sept. 1951.
• 33: Gerald M. Weinberg, The Psychology of Computer Programming, John Wiley & Sons, Inc., New York, NY, 1985
• 34: R. Wheeldon and S. Counsell. Power law distributions in class relationships. In Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM03), 2003.

INDEX TERMS

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

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming

General Terms:
Design, Measurement

Keywords:
Java, object-oriented design, power-law distributions