An overview of debugging tools

ABSTRACT

This paper reviews empirical studies on debugging models and the findings associated with these models. There is a discussion on the evolution of program slicing applied to program debugging and different generations of debugging tools are analyzed and criticized.Finally, a programming environment section provides examples of program maintenance tools.

REFERENCES

• 1: Beth Adelson, Evaluating and debugging analogically acquired models, Proceedings of the third international conference on human-computer interaction on Designing and using human-computer interfaces and knowledge based systems (2nd ed.), p.51-58, September 1989, Boston, Massachusetts, United States
• 2: Hiralal Agrawal , Richard A. Demillo , Eugene H. Spafford, Debugging with dynamic slicing and backtracking, Software—Practice & Experience, v.23 n.6, p.589-616, June 1993 [doi>10.1002/spe.4380230603]
• 3: Hiralal Agrawal , Joseph R. Horgan, Dynamic program slicing, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.246-256, June 1990, White Plains, New York, United States
• 4: [Bean83] Beander, B., "VAX DEBUG: An Interactive, Symbolic, Multilingual Debugger", Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, SIGPLAN NOTICES, Vol. 18(8), Aug., 1983, pp. 173-179.
• 5: Stephen R. Bourne, The UNIX system V environment, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 6: James R. Cardell, Multilingual debugging with the SWAT high-level debugger, ACM SIGPLAN Notices, v.18 n.8, August 1983
• 7: Peter Fritzson , Tibor Gyimothy , Mariam Kamkar , Nahid Shahmehri, Generalized algorithmic debugging and testing, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, p.317-326, June 24-28, 1991, Toronto, Ontario, Canada
• 8: [Frit83] Fritzson, P., "Symbolic Debugging Through Incremental Compilation in an Integrated Environment", The Journal of Systems and Software, Vol. 3, 1983, pp. 285-294.
• 9: Jane M. Fraser , Philip J. Smith , Jack W. Smith, Jr., A catalog of errors, International Journal of Man-Machine Studies, v.37 n.3, p.265-307, Sept. 1992 [doi>10.1016/0020-7373(92)90056-Q]
• 10: Keith Brian Gallagher , James R. Lyle, Using Program Slicing in Software Maintenance, IEEE Transactions on Software Engineering, v.17 n.8, p.751-761, August 1991 [doi>10.1109/32.83912]
• 11: [Gilm91] Gilmore, D.J., "Models of debugging", Acta Psychologica, Vol. 78, 1991, pp.151-172.
• 12: [HaHa90] Hall, C., Hammond, K., and O'Donnell, J., "An Algorithmic and Semantic Approach to Debugging", Proceedings of the 1990 Glasgow Workshop on Functional Programming, Aug., 1990, pp. 44-53.
• 13: S. Horwitz , T. Reps , D. Binkley, Interprocedural slicing using dependence graphs, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.35-46, June 20-24, 1988, Atlanta, Georgia, United States
• 14: Susan Horwitz , Thomas Reps , David Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.26-60, Jan. 1990 [doi>10.1145/77606.77608]
• 15: Susan Horwitz , Thomas Reps, Efficient comparison of program slices, Acta Informatica, v.28 n.9, p.713-732, Nov. 1991
• 16: [HoWa91] Hopkins, T. and Wallis, S.K., "Declarative Objects for Simulation", Proceedings of the IEE Colloquium on Object-Oriented Simulation and Control, March, 1991, pp. 4/1-4/4.
• 17: Pankaj Jalote, An integrated approach to software engineering, Springer-Verlag New York, Inc., New York, NY, 1991
• 18: [KaAn87] Katz, I. and Anderson, J.R., "Debugging: An Analysis of Bug-Location Strategies", Human-Computer Interaction, Vol. 3, 1987-1988, pp. 351-399.
• 19: B. Korel , J. Laski, Dynamic program slicing, Information Processing Letters, v.29 n.3, p.155-163, October 26, 1988 [doi>10.1016/0020-0190(88)90054-3]
• 20: [KoSo86] Kolb, D., Sommer, M, and Stadel, M., "Programming Environment", Computer Physics Communications, Vol. 41, 1986, pp. 227-244.
• 21: [LaMa92] Law, R.C.H., Maguire, R.B., and Mohamed, A.S.A., "An Expert System for Determining Treatment Times for the Amersham Caesium 137 Treatment of Uterine Tumors", Congressus Numerantium, Vol. 87, March, 1992, pp. 97-105.
• 22: [LaMa93] Law, R.C.H. and Maguire, R.B., "A Critical Survey of Intelligent Tutoring Systems", Congress Numerantium, Vol. 92, April, 1993, pp. 55-64.
• 23: [LaMo92] Law, R.C.H., Mohamed, A.S.A., and Maguire, R.B., "Treatment Times for Amersham Caesium-137 Manual Afterloading System", Journal of Computers in Biology and Medicine, Vol. 22, No. 5, 1992, pp. 337-349.
• 24: [Law93] Law, R.C.H, "Evaluating the Program Slicing Technique", SIAST TODAY, Vol. 4 (6), June, 1993, p.6.
• 25: [LeMe91] Lejter, M., Meyers, S., and Reiss, S.P., "Support for Maintaining Object-Oriented Programs", Proceedings of the Conference on Software Maintenance, Oct., 1991, pp. 171-178.
• 26: Moises Lejter , Scott Meyers , Steven P. Reiss, Support for Maintaining Object-Oriented Programs, IEEE Transactions on Software Engineering, v.18 n.12, p.1045-1052, December 1992 [doi>10.1109/32.184759]
• 27: T. G. Lewis, CASE: computer-aided software engineering, Van Nostrand Reinhold Co., New York, NY, 1990
• 28: James Robert Lyle, Evaluating variations on program slicing for debugging (data-flow, ada), University of Maryland at College Park, College Park, MD, 1984
• 29: [LyWe87] Lyle, J.R. and Weiser, M., "Automatic Program Bug Location by Program Slicing", Proceedings of the Second International Conference on Computers and Applications, June, 1987, pp. 877-883.
• 30: [Meye90] Meyers, S., "Working with Object-Oriented Programs: The View from the Trenches is Not Always Pretty", Proceedings of the Symposium on Object-Oriented Programming Emphasizing Practical Applications, Sept., 1990, pp. 51-65.
• 31: [MoRo85] Morris, N.M. and Rouse, W.B., "Review and Evaluation of Empirical Research in Troubleshooting", Human Factors, Vol. 27(5), 1985, pp. 503-530.
• 32: Patrick D. O'Brien , Daniel C. Halbert , Michael F. Kilian, The Trellis programming environment, Conference proceedings on Object-oriented programming systems, languages and applications, p.91-102, October 04-08, 1987, Orlando, Florida, United States
• 33: Edward G. Okie , James D. Arthur, The execution history approach to intelligent debugging, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.273-281, February 1988, Atlanta, Georgia, United States [doi>10.1145/322609.322653]
• 34: Paul W. Oman , Curtis R. Cook , Murthi Nanja, Effects of programming experience in debugging semantic errors, Journal of Systems and Software, v.9 n.3, p.197-207, March 1989 [doi>10.1016/0164-1212(89)90040-X]
• 35: Steven P. Reiss, Graphical program development with PECAN program development systems, ACM SIGPLAN Notices, v.19 n.5, p.30-41, May 1984
• 36: S. P. Reiss, Interacting with the FIELD environment, Software—Practice & Experience, v.20 n.S1, p.89-115, June 1990 [doi>10.1002/spe.4380201308]
• 37: [ReMe90] Reiss, S.P. and Meyers, S., "FIELD Support for C++", 1990 USENIX C++ Conference Proceedings, April, 1990, pp. 293-299.
• 38: [ScGo90] Scherz Z., Goldberg, D., and Fund, Z., Cognitive Implications of Learning Prolog- Mistakes and Misconceptions , Journal of Educational Computing Research, Vol. 6(1), 1990, pp. 89-110.
• 39: Herbert Schildt, Turbo C/C++ (2nd ed.): the complete reference, Osborne/McGraw-Hill, Berkeley, CA, 1992
• 40: [Sevi87] Seviro, R.E., Knowledge-Based Program Debugging Systems, IEEE Software, Vol. 4(3), May, 1987, pp. 20-32.
• 41: Takao Shimomura , Sadahiro Isoda, Linked-List Visualization for Debugging, IEEE Software, v.8 n.3, p.44-51, May 1991 [doi>10.1109/52.88943]
• 42: [ShKa90] Shahmehri, N., Kamkar, M., and Fritzson, P., "Semi-automatic Bug Localization in Software Maintenance", Proceedings of the Conference on Software Maintenance, Nov., 1990, pp. 30-36.
• 43: James C. Spohrer , Elliot Soloway, Novice mistakes: are the folk wisdoms correct?, Communications of the ACM, v.29 n.7, p.624-632, July 1986 [doi>10.1145/6138.6145]
• 44: Martin Stitt, Debugging: creative techniques and tools for software repair, John Wiley & Sons, Inc., New York, NY, 1992
• 45: [TeMa81] Teitelman, W. and Masinter, L., "The Interlisp Programming Environment", Computer, Vol. 14(4), April, 1981, pp. 25-34.
• 46: Iris Vessey, Toward a theory of computer program bugs: an empirical test, International Journal of Man-Machine Studies, v.30 n.1, p.23-46, January 1989
• 47: [Ward88] Ward, R., "Beyond Design: The Discipline of Debugging", Computer Language, Vol. 5, No. 4, April, 1988, pp. 37-39.
• 48: 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]
• 49: [Weis84] Weiser, M., "Program Slicing", IEEE Transactions on Software Engineering, Vol. SE-10, No. 4, July, 1984, pp. 352-357.
• 50: [WhBe85] White, N.H. and Bennett, K.H., "Run-time Diagnosis in Pascal", Software-Practice and Experience, Vol. 15(4), April, 1985, pp. 359-367.
• 51: Norman Wilde , Ross Huitt, A reusable toolset for software dependency analysis, Journal of Systems and Software, v.14 n.2, p.97-102, Feb. 1991 [doi>10.1016/0164-1212(91)90094-M]
• 52: [Yazd86] Yazdami, M., "Intelligent tutoring systems: An overview", Expert Systems, July, 1986, Vol. 3, No. 3, pp. 154-183.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Documentation