AdaTAD - a debugger for the Ada multi-task environment

Simple item page
dc.contributor.authorFainter, Robert Gaffneyen
dc.contributor.committeechairLindquist, Timothy E.en
dc.contributor.committeememberGorsline, George W.en
dc.contributor.committeememberLee, John A.N.en
dc.contributor.committeememberBrown, Ezra A.en
dc.contributor.committeememberGreenstein, Joel S.en
dc.contributor.committeememberWilliges, Robert C.en
dc.contributor.departmentComputer Science and Applicationsen
dc.date.accessioned2015-07-09T20:43:36Zen
dc.date.available2015-07-09T20:43:36Zen
dc.date.issued1985en
dc.description.abstractIn a society that is increasingly dependent upon computing machinery, the issues associated with the correct functioning of that machinery are of crucial interest. The consequences of erroneous behavior of computers are dire with the worst case scenario being, conceivably, global thermonuclear war. Therefore, development of procedures and tools which can be used to increase the confidence of the correctness of the software that controls the world's computers is of vital importance. The Department of Defense (DoD) is in the process of adopting a standard computer language for the development of software. This language is called Ada¹. One of the major features of Ada is that it supports concurrent programming via its "task" compilation unit. There are not, however, any automated tools to aid in locating errors in the tasks. The design for such a tool is presented. The tool is named AdaTAD and is a debugger for programs written in Ada. The features of AdaTAD are specific to the problems of concurrent programming. The requirements of AdaTAD are derived from the literature. AdaTAD is, however, a unique tool designed using Ada as a program description language. When AdaTAD is implemented in Ada it becomes portable among all environments which support the Ada language. This offers the advantage that a single debugger is portable to many different machine architectures. Therefore, separate debuggers are not necessary for each implementation of Ada. Moreover, since AdaTAD is designed to allow debugging of tasks, AdaTAD will also support debugging in a distributed environment. That means that, if the tasks of a user's program are running on different computers in a distributed environment, the user is still able to use AdaTAD to debug the tasks as a single program. This feature is unique among automated debuggers. After the design is presented, several examples are offered to explain the operation of AdaTAD and to show that AdaTAD is useful in revealing the location of errors specific to concurrent programming.en
dc.description.degreePh. D.en
dc.format.extentxii, 202 leavesen
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttp://hdl.handle.net/10919/54289en
dc.language.isoen_USen
dc.publisherVirginia Polytechnic Institute and State Universityen
dc.relation.isformatofOCLC# 13174942en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.lccLD5655.V856 1985.F346en
dc.subject.lcshAda (Computer program language)en
dc.subject.lcshDebugging in computer science -- Automationen
dc.subject.lcshComputer programs -- Testing -- Automationen
dc.titleAdaTAD - a debugger for the Ada multi-task environmenten
dc.typeDissertationen
dc.type.dcmitypeTexten
thesis.degree.disciplineComputer Science and Applicationsen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.leveldoctoralen
thesis.degree.namePh. D.en

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
LD5655.V856_1985.F346.pdf
Size:
5.84 MB
Format:
Adobe Portable Document Format
Download

Collections

Doctoral Dissertations