並發與分散式程式調試技術研究

《並發與分散式程式調試技術研究》是依託南京大學，由徐寶文擔任項目負責人的面上項目。

基本介紹

• 中文名：並發與分散式程式調試技術研究
• 項目類別：面上項目
• 項目負責人：徐寶文
• 依託單位：南京大學

項目摘要

並發與分散式軟體已經在越多越多關係國計民生的重要領域中使用，其軟體質量保證的重要性不言而喻。本課題擬建立一個並發與分散式程式的調試模型，將錯誤發現、定位和修正作為一個有機的整體進行研究，綜合程式分析與軟體測試技術，將靜態與動態技術有機結合，為高可信軟體的質量保證提供理論基礎和技術支持。課題研究並發與分散式軟體的錯誤定位技術，關注同步錯誤和數據互動錯誤的定位技術，並探討一種綜合的錯誤定位策略；研究面向調試的測試用例最佳化技術，從測試輸入和測試執行兩個角度分別考慮測試最佳化，以使測試既能有效發現錯誤，又能為錯誤定位提供線索；研究自動錯誤修正技術，探索並發與分散式軟體自動修正技術的整體策略，分析不同演化策略和變異運算元對錯誤修正的影響，並重點關注訊息同步類錯誤的自動修正。

結題摘要

本課題擬建立一個並發與分散式程式的調試模型，將錯誤發現、定位和修正作為一個有機的整體進行研究，綜合程式分析與軟體測試技術，將靜態與動態技術有機結合，為高可信軟體的質量保證提供理論基礎和技術支持。在課題執行期間，我們重點研究了面向調試的測試用例生成、基於執行頻譜和程式分析的自動缺陷定位以及基於缺陷位置預測信息的代碼質量增強等技術。其中，在面向調試的測試用例生成技術方面，我們在待測模組優先權、測試難度預測和測試用例自動生成三個方面取得了重要進展；在基於執行頻譜和程式分析的自動缺陷定位方面，我們在缺陷定位方法中風險評估公式優劣的理論分析上取得了重要進展；在基於缺陷位置預測信息的代碼質量增強方面，我們在C++並發設施的真實使用分析上取得了重要進展。在四年的研究過程中，經過全體課題組成員的共同努力，我們完成了課題的研究內容，總共發表和錄用論文28篇。其中，在國外著名期刊上3篇(包括在國際一流期刊《ACM Transactions on Software Engineering and Methodology》上2篇)，在國內著名期刊《中國科學：信息科學》上論文4篇。與此同時，獲得授權發明專利2項，新申請發明專利4項。在該課題的支持下，已經有多名博士/碩士研究生以課題的研究內容為畢業論文的內容，順利獲得了學位。