著者

高橋 直久 小野 諭

雑誌

情報処理学会研究報告プログラミング(PRO)

巻号頁・発行日

vol.1989, no.71(1989-PRO-030), pp.31-40, 1989-09-08

---

宣言的デバッグシステムDDS(Declarative Debugging System)では、プログラマはプログラムに期待する実行結果や途中結果を与え(宣言的に定義し)、それに基づいてシステムがプログラムのテキストと実行履歴を解析しバグ探索空間を絞り込む。本稿では、DDSの設計課題を考察し、実現上重要な3つの機構、すなわち、バグ発生源の判定機構、プログラムの部分実行機構、プログラムの診断機構について議論する。被デバッグプログラムに対して診断に不要な部分の実行を抑止する“計算の凍結”機能が重要であることを示し、その実現法とデバッグへの適用法を明らかにする。さらに、プログラム構造の静的な解析とバグ検出のヒューリスティクスを用いてプログラマの宣言と部分実行結果を解析する手法を提示する。最後に、VAX/VMS上に作成したDDSのプロトタイプを用いたデバッグ例を示し、関数型プログラムのデバッグにDDSが有効であることを示す。