Goal-driven combination of software comprehension approaches for component based development

ABSTRACT

This paper reports on our approaches to combine various software comprehension techniques (and technologies) in order to establish confidence whether a given reusable component satisfies the needs of the intended reuse situation. Some parts of the problem we are addressing result from differences in knowledge representation about a component depending on whether this component is a well documented in-house development, some externally built componentry, or a COTS-component.

REFERENCES

• 1: Rakesh Agrawal , Dimitrios Gunopulos , Frank Leymann, Mining Process Models from Workflow Logs, Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology, p.469-483, March 23-27, 1998
• 2: Dana Angluin, Learning regular sets from queries and counterexamples, Information and Computation, v.75 n.2, p.87-106, November 1, 1987 [doi>10.1016/0890-5401(87)90052-6]
• 3: D. Angluin. Identifying Languages from Stochastic Examples. Technical report, Yale University, 1988.
• 4: B. Balzer, T. Katayama, and D. Perry. Proc. International Workshop on Principles of Software Evolution (IW-PSE98). 1998.
• 5: I. Burnstine, A. Mirza, K. Roberson, F. Saner, and A. Roberson. Knowledge engineering for automated program recognition and fault localization. In Proceedings 8th International Conference on Software Engineering and Knowledge Engineering SEKE '96, pages 85-91, june 1996.
• 6: J. Chang and D. J. Richardson. Static and Dynamic Specification Slicing. Technical report, Department of Information and Computer Science, University of California, 1994.
• 7: U. E. Fojan. Spezifikationsbasiertes Testen objektorientierter Software. Master's thesis, Universit. at Klagenfurt, . Osterreich, 1998.
• 8: E. M. Gold. Complexity of Automatic Identification from given Data. Information and Control, 10:302-320, 1978.
• 9: Harald Gall , Mehdi Jazayeri , Claudio Riva, Visualizing Software Release Histories: The Use of Color and Third Dimension, Proceedings of the IEEE International Conference on Software Maintenance, p.99, August 30-September 03, 1999
• 10: Anthony Hall, Seven Myths of Formal Methods, IEEE Software, v.7 n.5, p.11-19, September 1990 [doi>10.1109/52.57887]
• 11: Daniel Jackson, Structuring Z specifications with views, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.4, p.365-389, Oct. 1995 [doi>10.1145/226241.226249]
• 12: G. Kaiser and D. Garlan. Melding software systems from reusable building blocks. IEEE Software, 4(4):17-24, july 1987.
• 13: L. Latour, editor. 8th Workshop on Institutionalizing Software Reuse (WISR8), Columbus, OH, USA, March 23-26 1997.
• 14: G. T. Leavens and C. Ruby. Specification Facets for More Precise, Focused Documentation. In Latour {13}.
• 15: M. Lenz, H. Schmidt, and P. Wolf. Software reuse through building blocks. IEEE Software, 4(4):34-42, july 1987.
• 16: R. Mittermeir. Die dimensionen von information. In B. A., editor, Kultur - Information - Informationskultur, pages 91-101, 1996.
• 17: Roland T. Mittermeir, Comprehending by varying Focal Distance, Proceedings of the 8th International Workshop on Program Comprehension, p.3, June 10-11, 2000
• 18: R. T. Mittermeir and H. Pozewaunig. Classifying Components by Behavioral Abstraction. In Wang {31}, pages 547-550.
• 19: 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
• 20: Hausi A. Müller , Scott R. Tilley , Kenny Wong, Understanding software systems using reverse engineering technology perspectives from the Rigi project, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering, October 24-28, 1993, Toronto, Ontario, Canada
• 21: H. A. M. uller, K. Wong, and S. R. Tilley. Understanding Software Systems Using Reverse Engineering Technology. In Colloquium on Object Orientation in Databases and Software Engineering; The 62nd Congress of L'Association Canadienne Francaise pour L'Avancement des Sciences. ACFAS, 1994.
• 22: A. Jefferson Offutt , Zhenyi Jin , Jie Pan, The dynamic domain reduction procedure for test data generation, Software—Practice & Experience, v.29 n.2, p.167-193, Feb. 1999 [doi>10.1002/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.3.CO;2-M]
• 23: H. Pozewaunig and R. T. Mittermeir. Self Classifying Components - Generating Decision Trees from Test Cases. In S.-K. Chang, editor, Proceedings of the 12th International Conference on software engineering & Knowledge Engineering - SEKE2000, pages 352-360, Chicago, Ill, USA, July 2000.
• 24: D. Rauner-Reithmayer and R. T. Mittermeir. Behavior Abstraction to support Reverse Engineering. In International Conference on Software Engineering and Knowledge Engineering SEKE'98, San Francisco, USA, June 1998.
• 25: John T. Stasko , Marc H. Brown , Blaine A. Price, Software Visualization, MIT Press, Cambridge, MA, 1997
• 26: M.-A. Storey, K.Wong, and H.A.M. uller. How Do Program Understanding Tools Affect How Programmers Understand Programs? Technical report, School of Computing Science, Simon Fraser University, 1998.
• 27: M. Taschwer , D. Rauner-Reithmayer , R. Mittermeir, Generating Objects from C Code - Features of the CORET Tool-Set, Proceedings of the Third European Conference on Software Maintenance and Reengineering, p.91, March 03-05, 1999
• 28: Scott R. Tilley , Hausi A. Müller , Mehmet A. Orgun, Documenting software systems with views, Proceedings of the 10th annual international conference on Systems documentation, p.211-219, October 13-16, 1992, Ottawa, Ontario, Canada [doi>10.1145/147001.147033]
• 29: W. Tracz. Software reuse: Motivators and inhibitors. In Proceedings COMPCON S'87, pages 358-363, 1987.
• 30: Allen B. Tucker, Jr., The computer science and engineering handbook, CRC Press, Inc., Boca Raton, FL, 1996
• 31: P. P. Wang, editor. JCIS'98 - 4th Joint Conference on Information Sciences, RTP, North Carolina, USA, October, 23-28 1998. Association for Intelligent Machinery.
• 32: Mark Weiser, Programmers use slices when debugging, Communications of the ACM, v.25 n.7, p.446-452, July 1982 [doi>10.1145/358557.358577]
• 33: K. Wong. Rigi User's Manual. Department of Computer Science University of Victoria, June 1998.

INDEX TERMS

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

Additional Classification:
  I. Computing Methodologies
  I.3 COMPUTER GRAPHICS

General Terms:
Design, Management, Performance, Theory

Keywords:
cognitive models, program comprehension, software visualization, specification animation, trace analysis