2003 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number	14780202
Research Institution	Tokyo Institute of Technology
Principal Investigator	権藤克彦東京工業大学, 大学院・情報理工学研究科, 助教授 (50262283)
Keywords	CASEツール / XML / ANSI C / 属性文法
Research Abstract	前年度に引き続き,XMLを用いたANSI C用スライサ・クロスリファレンサのプロトタイプの設計と実装を行った.それに伴って判明したさまざまな技術的問題点について,以下の研究を行った. 1.DWARF2デバッグ情報を用いたバイナリレベル・データ統合方式の提案と実装. 昨年度に構築したACMLはソースコードを解析する方式であり,スライサ等の構築に有効ではあったが,コンパイラの独自機能や規格の未規定動作への対応が困難であることが判明した.そこで,バイナリコードを解析し,それをXML化することで,CASEツール構築を容易にする方式を提案し,DWARF2デバッグ情報に関して,設計と実装を行った. 2.追跡子を用いた,C前処理系解析器の設計昨年度に構築したACMLはC前処理系の処理後を解析対象にするため,#defineなどのマクロ展開情報を扱えなかった.C前処理の効率よい解析は困難であることが知られているが,本研究では追跡子を使う新しい方式を提案し,基本的な設計を行った. 3.ACMLを用いたプログラム情報抽出システムの設計昨年度はACMLを用いて,スライサとビジュアライザを実現した.これをさらに進めた応用事例として構文要素を用いたパターンを与えることで,ソースコードの一部を検索できるプログラム情報抽出システムの基本的な設計を行った. 4.属性文法を用いたXML一貫性チェックシステムと属性文法の基礎研究 XML文書の意味的な一貫性保持が難しいため,我々は属性文法技術を用いた宣言的な一貫性チェックシステムを提案・実装している.この方式の有効性を確認するため2つのケーススタディを行った.また,属性文法の基礎研究として,順序属性文法(OAG)を改良し,3型循環が発生しにくいクラスであるOAG*を提案し,その有効性を示した.

Research Products

(8 results)

All Other

All Publications (8 results)

[Publications] S.Natori, K.Gondow, T.Imaizumi, T.Hagiwara, T.Katayama: "OAG* : Improved Ordered Attribute Grammars for less Type 3 Circularities"IEICE Transactions on Information and Systems. E86-D[4]. 673-685 (2003)
[Publications] Y.Kotb, K.Gondow, T.Katayama: "Optimizing the Execution Time for Checking the Consistency of XML Documents"Journal of Intelligent Information System (JTIS), Kluwer Academic Publishers. vol.22,no.3. 257-279 (2004)
[Publications] Y.Kotb, K.Gondow, T.Katayama: "A Practical Example of XML Semantics"Int.Conf.on Parallel and Distributed Computing applications And Technologies (PDCAT'03). (2003)
[Publications] Y.Kotb, K.Gondow, T.Katayama: "A case study for XML semantics Checker Model"IEEE Int.Conf.On Systems, Man and Cybernetics (SMC 03). WD10 (2003)
[Publications] 権藤克彦, 川島勇人: "XMLを用いたANSI C言語用CASEツールプラットフォーム"オブジェクト指向シンポジウム(OO2003). (2003)
[Publications] 川島勇人, 権藤克彦: "ACMLに基づくプログラム情報抽出システムの設計"日本ソフトウェア科学会第20回大会. (2003)
[Publications] 権藤克彦, 鈴木朝也, 川島勇人: "DWARF2デバッグ情報のCASEツールへの応用"第10回ソフトウェア工学の基礎ワークショップ(FOSE2003). 89-100 (2003)
[Publications] 川島勇人, 権藤克彦: "追跡子としてのXMLタグによるC前処理問題への対応"第10回ソフトウェアエ学の基礎ワークショップ(FOSE2003). 105-108 (2003)

2003 Fiscal Year Annual Research Report

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

Principal Investigator

権藤 克彦 東京工業大学, 大学院・情報理工学研究科, 助教授 (50262283)

Research Products

[Publications] S.Natori, K.Gondow, T.Imaizumi, T.Hagiwara, T.Katayama: "OAG* : Improved Ordered Attribute Grammars for less Type 3 Circularities"IEICE Transactions on Information and Systems. E86-D[4]. 673-685 (2003)

[Publications] Y.Kotb, K.Gondow, T.Katayama: "Optimizing the Execution Time for Checking the Consistency of XML Documents"Journal of Intelligent Information System (JTIS), Kluwer Academic Publishers. vol.22,no.3. 257-279 (2004)

[Publications] Y.Kotb, K.Gondow, T.Katayama: "A Practical Example of XML Semantics"Int.Conf.on Parallel and Distributed Computing applications And Technologies (PDCAT'03). (2003)

[Publications] Y.Kotb, K.Gondow, T.Katayama: "A case study for XML semantics Checker Model"IEEE Int.Conf.On Systems, Man and Cybernetics (SMC 03). WD10 (2003)

[Publications] 権藤克彦, 川島勇人: "XMLを用いたANSI C言語用CASEツールプラットフォーム"オブジェクト指向シンポジウム(OO2003). (2003)

[Publications] 川島勇人, 権藤克彦: "ACMLに基づくプログラム情報抽出システムの設計"日本ソフトウェア科学会第20回大会. (2003)

[Publications] 権藤克彦, 鈴木朝也, 川島勇人: "DWARF2デバッグ情報のCASEツールへの応用"第10回ソフトウェア工学の基礎ワークショップ(FOSE2003). 89-100 (2003)

[Publications] 川島勇人, 権藤克彦: "追跡子としてのXMLタグによるC前処理問題への対応"第10回ソフトウェアエ学の基礎ワークショップ(FOSE2003). 105-108 (2003)

権藤克彦東京工業大学, 大学院・情報理工学研究科, 助教授 (50262283)