The Community for Technology Leaders
Green Image
<p>A demonstration-quality graphics-assisted debugger is developed for intertask communication in Ada. Based on the static task-specification diagrams of G. Booch, 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.</p>
demonstration tool; graphics-assisted debugging; Ada concurrent programs; intertask communication; static task-specification diagrams; communicating tasks; DEC GIGI terminal; VAX 11-780; partial Ada compiler; tasking programs; graphical debugger; Ada; computer graphics; parallel programming; program debugging; program verification; software tools.

M. Moran and M. Feldman, "Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs," in IEEE Transactions on Software Engineering, vol. 15, no. , pp. 305-313, 1989.
87 ms
(Ver 3.3 (11022016))