2003 Fiscal Year Annual Research Report
アスペクト指向プログラムの依存性理論とその応用に関する基礎的研究
| Project/Area Number |
15500027
|
|---|
| Research Institution | Fukuoka Institute of Technology |
|---|
Principal Investigator |
趙 建軍 福岡工業大学, 情報工学部, 助教授 (20299580)
|
|---|
| Keywords | アスペクト指向プログラミング / プログラムの依存性解析 / ソフトウェア開発環境 / ソフトウェアの複雑さ計測 / プログラミングスライシング |
|---|
| Research Abstract |
本研究では信頼性の高いアスペクト指向プログラムの開発支援環境を基礎付けるために、アスペクト指向プログラムの挙動における構成要素間の依存性関係を究明すると共に、アスペクト指向プログラムにおける新しい依存性概念を提案し、アスペクト指向プログラムの依存性モデルを構築することを目指す。また、構築された新しい依存性モデルをアスペクト指向プログラムの理解、テスト、デバック、保守、再利用、及び複雑さ計測へ適用し評価すると共に、信頼性の高いアスペクト指向プログラムの開発支援環境に対するその有効性を明確にすることを目指している。本研究ではこれまで得られた主な研究成果は以下の通りである。
(1)アスペクト指向プログラムにおける多重情報流れを表現できる有向グラフを定義した。その有向グラフに基づいて、アスペクト指向プログラムにおける構成要素間の構造と挙動に関する依存性を洗い出して抽象化し、これらの依存性概念に基づいてアスペクト指向プログラムの新しい依存性モデルを提案した。
(2)アスペクト指向プログラムの依存性モデルに基づいてアスペクト指向プログラムを静的にスライスするアルゴリズムを開発した。
(3)アスペクト指向プログラムの依存性に基づいてアスペクト指向プログラムの複雑さを評価する尺度も提案した。
|
-
[Publications] Jianjun Zhao: "Measuring Aspect Cohesion"Proc.International Conference on Fundamental Approaches to Software Engineering (FASE'2004). 54-68 (2004)
-
[Publications] 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)
-
[Publications] M.Iwamoto, Jianjun Zhao: "Refactoring Aspect-Oriented Programs"4th AOSD Modeling With UML Workshop, UML'2003. (2003)
-
[Publications] Jianjun Zhao, Martin Rinard: "Pipa : A Behavioral Interface Specification Language for AspectJ"Proceedings of Fundamental Approaches to Software Engineering (FASE' 2003). 150-165 (2003)
-
[Publications] 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)
-
[Publications] 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)
