一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具专利登记公告

专利名称：一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具

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

专利类型：发明专利

专利号：CN201210125683.4

专利申请（专利权）人：北京航空航天大学

专利发明（设计）人：李秋英;李海峰;陆民燕;王学成

主权项：一种贝叶斯软件可靠性验证测试方法，其特征在于，包括如下步骤：步骤1：收集测试数据，并判断被测软件为离散型软件还是连续型软件，若是连续型软件，执行步骤2；若是离散型软件，转步骤5执行；步骤2：调入用户给定的验证指标，并选择进行单层贝叶斯可靠性验证测试还是进行多层贝叶斯可靠性验证测试，若选择单层贝叶斯可靠性验证测试，执行步骤3，若选择多层贝叶斯可靠性验证测试，执行步骤4；步骤3：采用基于减函数法的单层有先验的连续型贝叶斯软件可靠性验证测试方法进行可靠性验证测试，具体是：首先选取失效率λ的一个减函数构造先验分布

专利地区：北京