Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs

A demonstration-quality graphics-assisted debugger is developed for intertask communication in Ada. Based on the static task-specification diagrams of G. Booch (Software Engineering with Ada, Benjamin/Cummings, 1983), the debugger animates the activity of a collection of communicating tasks, and it runs on a DEC GIGI terminal connected to a VAX 11-780 under TeleSoft's partial Ada compiler. The model has been subjected to empirical validation, using undergraduate students as experimental subjects. Subjects were required to debug erroneous tasking programs using both the graphical debugger and a textual one. It is concluded that although the problems to be addressed in the development and evaluation of a graphical debugging tool for Ada tasks are nontrivial, the benefits could be worth the effort. >

[1]  Wayne C. Gramlich.  Debugging methodology: session summary , 1983 .

[2]  Steven M. German,et al.  Monitoring for deadlocks in Ada tasking , 1982, AdaTEC '82.

[3]  Claude Mauger,et al.  An event-driven debugger for Ada , 1985 .

[4]  Grady Booch,et al.  Software engineering with Ada , 1983 .

[5]  Boris Beizer,et al.  Software System Testing and Quality Assurance , 1984 .

[6]  Robert Sedgewick,et al.  Techniques for Algorithm Animation , 1985, IEEE Software.

[7]  Steven M. German.  Monitoring for Deadlock and Blocking in Ada Tasking , 1984, IEEE Transactions on Software Engineering.

[8]  Robert L. Sedlmeyer,et al.  Knowledge-based fault localization in debugging: preliminary draft , 1983 .

[9]  Melinda Lee Moran.  A graphical debugger for concurrent ada programs , 1985 .

[10]  Stefano Ceri,et al.  Execution monitoring and debugging tool for Ada using relational algebra , 1985 .

[11]  John D. Johnson,et al.  Implementation issues for a source level symbolic debugger , 1983 .

[12]  Edwin H. Satterthwaite,et al.  Source Language Debugging Tools , 1975, Outstanding Dissertations in the Computer Sciences.

[13]  C. M. Woodside,et al.  An overview and example of application of CAEDE: a new, experimental design environment for Ada , 1985 .

[14]  Robert L. Sedlmeyer,et al.  Knowledge-based fault localization in debugging , 1983, J. Syst. Softw..

[15]  Monika Müllerburg.  The role of debugging within software engineering environments , 1983, ACM SIGPLAN Notices.

[16]  Alan Burns.  Concurrent programming in Ada , 1985 .

[17]  A. BuhrR.J.,et al.  An overview and example of application of CAEDE , 1985 .

[18]  Nelson H. Weiderman,et al.  An animated instructional model for Ada tasking , 1985, WADAS '85.

[19]  Mark Sherman,et al.  View-3 and Ada: tools for building systems with many tasks , 1984, WADAS '84.