《實時軟體中互動邏輯錯誤的自動化定位方法研究》是依託哈爾濱工業大學,由曲明成擔任項目負責人的青年科學基金項目。項目摘要軟體錯誤的自動化定位對於提高軟體調試效率、節約成本具有十分重要的現實意義。現有錯誤定位研究多針對“單任...
本項目擬一體化研究軟體錯誤自動修復體系,針對錯誤定位、補丁生成以及補丁驗證三個階段,研究面向自動修復並融合邏輯語義的錯誤定位方法、多源補丁生成方法及算法、以及補丁有效性驗證性能最佳化技術。通過項目研究,建立具有較強修復能力兼具較高...