[論文レビュー] Declarative program development in Prolog with GUPU

Ulrich Neumerkel, Štefan Král|ArXiv.org|Jul 11, 2002

Teaching and Learning Programming参考文献 7被引用数 6

ひとこと要約

GUPU は、例による仕様指定、即時のフィードバック、スライシングと可視化によるデバッグを通じて、教育的文脈における記述的プログラミング開発を支援する副作用のない Prolog エンターレインメントです。学習を向上させるために、参照実装に対するテストケースの検証、診断フィードバックの提供、および課題完了のマーキングシステムを備えた制約ベースプログラミングを支援します。

ABSTRACT

We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, covering specification, implementation, and program debugging. GUPU features several innovations in this area. The specification phase is supported by reference implementations augmented with diagnostic facilities. During implementation, immediate feedback from test cases and from visualization tools helps the programmer's program understanding. A set of slicing techniques narrows down programming errors. The whole process is guided by a marking system.

研究の動機と目的

• 学生が仕様指定、実装、デバッグの各段階を段階的に学べるよう、Prolog 講義における記述的プログラミング開発を支援すること。
• コード記述の前に例による仕様指定を強調することで、初心者が手続き的思考に陥るのを防ぐこと。
• テストケースの検証と診断を通じて、開発中に即座に実行可能なフィードバックを提供すること。
• 可視化とスライシング技術を統合することで、プログラムの理解とエラーの局所化を向上させること。
• 制約論理プログラミングと教育的ツールの両方をサポートする副作用のない環境を維持すること。

提案手法

• 例による仕様指定：学生は、Prolog 構文を用い、特別なマーカーを付けて、肯定的・否定的両方のテストケースを記述した後、述語を実装します。
• 参照実装：隠された正しく動作する Prolog 述語が、テストケースの正しさと整合性を検証し、矛盾するか誤ったアサーションを特定します。
• 診断フィードバック：誤ったアサーションに対して、的確な説明を提供し、肯定的失敗の場合は一般化されたクエリ、否定的失敗の場合はより具体的な目的を生成します。
• 即時フィードバックシステム：保存時に、GUPU が診断メッセージ（例：@! で未定義述語、!= で整合性のないテストケース）をソースコード内に直接挿入します。
• 可視化とビューア：副作用のないビューア（例：Postscript、repsched/1）が、スケジュールやエージェント状態などの解決結果をリアルタイムでレンダリングします。
• スライシングとマーキングシステム：スライシング技術によりエラー局所化を向上させ、達成されたテストケースに基づいて、課題の完了割合を計算するマーキングシステムを提供します。

実験結果

リサーチクエスチョン

• RQ1 Prolog を用いた教育的環境において、テストファースト開発を効果的に支援する方法は何か？
• RQ2 実装の前に正しい仕様を導くためのメカニズムは何か？ これにより、手続き的誤解が軽減されるか？
• RQ3 内部論理を公開せずに、参照実装を用いて学生のテストケースを検証する方法は何か？
• RQ4 リアルタイム診断と可視化は、記述的プログラムの理解をどのように向上させるか？
• RQ5 副作用のない環境は、教育的文脈における複雑な制約ベースプログラミングタスクをどのように支援できるか？

主な発見

• GUPU は、参照実装に対するテストケースの検証に成功し、!= や @! マーカーを用いて即座に整合性のない部分を特定します。
• 誤ったアサーションに対して、的確な診断フィードバックを提供しており、失敗した肯定的テストの場合は一般化されたクエリを、失敗した否定的テストの場合はより具体的な目的を生成します。
• 学生はコーディング中に即時フィードバックを受け取り、プログラムの理解が向上し、デバッグに要する時間が短縮されます。
• スケジューリング用の repsched/1 や、グラフィカル出力用の postscript ビューアなど、統合されたビューアを通じて、高度な制約プログラミングをサポートしています。
• 達成されたテストケースに基づいて、課題の完了割合を計算するマーキングシステムにより、開発中の進行状況を明確に把握できます。
• 例による仕様指定の使用は、再帰的 Prolog 述語における停止条件に関する手続き的誤解を顕著に減少させました。