SYMBOLIC PROGRAM DEBUGGING.

被引:0
|
作者
Duyck, Bob
Hawkins, Doug
机构
来源
关键词
D O I
暂无
中图分类号
学科分类号
摘要
Symbolic debugging attempts to make debugging a more natural process for the programmer. This process requires information available during one step of the debug cycle to be shared between other steps. Only with this transfer of information can the programmer be allowed to construct an environment which will aid in the efficient and timely testing of a software program.
引用
收藏
相关论文
共 50 条
  • [21] PROGRAM RELIABILITY DURING DEBUGGING
    SHABALIN, AN
    PROGRAMMING AND COMPUTER SOFTWARE, 1986, 12 (01) : 50 - 53
  • [22] Visual steering for program debugging
    Erbacher, RF
    VISUAL DATA EXPLORATION AND ANALYSIS VII, 2000, 3960 : 106 - 113
  • [23] A formal semantics for program debugging
    Wei Li
    Ning Li
    Science China Information Sciences, 2012, 55 : 133 - 148
  • [24] Parallel program debugging by specification
    Huband, S
    McDonald, C
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (06): : 551 - 585
  • [25] A formal semantics for program debugging
    Li Wei
    Li Ning
    SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (01) : 133 - 148
  • [26] Special issue on program debugging
    Ghosh, Sudipto
    Li, J. Jenny
    SOFTWARE QUALITY JOURNAL, 2017, 25 (01) : 3 - 5
  • [27] Special issue on program debugging
    Sudipto Ghosh
    J. Jenny Li
    Software Quality Journal, 2017, 25 : 3 - 5
  • [28] Focus section on program debugging
    Tse, T. H.
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (08): : 969 - 970
  • [29] A knowledge base for program debugging
    Tubaishat, A
    ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 321 - 327
  • [30] SYMBOLIC DEBUGGING THROUGH INCREMENTAL COMPILATION IN AN INTEGRATED ENVIRONMENT
    FRITZSON, P
    JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) : 285 - 294