《面向方面軟體的變化影響分析理論及其套用》是依託上海交通大學，由趙建軍擔任項目負責人的面上項目。
基本介紹
- 中文名：面向方面軟體的變化影響分析理論及其套用
- 項目類別：面上項目
- 項目負責人：趙建軍
- 依託單位：上海交通大學
項目摘要,結題摘要,
項目摘要
在軟體開發過程中，變化影響分析是一項非常重要的技術。這項技術可以用於分析得到一個階段中代碼的改變（增加新代碼，刪除舊代碼，修改原始碼）對整個程式所產生的影響，並且將這種影響有效地返回給程式設計師，使程式設計師在後續的工作中能夠做出正確的決定。目前，已經存在很多方法來實現基於面向過程和面向對象程式的變化影響分析，卻很少涉及到面向方面編程的領域。本研究擬以面向方面程式語言為目標，提出了一種新的變化影響分析技術。該技術的核心在於歸納定義一系列原子變化，並用這些原子變化完全捕捉兩個程式版本間的語義不同。本研究同時也希望提出了一種新的變化影響分析模型，該模型基於靜態的面向方面程式的系統調用圖，用於找出被影響的程式代碼片段、回歸測試用例及影響它們（回歸測試用例）的原始碼修改部分。最後，我們將提供面向方面軟體變化影響分析的集成工具集，它將有益於提高面向方面軟體的開發效率和可靠性。
結題摘要
面向方面軟體開發（Aspect-Oriented Software Development, AOSD）是一種支持分離軟體關注點的新技術，這種新技術使得系統的一些橫切特性能夠模組化，從而提高了軟體的可維護性，可復用性及可靠性。在軟體開發過程中，變化影響分析是一項非常重要的技術。這項技術可以用於分析得到一個階段中代碼的改變（增加新代碼，刪除舊代碼，修改原始碼）對整個程式所產生的影響，並且將這種影響有效地返回給程式設計師，使程式設計師在後續的工作中能夠做出正確的決定。目前，已經存在很多方法來實現基於面向過程和面向對象程式的變化影響分析，卻很少涉及到面向方面編程的領域。本研究擬以面向方面程式語言為目標，提出了一種新的變化影響分析技術。該技術的核心在於歸納定義一系列原子變化，並用這些原子變化完全捕捉兩個程式版本間的語義不同。本研究同時也希望提出了一種新的變化影響分析模型，該模型基於靜態的面向方面程式的系統調用圖，用於找出被影響的程式代碼片段、回歸測試用例及影響它們（回歸測試用例）的原始碼修改部分。最後，我們將提供面向方面軟體變化影響分析的集成工具集，它將有益於提高面向方面軟體的開發效率和可靠性。本課題取得了如下研究成果。（1）提出並進一步完善了基於原子操作得面向方面軟體的變化影響分析理論模型；（2）提出了面向方面軟體系統調用圖的增量式構建算法並開發了相應的工具原型；（3）提出了面向方面程式的指向分析模型，並開發了相應的支持工具。根據指向分析的模型以及實驗數據所撰寫的論文已經完成，將於明年初投稿到程式分析領域的著名會議；（4）在利用面向方面軟體的影響分析技術對自動化調試的改進方面，提出了基於斷言的面向方面程式的調試技術；（5）作為主要組織者，項目負責人在 2010年9月及2011年10月在東京及上海成功組織召開了第6,7屆亞太高級軟體模組化會議（AOAsia/Pacific 2010/2011）（即原亞太面向方面軟體開發國際會議），並在會上介紹了本課題有關面向方面程式的斷言檢測及上下文敏感的指向分析等研究成果，受到相關學者的好評；（6）被邀請參加面向方面軟體開發領域的頂級國際會議AOSD 2011的程式委員會委員，並同本領域的研究者在包括面向方面軟體開發等領域進行了廣泛的學術交流；（7）在相關領域發表了多篇高水平的學術論文。
