一种离散型软件的可靠性贝叶斯验证方法、系统及设备

1.一种离散型软件的可靠性贝叶斯验证方法，所述离散型软件以离散时间记录任务执行失败的数据；其特征在于，包括：

2.根据权利要求1所述的方法，其特征在于，确定离散型软件可靠性增长模型，包括：

3.根据权利要求2所述的方法，其特征在于，所述可靠性增长模型包括初始缺陷总数和缺陷检出率两个参数，所述两个参数基于所述离散数据集采用极大似然估计法估计得到；所述可靠度函数和累积缺陷函数均与所述两个参数有关。

4.根据权利要求2或3所述的方法，其特征在于，所述缺陷检出函数为：

5.根据权利要求3所述的方法，其特征在于，采用极大似然估计法估计所述两个参数，包括：

6.根据权利要求1或2所述的方法，其特征在于，所述离散型软件可靠性增长模型为：

7.根据权利要求1或2所述的方法，其特征在于，所述先验分布π(r)为：

8.根据权利要1或7所述的方法，其特征在于，所述后验分布π(r|n,s)为：

9.一种离散型软件的可靠性贝叶斯验证系统，所述离散型软件以离散时间记录任务执行失败的数据；其特征在于，包括：

10.一种电子设备，其特征在于，包括：