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