Tool support for planning the restructuring of data abstractions in large systems

ABSTRACT

Restructuring software to improve its design can lower software maintenance costs. One problem in carrying out such a restructuring is planning the new detailed design. The star diagram manipulable visualization can help a programmer redesign a program based on abstract data types. However, our measurements revealed that the view can be too large for a programmer to effectively assimilate. Also, design plans can be expressed only by restructuring, although our studies revealed that it is beneficial to preplan a restructuring. Finally, the tool user can build a star diagram for only a single data structure, although an abstract data type might actually have several components or have multiple instantiations.Exploiting basic properties of the star diagram can mitigate these problems. First, programmer-controlled elision can remove clutter from the star diagram view. Second, elision and annotation of star diagram components can mimic restructuring, thereby supporting the planning of a restructuring. Such support also allows for the planning of a non-restructuring maintenance task. Finally, to dynamically control what data structures are visualized, the tool user can union star diagrams.We built a star diagram planning tool for C programs, measured its elision capabilities, and performed a programmer study for the encapsulation of a widely-used data structure in a 28,000 line program. We found that the amount of elision can be substantial, but is not always adequate. In the study we found that each programming team successfully planned their restructuring in rather different, unanticipated ways.

REFERENCES

• Adams 80: S. Adams. Pirate's adventure. Byte, 5(12):192-212, December 1980.
• Ball & Eick 94: T. Ball and S. G. Eick, Visualizing program slices. In Proceedings of the IEEE Symposium on Visual Languages, pages 288-295, October 1994.
• Belady & Lehman 71: M. M. Lehman , L. A. Belady, Program evolution: processes of software change, Academic Press Professional, Inc., San Diego, CA, 1985
• Boehm 75: B. W. Boehm. The high cost of software. In E, Horowitz, editor, Practical Strategies for Developing Large Software Systems. Addison-Wesley, Reading, MA, 1975.
• Bowdidge & Griswold 94: Robert W. Bowdidge , William G. Griswold, Automated support for encapsulating abstract data types, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.97-110, December 06-09, 1994, New Orleans, Louisiana, United States
• Bowdidge 95: Robert William Bowdidge , William G. Griswold, Supporting the restructuring of data abstractions through manipulation of a program visualization, 1995
• Brothers 89: L, Brothers. omega {A complex, rogue-like game of dungeon exploration}, Copyright 1989. Available from: [e-mail].
• Chen 96: M. L Chen. A tool for planning the restructuring of data abstractions in large systems. Masters Thesis, University of California, San Diego, Department of Computer Science and Engineering, February 1996. Technical Report CS96-472.
• Eick et al. 92: 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]
• Flor & Hutchins 91: N. V. Flor and E. L. Hutchins. Analyzing distributed cognition in software teams: A case study of team programming during perfective software maintenance. In J. Koenemann-Belliveau, T. G. Moher, and S. P. Robertson, editors, Empirical Studies of Programmers: Fourth Workshop, pages 36-64. Ablex, Norwood, NJ, 1991.
• Flor 94: N. Flor. Dynamic Organization in Multi-Agent Distributed Cognitive Systems. PhD dissertation, Cognitive Science Department, University of California, San Diego, 1994.
• Griswold & Notkin 93: William G. Griswold , David Notkin, Automated assistance for program restructuring, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.3, p.228-269, July 1993 [doi>10.1145/152388.152389]
• Griswold 91: William G. Griswold, Program restructuring as an aid to software maintenance, University of Washington, Seattle, WA, 1992
• Johnson & Opdyke 93: Ralph E. Johnson , William F. Opdyke, Refactoring and Aggregation, Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software, p.264-278, November 04-06, 1993
• Lientz & Swanson 80: Bennett P. Lientz , E. Burton Swanson, Software Maintenance Management, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1980
• Liskov & Zilles 74: Barbara Liskov , Stephen Zilles, Programming with abstract data types, Proceedings of the ACM SIGPLAN symposium on Very high level languages, p.50-59, March 28-29, 1974, Santa Monica, California, United States
• Miyake 86: N. Miyake. Constructive interaction and the iterative process of understanding, Cognitive Science, 10(2):151-177, 1986.
• Muller et al. 92: H. A. Müller , S. R. Tilley , M. A. Orgun , B. D. Corrie , N. H. Madhavji, A reverse engineering environment based on spatial and visual software interconnection models, Proceedings of the fifth ACM SIGSOFT symposium on Software development environments, p.88-98, December 09-11, 1992, Tyson's Corner, Virginia, United States
• Opdyke 92: W. F. Opdyke. Refactoring: A Program Restructuring Aid in Designing Object-Oriented Applications Frameworks. PhD dissertation, University of Illinois at Urbana-Champaign, Dept. of Computer Science, 1992. Technical Report No. 1759.
• Parnas 72: D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
• Stallman 93: R. Stallman. GNU Emacs (The extensible selfdocumenting text editor). Free Software Foundation, Cambridge, MA., November 1993. Available by anonymous ftp at prep. ai. mit. edu/pub/gnu.
• Weick 68: K. E. Weick. Systematic observational methods. In G. Lindzey and E. Aronson, editors, The Handbook of Social Psychology, pages 357451. Addison-Wesley, Reading, MA, 1968.
• Weiser 84: M. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
• Wildman 95: Daniel Wildman, Getting the most from paired-user testing, interactions, v.2 n.3, p.21-27, July 1995 [doi>10.1145/208666.208675]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Abstract data types

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: C
      D.3.3 Language Constructs and Features
          Subjects: Data types and structures

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

General Terms:
Algorithms, Design, Economics, Languages, Management, Measurement