《高可靠系統軟體確保若干技術的研究》是依託電子科技大學,由耿技擔任醒目負責人的面上項目。
基本介紹
- 中文名：高可靠系統軟體確保若干技術的研究
- 依託單位：電子科技大學
- 項目類別：面上項目
- 項目負責人：耿技
項目摘要,結題摘要,
項目摘要
現在很多軟體都在不同程度上具有脆弱性和功能執行的非預期性，軟體確保的職責就是把這些風險減少至最低。高可靠系統軟體通常套用於對國民經濟、政治有重大影響的領域，確保其軟體安全尤為重要。本項目首先對影響高可靠系統軟體的可靠性影響因子進行研究，建立基於模糊貝葉斯網路的軟體可靠性預測模型；其次在該模型基礎上進行基於軟體缺陷的自動測試技術研究，具體思路是首先進行軟體測試用例自動生成算法研究，構建基於最優測試剖面（OTP）和軟體操作剖面（SOP）測試最佳化；最後，採用第二階段的測試結果，結合第一階段可靠性預測模型，對可靠性的影響因子進行形式化描述，構建一個新的可靠性量化評估模型。本項目對提高高可靠系統軟體的可靠性及量化評估都提供了一種非常有益的思路。
結題摘要
本項目研究的主要思路就是在軟體的各個生命周期提供安全性、可靠性、可生存性方面的保障。本項目研究的成果包括三方面的內容：（1）PSO啟發性軟體自動測試用例生成算法，（2）基於BP神經網路的軟體可靠性模型，（3） 軟體系統生存性模型與算法。在第一方面，針對 PSO測試用例生成算法的早熟和多路徑覆蓋存在的效率問題進行了研究，改進了PSO測試用例生成算法，提高測試用例生成效率。在第二方面，針對軟體結構複雜度較高的情況下，現有大部分軟體可靠性模型的評估複雜度大，計算成本高等問題，提出一種低複雜度、基於構件的前饋神經網路可靠性模型。並對軟體系統結構具有魯棒性。在第三方面，針對軟體系統的生存性評估分別提出了：基於系統結構和運行環境的系統生存性模型、基於依賴關係的服務生存性保障模型、可靠的分散式系統生存性保障模型。本項目的上述研究成果從軟體測試、可靠性評估和生存性角度為軟體系統提供了安全性、可靠性、可生存性方面的保障。
