属性文法の系統的デバッグ法

概要

論文の詳細を見る
属性文法プログラムのデバッグ作業は,構文の再帰性や属性依存関係などによる独特の困難さをともなう.本論文では,ユーザがこれらの複雑な因果関係を意識せずに,属性文法のデバッグを行うことができるデバッグ方式を提案する.従来,属性文法のデバッグ手法として,アルゴリズミック・デバッギングを用いたもの,およびプログラム・スライシングを利用した手法が提案されている.これらはともに,対話的な手法であり,デバッガがプログラムの動作の正しさに関する質問をユーザに問い合わせることで,バグの範囲を減らしていく方法である.しかし,これらの方法には,質問に答えることが困難な問合せが行われる場合があるなどの問題点があった.また,それぞれの手法を統合して扱えず,独立して用いる必要がある点も問題であった.本論文で提案する手法は,アルゴリズミック・デバッギングを属性文法に応用したデバッグ法であるが,従来の属性文法のアルゴリズミック・デバッギングを包含する一般的なものである.この一般化による大きな利点は,従来のアルゴリズミック・デバッギング,およびプログラム・スライシングを用いたデバッグ手法の両者を同じ枠組みの中で扱えることである.これにより,従来の2種類の手法を融合した新たなデバッグ法を導くことができた.本研究ではまた,この融合したデバッグ法を,属性文法デバッガAkiを拡張することで実装し,評価実験を行った.これを通して,提案するデバッグ法の有用性を確かめた.
2002-03-15

属性文法の系統的デバッグ法

スポンサーリンク

概要

著者

関連論文

スポンサーリンク