本發(fā)明提出一種貝葉斯軟件可靠性驗(yàn)證測(cè)試方法及其計(jì)算機(jī)輔助工具，測(cè)試方法針對(duì)離散型和連續(xù)型兩種軟件，構(gòu)造了基于減函數(shù)法的先驗(yàn)分布函數(shù)，在此基礎(chǔ)上構(gòu)造單層有先驗(yàn)的貝葉斯軟件可靠性驗(yàn)證測(cè)試方法，再對(duì)先驗(yàn)分布函數(shù)中的超參數(shù)構(gòu)建先驗(yàn)分布函數(shù)，構(gòu)造多層無先驗(yàn)的貝葉斯軟件可靠性驗(yàn)證測(cè)試方法。本發(fā)明計(jì)算機(jī)輔助工具包括先驗(yàn)數(shù)據(jù)收集管理模塊、失效數(shù)據(jù)導(dǎo)入模塊、先驗(yàn)信息計(jì)算模塊、驗(yàn)證測(cè)試方案生成模塊、錄入驗(yàn)證測(cè)試失效數(shù)據(jù)模塊及結(jié)果輸出模塊，實(shí)現(xiàn)基于減函數(shù)法的單層先驗(yàn)分布的貝葉斯軟件可靠性驗(yàn)證測(cè)試。本發(fā)明更加適用于高可靠軟件的可靠性驗(yàn)證測(cè)試，提高了驗(yàn)證測(cè)試的效率。