• DocumentCode
    1416549
  • Title

    A general framework for debugging

  • Author

    Araki, Keijiro ; Furukawa, Zengo ; Cheng, Jingde

  • Author_Institution
    Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
  • Volume
    8
  • Issue
    3
  • fYear
    1991
  • fDate
    5/1/1991 12:00:00 AM
  • Firstpage
    14
  • Lastpage
    20
  • Abstract
    The state of the art of debugging is examined. A debugged process model that serves as the basis of a general debugging framework is described. The relationship of the model to traditional debugging processes and support tools is discussed. A minimal set of requirements for a general debugging framework is described in terms of both the theory behind debugging methodologies and the support tools. An execution monitor, Eden, that serves as a debugging tool within this general framework is described.<>
  • Keywords
    program debugging; programming; supervisory programs; Eden; debugged process model; debugging methodologies; execution monitor; general debugging framework; support tools; traditional debugging processes; Computer bugs; Computer industry; Error correction; Graphics; History; Logic; Probes; Programming profession; Software debugging; Software tools;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/52.88939
  • Filename
    88939