軟體可靠性測試的數學模型研究

《軟體可靠性測試的數學模型研究》是依託中國科學院數學與系統科學研究院，由劉克擔任項目負責人的面上項目。

基本介紹

• 中文名：軟體可靠性測試的數學模型研究
• 項目類別：面上項目
• 項目負責人：劉克
• 依託單位：中國科學院數學與系統科學研究院

項目摘要

為了有效的評估軟體系統的可靠性問題，本項目著重研究軟體可靠性測試的數學基礎，包括：揭示軟體缺陷的發生、剔除與軟體可靠性的內在聯繫、軟體缺陷在測試過程中的分布規律、以及軟體在環境變化和自身演化下可靠性的變化規律等。通過建立有效的數學模型以及對這些數學模型的深入研究，一方面，了解軟體在測試過程中的動態表現和一般規律，為軟體可靠性的正確評估打下數學基礎；另一方面，對研究過程中出現的新問題，研究新的數學方法和理論。具體的有：1）考慮剔除缺陷時會帶來新的缺陷這個因素，軟體測試過程的結構發生的變化；2）考慮軟體測試過程穩定性的問題，並分析過程收斂的速度問題；3）在缺陷剔除時間不可忽略時，分析非標準Phase Type型到達過程的新性質；4）研究相應軟體測試過程的結構及其突變等。

結題摘要

我們建立了五個軟體可靠性測試模型，分別討論了相關的性質，部分的給出了算法，並得到一項國家專利。我們的工作涵蓋了申請書中的主要方面。