《面向軟體自動修復的錯誤定位技術研究》是依託重慶大學，由雷晏擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：面向軟體自動修復的錯誤定位技術研究
- 項目類別：青年科學基金項目
- 項目負責人：雷晏
- 依託單位：重慶大學
中文摘要,結題摘要,
中文摘要
錯誤定位作為構建高效軟體錯誤自動修復的關鍵部分，是提升軟體可信性和維護能力的重要手段。然而，當前錯誤定位技術缺乏面向軟體自動修復的設計，是軟體自動修復性能提升的瓶頸之一。為了解決這些問題，本項目擬從支撐基礎和核心算法兩個方面，進行面向軟體自動修復的錯誤定位技術研究，具體研究面向軟體自動修復的錯誤定位測試用例集與評價標準、高可復用性的錯誤語義場景、基於語義場景的可疑值度量體系。通過項目研究，建立相應的原型系統驗證相關研究成果，推進面向軟體自動修復的錯誤定位技術發展和套用。
結題摘要
錯誤定位作為軟體錯誤自動修復的關鍵部分，缺乏面向軟體自動修復的設計，是軟體自動修復性能提升的瓶頸之一。本項目通過深入研究面向自動修復的錯誤定位技術的支撐基礎和核心算法，經過項目組成員歷經三年的努力，取得的主要成果有：（1）在支撐基礎上，提出了隨機抽象的面向自動修復的錯誤定位測試用例效能分析方法及測試用例最佳化方法；以基準程式集、評估分析方法和評價指標構建了面向自動修復的錯誤定位評價標準。（2）在核心算法上，實證評估缺陷定位信息使用方法，提出基於切片的錯誤語義場景、融合影響度的信息模型和基於深度卷積神經網路的可疑值度量體系。（3）基於支撐基礎和核心算法研究成果，構建了支持面向軟體自動修復的錯誤定位技術的系統化方法體系。通過基金委對本項目的資助，項目負責人得以迅速成長（晉升副教授），形成了具有自身特色的研究隊伍，在一定程度上解決了錯誤定位的自動修復設計缺乏的問題，完成了預期的目標。在本項目資助下，課題組以第一作者或通訊作者發表論文6篇，錄用論文1篇，其中CCF推薦A/B/C論文5篇，SCI或EI檢索論文6篇；開發出3個錯誤定位原型工具；協助培養博士畢業生1人，協助培養或獨立培養碩士畢業生4人。
