高可靠舰船装备软件可靠性的两阶段验证方案  

A two-stage verification scheme for software reliability of highly reliable ship equipment

作　　者：王玉琢[1,2] 刘海涛 翟亚利[1] 张志华[3] WANG Yuzhuo;LIU Haitao;ZHAI Yali;ZHANG Zhihua(Dept.of Basic Courses,Naval Univ.of Engineering,Wuhan 430033,China;College of Weaponry Engineering,Naval Univ.of Engineering,Wuhan 430033,China;College of Naval Architecture and Ocean Engineering,Naval Univ.of Engineering,Wuhan 430033,China)

机构地区：[1]海军工程大学基础部,武汉430033 [2]海军工程大学兵器工程学院,武汉430033 [3]海军工程大学舰船与海洋学院,武汉430033

出　　处：《海军工程大学学报》2024年第2期107-112,共6页Journal of Naval University of Engineering

摘　　要：针对高可靠舰船装备软件可靠性验证存在的测试周期长、测试剖面难以准确反映真实使用环境等问题,提出了一种两阶段可靠性验证方案。首先,在研发阶段对软件提出可靠性要求,并基于该阶段产生的可靠性增长测试信息,利用软件可靠性增长模型评估软件可靠性水平,验证其是否达到规定的可靠性要求;然后,基于最大后验风险制定贝叶斯验证方案,并在软件试用阶段利用用户现场使用信息验证软件可靠性。实例分析结果表明:所提的两阶段验证方案能缩短软件可靠性验证时长、方便工程实施;利用用户现场使用信息给出验证结论,使结论具备较高的可信性。A two-stage reliability verification scheme was proposed to address the issues of long testing cycles and inaccurate reflection of the actual usage environment in the software reliability verification of highly reliable ship equipment.Firstly,reliability requirements were placed on the software at the development stage.Based on the reliability growth test data generated during this stage,a software reliability growth model was used to evaluate and verify whether the software reliability meets the specified reliability index.And then,a Bayesian verification scheme was designed based on the maximum posterior risk at the software trial phase,and the software reliability was verified based on user on-site usage information.The case analysis shows that the proposed two-stage verification scheme can shorten the duration of software reliability verification and facilitate engineering implementation.The utilization of user′s on-site usage information proves the credibility of the validation conclusion.

关 键 词：可靠性验证 可靠性增长模型 最大后验风险 

分 类 号：E917[军事]