[论文解读] A Knowledge-based Automated Debugger in Learning System

Abdullah Mohd Zın, Syed Ahmad Aljunid+2 more|arXiv (Cornell University)|Jan 12, 2001

Software Testing and Debugging Techniques参考文献 14被引用 5

一句话总结

本文提出 Adil，一种基于知识的自动化调试器，专为入门级编程课程设计，利用模式匹配与约束满足技术，检测、定位并解释语法正确 C 程序中的逻辑错误。Adil 基于 Conceiver 程序理解框架构建，具备编程语言无关性、用户友好性，可作为智能调试助手，在减轻教师工作负担的同时，帮助学生掌握调试技能。

ABSTRACT

Currently, programming instructors continually face the problem of helping to debug students' programs. Although there currently exist a number of debuggers and debugging tools in various platforms, most of these projects or products are crafted through the needs of software maintenance, and not through the perspective of teaching of programming. Moreover, most debuggers are too general, meant for experts as well as not user-friendly. We propose a new knowledge-based automated debugger to be used as a user-friendly tool by the students to self-debug their own programs. Stereotyped code (cliche) and bugs cliche will be stored as library of plans in the knowledge-base. Recognition of correct code or bugs is based on pattern matching and constraint satisfaction. Given a syntax error-free program and its specification, this debugger called Adil (Automated Debugger in Learning system) will be able locate, pinpoint and explain logical errors of programs. If there are no errors, it will be able to explain the meaning of the program. Adil is based on the design of the Conceiver, an automated program understanding system developed at Universiti Kebangsaan Malaysia.

研究动机与目标

• 解决初学者尽管编写了语法正确的代码，仍难以应对逻辑错误的挑战。
• 减轻教师目前手动调试学生程序所承受的时间消耗负担。
• 开发一种用户友好、智能的调试助手，通过引导式交互帮助学生学习调试技能。
• 构建一种支持自调试与程序理解的、与编程语言无关的系统，适用于入门级课程。

提出的方法

• 系统将 C 源代码解析为带注释的流程图，以捕获数据流与控制流信息。
• 知识库中包含常见代码模式（惯用语）的‘计划’以及典型逻辑错误的‘错误惯用语’。
• 推理引擎使用约束满足技术，将带注释的流程图与存储的计划进行统一匹配。
• 调试引擎通过将程序结构与已知的正确与错误模式进行比较，实现对逻辑错误的定位与精确定位。
• 文档生成器以自然语言形式解释检测到的错误，以辅助学生理解。
• 系统设计为可半自动扩展，配备计划库管理工具与自动知识库构建工具。

实验结果

研究问题

• RQ1 基于知识的系统如何有效检测并解释语法正确学生程序中的逻辑错误？
• RQ2 何种表示方式能够实现与编程语言无关的程序理解与调试？
• RQ3 如何利用模式匹配与约束满足技术，以支持学习的方式定位并解释错误？
• RQ4 此类系统在多大程度上可减少教师在入门级编程教学中的工作负担？
• RQ5 一种避免自动修复代码的调试工具，是否仍能有效促进调试技能的教学？

主要发现

• Adil 成功利用模式匹配与约束满足技术，定位并解释了无语法错误的 C 程序中的逻辑错误。
• 该系统不仅能检测故障，还能理解正确程序并解释其行为。
• 使用带注释的流程图可实现通过统一内部表示的与编程语言无关的静态分析。
• 该系统支持学生自调试，并作为智能助手，减少对教师的依赖。
• 系统设计支持半自动知识库构建，提升了可维护性与可扩展性。
• 通过避免自动代码修复，Adil 防止了错误传播，同时通过解释促进更深层次的学习。