《情境感知自適應軟體的失效分析與錯誤修復技術研究》是依託南京大學，由許暢擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：情境感知自適應軟體的失效分析與錯誤修復技術研究
- 項目類別：青年科學基金項目
- 項目負責人：許暢
- 依託單位：南京大學
項目摘要,結題摘要,
項目摘要
為支持面向開放環境的情境感知自適應軟體的系統構建與質量保障，本項目考察開放環境的動態特性以及開放環境下情境感知軟體的自適應特徵，建立開放環境上下文一致性與軟體自適應模型；而後著重研究開放環境上下文建模技術、上下文一致性維護技術、軟體自適應失效分析技術、自適應錯誤動態修復等支撐技術；並在此基礎上研製情境感知自適應軟體的失效分析與錯誤修復支撐平台，為面向開放環境的情境感知自適應軟體的運行與維護提供有效支持。.本項目的研究旨在為情境感知自適應軟體的模型與技術體系提供較為系統化的關鍵技術支撐，為軟體產業的發展提供創新技術支持。
結題摘要
本項目關注情境感知自適應軟體的環境上下文處理和自適應邏輯質量保障，在兩方面都獲得了較大的進展。在環境上下文處理方面，提出了並發約束檢測和自動錯誤修復技術，並將環境上下文的處理推廣至多套用場景和支持軟體層面的定製需求。在自適應邏輯質量保障方面，提出了動態分析和靜態分析技術來提升軟體的錯誤檢出率和降低誤報率，針對不確定環境因素進行了基於環境和不確定性約束建模的驗證工作，並對運行時錯誤恢復和非功能性質量保障也進行了深入的研究。研究工作共發表學術論文27篇，其中SCI檢索5篇，EI檢索20篇，並包括高質量的CCF-A類論文3篇。也申請了三項專利，並獲得了包括中創軟體人才和ACM SIGSOFT Distinguished Paper Award在內的多項學術獎勵。本項目也培養了多名研究生，其中5名碩士生畢業並獲得碩士學位。
