Bibliographic Details
| Title: |
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs. |
| Authors: |
Feldman, Michael B.1, Moran, Melinda L.2 |
| Source: |
IEEE Transactions on Software Engineering. Mar89, Vol. 15 Issue 3, p305-313. 9p. 7 Diagrams. |
| Subject Terms: |
*Visual programming languages (Computer science), *Concurrent engineering, Ada (Computer program language), Debugging, Computer graphics, Software validation |
| Abstract: |
The advent of high-resolution graphics workstations at reasonable cost offers great potential in the development of high-level, graphics-oriented debugging tools. The advent of programming languages, Ada, in particular, which support concurrency with high-level primitives, affords the opportunity to develop new models of debugging for programs incorporating concurrent tasks. The marriage of graphics and concurrency-oriented debugging can provide powerful tools indeed. We have developed a demonstration-quality graphics-assisted debugger for intertask communication in Ada. Based on the static task- specification diagrams of Booch, the debugger animates the activity of a collection of communicating tasks, and runs on a DEC CICI terminal connected to a VAX 11-780 under TeleSoft's Ada compiler. The model has been subjected to empirical validation, using under- graduate students as experimental subjects. Subjects were required to debug erroneous tasking programs using both the graphical debugger and a textual one. [ABSTRACT FROM AUTHOR] |
|
Copyright of IEEE Transactions on Software Engineering is the property of IEEE Computer Society and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Business Source Index |