Debugging and testing

  • P. C. Poole
Chapter 3: Techniques
Part of the Lecture Notes in Computer Science book series (LNCS, volume 30)


Source Text High Level Language Abstract Machine Test Data Generator Print Statement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

4. References

  1. 1.
    Henahpl, W. A proof of correctness of the reference mechanism to automatic variables in the F-Compiler. LN 25.3.048 IBM Vienna Laboratory.Google Scholar
  2. 2.
    Roberts, K.V. The publication of scientific FORTRAN programs, Computer Physics Communications, 1 (1969) 1–9.Google Scholar
  3. 3.
    Wilkes, M.V., Wheeler, D.J., Gill, S. The Preparation of programs for an electronic digital computer. Addison-Wesley (1951).Google Scholar
  4. 4.
    Poole, P.C. Developing a multi-access system online. Software, 1 (1971) 39–51.Google Scholar
  5. 5.
    Waite, W.M. The mobile programming system: STAGE2, CACM, 13 (1970) 415.Google Scholar
  6. 6.
    Brown, P.J. The ML/1 macro processor, CACM, 10 (1967) 618–623.Google Scholar
  7. 7.
    Dijkstra, E.W. Structured programming, Software Engineering Techniques, Report on NATO Conference in Rome (1970) 84–88.Google Scholar
  8. 8.
    Barron, D.W. Programming in Wonderland, The Computer Bulletin, 15 (1971) 153–153.Google Scholar
  9. 9.
    Satterthwaite, E. Debugging tools for high level languages, University of Newcastle upon Tyne Computing Laboratory Technical Report Series no. 29 (1971).Google Scholar
  10. 10.
    Conrow, K., Smith, R.G. NEATER2: A PL/1 source statement reformatter, CACM, 13 (1970) 669–675.Google Scholar
  11. 11.
    Mills, H.D. Syntax directed documentation of PL/360, CACM, 13 (1970) 216–223.Google Scholar
  12. 12.
    Scowen, R.S., Allen, D., Hillman, A.L., Shimell, M. SOAP — a program which documents and edits ALGOL 60 programs, Comp. J., 14 (1971) 133–136.Google Scholar
  13. 13.
    Software Engineering Techniques, Report on NATO Conference in Rome (1970) 23–24.Google Scholar
  14. 14.
    Engelman, C. Mathlab 68, IFIP Congress '68, B 91–95.Google Scholar
  15. 15.
    Sutherland, I.E. Sketchpad: a man machine graphical communication system, Proc. S.J.C.C., Sparton Press, Baltimore, Maryland (1963).Google Scholar
  16. 16.
    Carr, C.S. FORTRAN II Reference Manual, Document No. 30.50.50, University of California, Berkeley (1966).Google Scholar
  17. 17.
    Dunn, T.M., Morrissey, J.H. Remote Computing — an experimental system. Proc. S.J.C.C. (1964).Google Scholar
  18. 18.
    Balzer, R.M. EXDAMS — extendable debugging and monitoring system, Proc. S.J.C.C. (1969) 567–580.Google Scholar
  19. 19.
    Pyle, I.C., McLatchie, R.F., Grandage, B. A second order bug with delayed effects, Software, 1 (1971) 231–235.Google Scholar
  20. 20.
    Newey, M.C., Poole, P.C., Waite, W.M. Abstract machine modelling to produce portable software — a review and evaluation, Software (to be published).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • P. C. Poole
    • 1
  1. 1.Culham LaboratoryAbingdonGreat Britain

Personalised recommendations