简介： 本发明提出一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具，测试方法针对离散型和连续型两种软件，构造了基于减函数法的先验分布函数，在此基础上构造单层有先验的贝叶斯软件可靠性验证测试方法，再对先验分布函数中的超参数构建先验分布函数，构造多层无先验的贝叶斯软件可靠性验证测试方法。本发明计算机辅助工具包括先验数据收集管理模块、失效数据导入模块、先验信息计算模块、验证测试方案生成模块、录入验证测试失效数据模块及结果输出模块，实现基于减函数法的单层先验分布的贝叶斯软件可靠性验证测试。本发明更加适用于高可靠软件的可靠性验证测试，提高了验证测试的效率。