会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 5. 发明授权
    • 一种安全关键软件可靠性的两阶段贝叶斯验证方法和系统
    • CN117271377B
    • 2024-02-02
    • CN202311566668.8
    • 2023-11-23
    • 中国人民解放军海军工程大学
    • 王玉琢刘海涛翟亚利黄登斌袁昊劼刘永凯
    • G06F11/36G06F18/20
    • 本发明公开了一种安全关键软件可靠性的两阶段贝叶斯验证方法和系统,属于软件可靠性验证技术领域。本发明先在研发阶段对软件提出可靠性要求,基于该阶段产生的可靠性增长测试信息,利用软件可靠性增长模型给出软件可靠性评估值,并验证其是否达到规定的可靠性要求,从而保证进入下一阶段前的软件具有较高可靠性水平;再在软件试用阶段,基于最大后验风险制定贝叶斯验证方案,并利用用户现场使用信息验证软件可靠性。利用两阶段可靠性信息综合验证软件可靠性指标,降低对测试用例的依赖性,(56)对比文件张点.基于可靠性增长的可靠性鉴定试验方案《.系统工程与电子技术》.2023,第3699-3704页.张点.基于可靠性增长的可靠性鉴定试验方案《.系统工程与电子技术》.2023,第3699-3704页.马飒飒;费扬洁;赵守伟.安全关键软件防危性评测方法研究.计算机工程与设计.2008,(第23期),第8页.弋泽龙;温玉梅;林燕敏;陈伟庭;吕冠宇.多层缺陷关联效应对软件可靠性增长过程的影响.计算机科学.2018,(第02期),全文.郭鹏;赵晓东.试飞试用阶段的飞机可靠性评估研究.航空工程进展.(第04期),全文.龙兵;张明波.定数截尾下Lomax分布失效率和可靠度的贝叶斯估计.华南师范大学学报(自然科学版).(第02期),全文.张志华,田艳梅,郭尚峰.指数型产品可靠性验收试验方案研究.系统工程与电子技术.2005,(第04期),全文.马振宇;吴纬;张威;刘福胜;韩坤.基于改进贝叶斯方法的软件可靠性验证测试.计算机工程与设计.2018,(第10期),全文.