Visually localizing design problems with disharmony maps

ABSTRACT

Assessing the quality of software design is difficult, as "design" is expressed through guidelines and heuristics, not rigorous rules. One successful approach to assess design quality is based on detection strategies, which are metrics-based composed logical conditions, by which design fragments with specific properties are detected in the source code. Such detection strategies, when executed on large software systems usually return large sets of artifacts, which potentially exhibit one or more "design disharmonies", which are then inspected manually, a cumbersome activity.

In this article we present disharmony maps, a visualization-based approach to locate such flawed software artifacts in large systems. We display the whole system using a 3D visualization technique based on a city metaphor. We enrich such visualizations with the results returned by a number of detection strategies, and thus render both the static structure and the design problems that affect a subject system. We evaluate our approach on a number of open-source Java systems and report on our findings.

REFERENCES

• 1: Sazzadul Alam , Philippe Dugerdil, EvoSpaces Visualization Tool: Exploring Software Architecture in 3D, Proceedings of the 14th Working Conference on Reverse Engineering, p.269-270, October 28-31, 2007 [doi>10.1109/WCRE.2007.26]
• 2: Andrews, K., Wolte, J., and Pichler, M. 1997. Information pyramids: A new approach to visualising large hierarchies. In Proceedings of VIS 1997, IEEE CS Press, 49--52.
• 3: Balzer, M., Noack, A., Deussen, O., and Lewerentz, C. 2004. Software landscapes: Visualizing the structure of large software systems. In Proceedings of VisSym 2004, Eurographics Association, 261--266.
• 4: Kent Beck, Extreme programming explained: embrace change, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 5: Jon Louis Bentley, Multidimensional binary search trees used for associative searching, Communications of the ACM, v.18 n.9, p.509-517, Sept. 1975 [doi>10.1145/361002.361007]
• 6: James M. Bieman , Byung-Kyoo Kang, Cohesion and reuse in an object-oriented system, Proceedings of the 1995 Symposium on Software reusability, p.259-262, April 29-30, 1995, Seattle, Washington, United States
• 7: Boccuzzo, S., and Gall, H. C. 2007. Cocoviz: Towards cognitive software visualizations. In Proceedings of VISSOFT 2007, IEEE CS Press, 72--79.
• 8: 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]
• 9: Stuart M. Charters , Claire Knight , Nigel Thomas , Malcolm Munro, Visualisation for informed decision making; from code to components, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy [doi>10.1145/568760.568891]
• 10: 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]
• 11: Elliot J. Chikofsky , James H. Cross II, Reverse Engineering and Design Recovery: A Taxonomy, IEEE Software, v.7 n.1, p.13-17, January 1990 [doi>10.1109/52.43044]
• 12: Demeyer, S., Tichelaar, S., and Ducasse, S. 2001. FAMIX 2.1 --- The FAMOOS Information Exchange Model. Tech. rep., University of Bern.
• 13: Stéphane Ducasse , Tudor Gîrba , Oscar Nierstrasz, Moose: an agile reengineering environment, Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, September 05-09, 2005, Lisbon, Portugal
• 14: Stephen G. Eick , Joseph L. Steffen , Eric E. Sumner, Jr., Seesoft-A Tool for Visualizing Line Oriented Software Statistics, IEEE Transactions on Software Engineering, v.18 n.11, p.957-968, November 1992 [doi>10.1109/32.177365]
• 15: Stephen G. Eick , Todd L. Graves , Alan F. Karr , J. S. Marron , Audris Mockus, Does Code Decay? Assessing the Evidence from Change Management Data, IEEE Transactions on Software Engineering, v.27 n.1, p.1-12, January 2001 [doi>10.1109/32.895984]
• 16: Len Erlikh, Leveraging Legacy System Dollars for E-Business, IT Professional, v.2 n.3, p.17-23, May 2000 [doi>10.1109/6294.846201]
• 17: Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 18: 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
• 19: Virtual but Visible Software, Proceedings of the International Conference on Information Visualisation, p.198, July 19-21, 2000
• 20: Guillaume Langelier , Houari Sahraoui , Pierre Poulin, Visualization-based analysis of quality for large-scale software systems, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA [doi>10.1145/1101908.1101941]
• 21: Michele Lanza , Stéphane Ducasse, Polymetric Views-A Lightweight Visual Approach to Reverse Engineering, IEEE Transactions on Software Engineering, v.29 n.9, p.782-795, September 2003 [doi>10.1109/TSE.2003.1232284]
• 22: Michele Lanza , Radu Marinescu , Stéphane Ducasse, Object-Oriented Metrics in Practice, Springer-Verlag New York, Inc., Secaucus, NJ, 2005
• 23: Andrian Marcus , Louis Feng , Jonathan I. Maletic, 3D representations for software visualization, Proceedings of the 2003 ACM symposium on Software visualization, June 11-13, 2003, San Diego, California [doi>10.1145/774833.774837]
• 24: Marinescu, C., Marinescu, R., Mihancea, P. F., Ratiu, D., and Wettel, R. 2005. iPlasma: An integrated platform for quality assessment of object-oriented design. In Proceedings of ICSM 2005, Industrial & Tool Volume, IEEE CS Press, 77--80.
• 25: Radu Marinescu, Detection Strategies: Metrics-Based Rules for Detecting Design Flaws, Proceedings of the 20th IEEE International Conference on Software Maintenance, p.350-359, September 11-14, 2004
• 26: 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]
• 27: H. A. Müller , K. Klashinsky, Rigi-A system for programming-in-the-large, Proceedings of the 10th international conference on Software engineering, p.80-86, April 11-15, 1988, Singapore
• 28: Thomas Panas , Rebecca Berrigan , John Grundy, A 3D Metaphor for Software Production Visualization, Proceedings of the Seventh International Conference on Information Visualization, p.314, July 16-18, 2003
• 29: Martin Pinzger , Harald Gall , Michael Fischer , Michele Lanza, Visualizing multiple evolution metrics, Proceedings of the 2005 ACM symposium on Software visualization, May 14-15, 2005, St. Louis, Missouri [doi>10.1145/1056018.1056027]
• 30: Pinzger, M. 2005. ArchView --- Analyzing Evolutionary Aspects of Complex Software Systems. PhD thesis, Vienna University of Technology.
• 31: Daniel Ratiu , Stéphane Ducasse , Tudor Gîrba , Radu Marinescu, Using History Information to Improve Design Flaws Detection, Proceedings of the Eighth Euromicro Working Conference on Software Maintenance and Reengineering (CSMR'04), p.223, March 24-26, 2004
• 32: Arthur J. Riel, Object-Oriented Design Heuristics, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 33: Mapping Information onto 3D Virtual Worlds, Proceedings of the International Conference on Information Visualisation, p.379, July 19-21, 2000
• 34: Ben Shneiderman, Tree visualization with tree-maps: 2-d space-filling approach, ACM Transactions on Graphics (TOG), v.11 n.1, p.92-99, Jan. 1992 [doi>10.1145/102377.115768]
• 35: Jilles van Gurp , Jan Bosch, Design erosion: problems and causes, Journal of Systems and Software, v.61 n.2, p.105-119, March 2002 [doi>10.1016/S0164-1212(01)00152-2]
• 36: Richard Wettel , Michele Lanza, Program Comprehension through Software Habitability, Proceedings of the 15th IEEE International Conference on Program Comprehension, p.231-240, June 26-29, 2007 [doi>10.1109/ICPC.2007.30]
• 37: Wettel, R., and Lanza, M. 2007. Visualizing software systems as cities. In Proceedings of VISSOFT 2007, IEEE CS Press, 92--99.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.1 Multimedia Information Systems
          Subjects: Artificial, augmented, and virtual realities

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.7 Distribution, Maintenance, and Enhancement
          Subjects: Restructuring, reverse engineering, and reengineering

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software maintenance

Keywords:
software design anomalies, software visualization