Programming environments (PEs) support a single programmer developing small- to medium-scale programs, whereas software development support systems and software engineering environments (SE2s) support whole project teams, developing Large-scale software. There is no reason to believe that one and only one support system may exist. The usefulness of one or the other depends on the particular situation of software development.
Debugging is distinguished from testing and defined not only for removing bugs from programs (dynamic debugging) but also from documents describing the programs (static debugging).
The key problem of debugging is understanding the software. Debugging may be supported by static analysis tools and by interactive debugging systems which help both to understand the software better and to estimate the impacts of an intended change. Graphical representations are also very useful for better understanding system structures and for recognising faults and clashes faster. Tools may furthermore be used to report errors and corrections, and to maintain these reports.
In the context of PEs and SE2s the tools supporting debugging are connected. Tools can be based on a uniform internal representation, allowing a uniform user interface. Tasks and corresponding tools can be tailored to each other, avoiding duplication of work. One task knows what the others have already done. One knows if certain types of errors have been prevented or removed, i.e. if static analysis tools prevent data flow errors during runtime. Tools and results of other tasks may be used, i.e. cross reference lists and test path reports. Similarities and differences of debugging in PEs and in SE2s are discussed by some example systems. The discussion is concluded by demonstrating possible influences on future software development by personal computers, knowledge engineering, and predicative programming.
[1]
T. Moto-Oka,et al.
Fifth Generation Computer Systems
,
1982
.
[2]
Leon G. Stucki,et al.
New assertion concepts for self-metric software validation
,
1975,
Reliable Software.
[3]
Gesellschaft für Mathematik und Datenverarbeitung,et al.
Software engineering environments : proceedings of the Symposium held in Lahnstein, Federal Republic of Germany, June 16-20-, 1980
,
1981
.
[4]
Thomas Reps,et al.
The why and wherefore of the Cornell Program Synthesizer
,
1981
.
[5]
Larry Masinter,et al.
The Interlisp Programming Environment
,
1981,
Computer.
[6]
David Alan Hardin.
Aladdin: an assembly language assertion-driven debugging interpreter
,
1977
.
[7]
Glenford J. Myers,et al.
Art of Software Testing
,
1979
.