龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
摘要：本申请属于软件分析领域，具体公开了一种离散型软件的可靠性贝叶斯验证方法、系统及设备，方法包括：获取对离散型软件进行可靠性增长测试的离散数据集；结合数据集和离散时间域上的非齐次泊松过程，确定离散型软件可靠性增长模型；基于可靠性增长模型估计离散型软件再成功执行预设规定任务的概率；将可靠度的先验分布设为贝塔分布，基于成功执行预设规定任务的概率和最大熵法估计贝塔分布的参数；基于先验分布和贝叶斯定理确定可靠度的后验分布；根据后验分布确定预设可容忍失效次数下对离散型软件进行可靠性验证所需的测试用例数量；根据测试用例数量和可容忍失效次数进行可靠性验证。通过本申请，提出一种有效的离散型软件可靠性验证方案。
主权项：1.一种离散型软件的可靠性贝叶斯验证方法，所述离散型软件以离散时间记录任务执行失败的数据；其特征在于，包括：获取对所述离散型软件进行可靠性增长测试的离散数据集；所述离散数据集包括：各组测试执行的测试用例数量和成功执行的用例数量；结合所述离散数据集和离散时间域上的非齐次泊松过程，确定离散型软件可靠性增长模型；以及基于所述离散型软件可靠性增长模型，估计所述可靠性增长测试之后所述离散型软件再成功执行预设规定任务的概率；将所述离散型软件在可靠性验证测试阶段可靠度的先验分布设为贝塔分布，基于所述再成功执行预设规定任务的概率和最大熵法估计所述贝塔分布的参数；所述可靠度为可靠性验证测试阶段离散型软件成功执行所述规定任务的概率；基于估计参数后的所述先验分布和贝叶斯定理确定所述可靠度的后验分布；根据所述后验分布确定预设可容忍失效次数下对所述离散型软件进行可靠性验证测试所需的测试用例数量；根据所述测试用例数量和预设可容忍失效次数对所述离散型软件进行可靠性验证测试。
全文数据：
权利要求：
百度查询： 中国人民解放军海军工程大学 一种离散型软件的可靠性贝叶斯验证方法、系统及设备
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号