本發明提出一種貝葉斯軟件可靠性驗證測試方法及其計算機輔助工具,測試方法針對離散型和連續型兩種軟件,構造了基于減函數法的先驗分布函數,在此基礎上構造單層有先驗的貝葉斯軟件可靠性驗證測試方法,再對先驗分布函數中的超參數構建先驗分布函數,構造多層無先驗的貝葉斯軟件可靠性驗證測試方法。本發明計算機輔助工具包括先驗數據收集管理模塊、失效數據導入模塊、先驗信息計算模塊、驗證測試方案生成模塊、錄入驗證測試失效數據模塊及結果輸出模塊,實現基于減函數法的單層先驗分布的貝葉斯軟件可靠性驗證測試。本發明更加適用于高可靠軟件的可靠性驗證測試,提高了驗證測試的效率。
聲明:
“貝葉斯軟件可靠性驗證測試方法及其計算機輔助工具” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)