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

• Item type: Trans(1)
• 公開日: 2002-03-15
• タイトル: 属性文法の系統的デバッグ法
• タイトル / 言語: en
• タイトル: Systematic Debugging Method for Attribute Grammars
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京工業大学情報理工学研究科
• 著者所属: 東京工業大学情報理工学研究科
• 著者所属: 東京工業大学情報理工学研究科
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
• 著者名: 佐々木, 晃; 池添, 洋平; 佐々, 政孝
• 著者名(英): Akira, Sasaki; Yohei, Ikezoe; Masataka, Sassa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 属性文法プログラムのデバッグ作業は，構文の再帰性や属性依存関係などによる独特の困難さをともなう．本論文では，ユーザがこれらの複雑な因果関係を意識せずに，属性文法のデバッグを行うことができるデバッグ方式を提案する．従来，属性文法のデバッグ手法として，アルゴリズミック・デバッギングを用いたもの，およびプログラム・スライシングを利用した手法が提案されている．これらはともに，対話的な手法であり，デバッガがプログラムの動作の正しさに関する質問をユーザに問い合わせることで，バグの範囲を減らしていく方法である．しかし，これらの方法には，質問に答えることが困難な問合せが行われる場合があるなどの問題点があった．また，それぞれの手法を統合して扱えず，独立して用いる必要がある点も問題であった．本論文で提案する手法は，アルゴリズミック・デバッギングを属性文法に応用したデバッグ法であるが，従来の属性文法のアルゴリズミック・デバッギングを包含する一般的なものである．この一般化による大きな利点は，従来のアルゴリズミック・デバッギング，およびプログラム・スライシングを用いたデバッグ手法の両者を同じ枠組みの中で扱えることである．これにより，従来の2 種類の手法を融合した新たなデバッグ法を導くことができた．本研究ではまた，この融合したデバッグ法を，属性文法デバッガAkiを拡張することで実装し，評価実験を行った．これを通して，提案するデバッグ法の有用性を確かめた．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Although attribute grammars (AGs)are easy to understand and write,debugging AGs is not simple.The major part of the problem arises from AG ’s speci ?c difficulty,such as recursive grammar structure and attribute dependency.Our goal is to let programmers easily debug AGsbut freeing them from such complicated dependency.Formerly,two debugging methods of AGs have been proposed,one of which based on algorithmic debugging,and the other based on program slicing.Although these methods achieve a semi-automatic way of debugging AG descriptions,several problems remain in either methods.Furthermore,they cannot work simultaneously because of the distinction of their underlying theory.In this paper,a new systematic debugging method of AGs is proposed.Our approach is,in principle, based on the former algorithmic debugging for AGs but can treat the two previous methods by more general form.In fact,the two previousmethodscan be explained by our new method in a uni ?ed way.Thisleadsto a new debugging method that enablesthe integration of the two methods.This integrated method have been implemented in Aki,a debugger for AG description.We evaluate our new approach by the experience of using Aki,which shows the usability of our debugging method.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 43, 号 SIG03(PRO14), p. 1-16, 発行日 2002-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会