Conference paper
Considerations with regard to validation of Ada debuggers
Today, it is possible to ensure that an Ada compiler conforms to the Ada programming language, but it is not possible to verify the Ada aspects of a symbolic Ada debugger. This paper presents a number of Ada related debugging features, and shows thereby that a symbolic Ada debugger may contain quite a lot of Ada functionality.
In fact, one can conclude that the debugger functionality must grow with the number of language constructions available. As Ada is a complex programming language, it is necessary with a verification of the Ada related debugging facilities. A check list and a test suite are suggested as possible tools for Ada debugger evaluations.
Finally, it is concluded that an Ada compiler system without a symbolic Ada debugger is not a full featured development environment.
Language: | English |
---|---|
Publisher: | Springer Berlin Heidelberg |
Year: | 1992 |
Pages: | 197-213 |
Proceedings: | Ada-Europe International Conference |
ISBN: | 3540472401 , 3540555854 , 9783540472407 and 9783540555858 |
Types: | Conference paper |
DOI: | 10.1007/3-540-55585-4_17 |