申请/专利权人：中国人民解放军海军工程大学

申请日：2024-03-05

公开（公告）日：2024-04-09

公开（公告）号：CN117851266A

主分类号：G06F11/36

分类号：G06F11/36;G06N7/01

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.04.26#实质审查的生效;2024.04.09#公开

摘要：本发明属于软件可靠性验证测试领域，具体公开了一种安全关键软件可靠性贝叶斯验证方法及装置。方法包括：获取可靠性增长测试样本的联合似然函数；根据联合似然函数确定最后一阶段可靠性参数的边缘密度函数；将最后阶段的边缘密度函数基于贝叶斯定理得到可靠性参数的后验分布，并以该增长测试最后一阶段可靠性参数的后验分布作为可靠性验证阶段的软件可靠性参数的先验分布；基于贝叶斯公式和软件可靠性参数的先验分布，制定贝叶斯验证方案，得到可靠性验证测试需要执行的测试用例个数。本发明制定的贝叶斯方案能在确保方案可信度的前提下，明显减少可靠性验证测试用例数量，减轻测试负担，具备一定的经济效益价值。

主权项：1.一种安全关键软件可靠性贝叶斯验证方法，其特征在于，包括：采集安全关键软件在可靠性增长测试期间的测试样本，确定所述测试样本的样本个数，并获取各阶段测试样本的联合似然函数；所述样本个数满足试验次数和可靠性参数的二项分布；根据所述联合似然函数确定最后一阶段可靠性参数的边缘密度函数；将所述最后一阶段可靠性参数的边缘密度函数基于贝叶斯定理得到可靠性参数的后验分布，将增长测试最后一阶段可靠性参数作为安全关键软件进行交付的软件可靠性参数，将所述最后一阶段可靠性参数的后验分布确定为可靠性验证阶段的软件可靠性的先验分布；基于贝叶斯公式和软件可靠性的先验分布从控制使用方平均风险的角度确定贝叶斯验证方案，基于所述贝叶斯验证方案得到可靠性验证测试需要执行的测试用例个数，基于所述测试用例个数进行可靠性验证测试并获取现场失效数据，根据所述现场失效数据判断软件可靠性是否达标。

全文数据：

权利要求：

百度查询： 中国人民解放军海军工程大学 安全关键软件可靠性贝叶斯验证方法及装置

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD