アスペクト指向プログラムの依存性理論とその応用に関する基礎的研究

2003 年度 実績報告書

• 研究課題/領域番号: 15500027
• 研究機関: 福岡工業大学
• 研究代表者: 趙 建軍 福岡工業大学, 情報工学部, 助教授 (20299580)
• キーワード: アスペクト指向プログラミング / プログラムの依存性解析 / ソフトウェア開発環境 / ソフトウェアの複雑さ計測 / プログラミングスライシング

研究概要

本研究では信頼性の高いアスペクト指向プログラムの開発支援環境を基礎付けるために、アスペクト指向プログラムの挙動における構成要素間の依存性関係を究明すると共に、アスペクト指向プログラムにおける新しい依存性概念を提案し、アスペクト指向プログラムの依存性モデルを構築することを目指す。また、構築された新しい依存性モデルをアスペクト指向プログラムの理解、テスト、デバック、保守、再利用、及び複雑さ計測へ適用し評価すると共に、信頼性の高いアスペクト指向プログラムの開発支援環境に対するその有効性を明確にすることを目指している。本研究ではこれまで得られた主な研究成果は以下の通りである。
(1)アスペクト指向プログラムにおける多重情報流れを表現できる有向グラフを定義した。その有向グラフに基づいて、アスペクト指向プログラムにおける構成要素間の構造と挙動に関する依存性を洗い出して抽象化し、これらの依存性概念に基づいてアスペクト指向プログラムの新しい依存性モデルを提案した。
(2)アスペクト指向プログラムの依存性モデルに基づいてアスペクト指向プログラムを静的にスライスするアルゴリズムを開発した。
(3)アスペクト指向プログラムの依存性に基づいてアスペクト指向プログラムの複雑さを評価する尺度も提案した。

研究成果

• [文献書誌] Jianjun Zhao: "Measuring Aspect Cohesion"Proc.International Conference on Fundamental Approaches to Software Engineering (FASE'2004). 54-68 (2004)
• [文献書誌] Jianjun Zhao: "Data-Flow-Based Unit Testing of Aspect-Oriented Programs"Proceedings of the 27th Annual IEEE International Computer Software and Applications Conference (COMPSAC'2003). 188-197 (2003)
• [文献書誌] M.Iwamoto, Jianjun Zhao: "Refactoring Aspect-Oriented Programs"4th AOSD Modeling With UML Workshop, UML'2003. (2003)
• [文献書誌] Jianjun Zhao, Martin Rinard: "Pipa : A Behavioral Interface Specification Language for AspectJ"Proceedings of Fundamental Approaches to Software Engineering (FASE' 2003). 150-165 (2003)
• [文献書誌] J.Zhao, C.Lu, B.Xu: "A Toolkit for Java Bytecode Analysis"Proc.7th IASTED International Conference on Software Engineering and Applications (SEA'2003). (2003)
• [文献書誌] L.Xiang, K.Ushijima, J.Zhao: "An O(1) Time Algorithm for Generating Restricted Permutations"Parallel Processing Letters. Vol.12,No.3. 365-374 (2003)