ANSI C言語用ソフトウェアスライサ開発へのXMLの応用

2002 年度 実績報告書

• 研究課題/領域番号: 14780202
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: 権藤 克彦 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 (50262283)
• キーワード: CASEツール / XML / ANSI C / 属性文法

研究概要

XMLを用いたANSI C用スライサ・クロスリファレンサのプロトタイプの設計と実装を行った.
1.ANSI C言語の静的な意味の抽象化・モデル化,およびDTD (Document Type Definition)の定義.
実装を重視し,地に足のついた研究とするため,初年度はANSI C言語の静的な意味,主に構文・型・シンボル・参照(定義参照関係,データフロー,制御フローなど)の情報に絞って,抽象化・モデル化を行った.
またその結果に基づいて,XMLに基づくCASEツールのためのDTDを定義した.
2.ANSI C言語から上記DTDに合致したXML文書への変換器の設計・実装・評価.
まず,ANSI C言語用の構文解析器を設計・実装した.
多くの実装がtypedef名などの処理を簡略化しているが,本研究では,実用性を重視して,これらも扱えるフルスペックの構文解析器とした.
次に,上で定義するDTDに合致したXML文書を出力する機能を付加して,変換器を構築した.
3.XMLを用いたANSI C言語の静的スライサ・ビジュアライザの設計・実現・評価.
上記の変換器が出力した(C言語を表す)XML文書を入力とする,ANSI C言語用の静的スライサ・ビジュアライザ(クロスリファレンサ)のプロトタイプの設計と実現を行った.静的スライサでは既存アルゴリズム(Weiserのスライサ)を用いた.
ビジュアライザは整形と(変数名を含めた)高度なタグジャンプ機能を実現した.
4.XMLの問題点として,文書の一貫性チェックを宣言的に記述できず,アプリケーションプログラムに埋め込む必要がある.この問題を解決するため,属性文法の技術を応用して宣言的に一貫性チェックを行う新しい方式を提案した.

研究成果

• [文献書誌] 川島勇人, 権藤克彦: "XMLを用いたANSI CのためにCASEツールプラットフォーム"コンピュータソフトウェア. 19・6. 21-34 (2002)
• [文献書誌] 権藤克彦, 川島勇人: "コンパクトなANSI CインタプリタXCIの設計と実装"電子情報通信学会論文誌. J86-D-I[3]. 159-168 (2003)
• [文献書誌] Katsuhiko Gondow, Hayato Kawashima: "Towards ANSI C Program Slicing using XML"Electronic Notes in Theoretical Computer Science (ENTCS) http://www.elsevier.com/locate/entcs/volume65.html. 65・3. 20 (2002)
• [文献書誌] Hayato Kawashima, Katsuhiko Gondow: "Experience with ANSI C Markup Language for a Cross-Referencer"Proc. Domain-Specific Language Minitrack, 36th Hawaii Int. Conf. on System Sciences (HICSS-36). 17 (2003)
• [文献書誌] Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: "Checking Consistency of XML Semantics Using Attribute Grammars"Int. Conf. on East-Asian Language Processing and Internet Information Technology (EALPIIT2002). 29-38 (2002)
• [文献書誌] Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: "The SLXS Specification Language for Describing Consistency of XML Documents"4th Int. Workshop on Information & Computer Science (WICS2002), IEEE Computer Society. 289-304 (2002)
• [文献書誌] Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: "Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker"3rd Int. Conf. on Internet Computing 2002 (IC'2002). 653-659 (2002)
• [文献書誌] Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: "The XML Semantics Checker Model"3rd Int. Conf. on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02). 430-438 (2002)