[論文レビュー] 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

ひとこと要約

この論文では、パターンマッチングと制約充足を用いて、構文的に正しいCプログラムにおける論理的エラーを検出・局所化・説明する、知識ベースの自動デバッギングツールAdilを提案する。Conceiverプログラム理解フレームワークに基づくため、Adilはプログラミング言語に依存せず、使いやすく、教員の負担を軽減しながらデバッグスキルを教える知能的なデバッグアシスタントとして機能する。

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プログラムにおける論理的エラーを効果的に局所化・説明できた。
• システムは、誤りの検出だけでなく、正しいプログラムの理解とその振る舞いの説明も可能である。
• 注釈付きフローフレームの使用により、統一された内部表現を通じて、プログラミング言語に依存しない解析が可能になった。
• 学生による自己デバッグを支援し、教員への依存を減らす知的アシスタントとしての役割を果たした。
• 知識ベースの部分的自動構築が可能であるため、保守性と拡張性が向上した。
• 自動コード修正を避けることで、誤った修正の拡散を防ぎ、説明による深い学びを促進した。