计算机科学

计算机科学 ›› 2025, Vol. 52 ›› Issue (9): 360-367.doi: 10.11896/jsjkx.240600086

• 计算机软件 • 上一篇    下一篇

基于分阶段增长测试信息的软件可靠性贝叶斯验证方案

王玉琢1,2, 刘海涛1, 袁昊劼1, 翟亚利1, 张志华3   

  1. 1 海军工程大学基础部 武汉 430033
    2 海军工程大学兵器工程学院 武汉 430033
    3 海军工程大学舰船与海洋学院 武汉 430033
  • 收稿日期:2024-06-13 修回日期:2024-10-16 出版日期:2025-09-15 发布日期:2025-09-11
  • 通讯作者: 刘海涛(liuhaitao_nue@163.com)
  • 作者简介:(0907032003@nue.edu.cn)

Bayesian Verification Scheme for Software Reliability Based on Staged Growth Test Information

WANG Yuzhuo1,2, LIU Haitao1, YUAN Haojie1, ZHAI Yali1, ZHANG Zhihua3   

  1. 1 Department of Foundation,Naval University of Engineering,Wuhan 430033,China
    2 College of Weaponry Engineering,Naval University of Engineering,Wuhan 430033,China
    3 College of Naval Architecture and Ocean Engineering,Naval University of Engineering,Wuhan 430033,China
  • Received:2024-06-13 Revised:2024-10-16 Online:2025-09-15 Published:2025-09-11
  • About author:WANG Yuzhuo,born in 1984,Ph.D,associate professor.Her main research interest is software reliability evaluation.
    LIU Haitao,born in 1982,Ph.D,professor.His main research interest is reliability theory and application.

PDF (PC)

7

摘要： 针对现有贝叶斯方案的先验分布确定方法对软件可靠性分阶段增长测试信息加工偏保守、假设条件偏理想的问题,利用正则不完全贝塔函数与二项分布累积和之间的恒等关系式,给出增长测试最后一阶段软件成功率的边缘概率分布模型。在此基础上,提出了顺序约束条件下的软件成功率先验分布确定方法,并从保护使用方利益的角度设计了基于平均后验风险的软件可靠性贝叶斯验证方案。经实例和仿真验证,所提先验分布确定方法对软件可靠性分阶段增长测试信息的加工更合理,设计的贝叶斯方案能在保证方案可信度的前提下明显减少可靠性验证测试用例数量,减轻测试负担,具有一定的经济价值。

关键词: 软件可靠性验证, 可靠性增长测试, 软件成功率

Abstract: The prior distribution determination methods of existing Bayesian schemes are relatively conservative and ideal for processing software reliability phased growth testing information.In this article,an edge distribution model for the software success probability at the final stage of growth testing is constructed using the identity relationship between the regular incomplete beta function and the cumulative sum of binomial distributions.On this basis,a prior distribution determination method of software success probability under sequential constraints is proposed,and a Bayesian verification scheme based on average a posteriori risk is designed to protect the interests of users.The example and simulation show that the proposed prior distribution determination method is more reasonable for processing software reliability phased growth information,the designed Bayesian scheme can significantly reduce the number of reliability verification test cases and reduce testing burden while ensuring the reliability of the schemes and has certain economic value.

Key words: Software reliability verification, Reliability growth testing, Software success rate

中图分类号: 

  • E917
[1]HSU J,Y,JIANG T Y,CHAO P C P.A fast FPGA hardware accelerator for remote heart rate detection based on RGB vision[J].IEEE Transactions on Biomedical Circuits and Systems,2024,18:592-607.
[2]ZORMATI M A,LAKHLEF H,OUNI S.Review and analysis of recent advances in intelligent network softwarization for the Internet of Things[J].Computer Networks,2024,241:110215.
[3]MA Z Y,ZHANG W,WU W,et al.Overview of software reliability demonstration testing research method[J].Journal of Ordnance Equipment Engineering,2019,40(7):118-123.
[4]SHEN X M,WU L J,ZHAN H Y,et al.Research on reliability verification and evaluation technology of ship equipment software[J].Computer Measurement & Control,2020,28(4):232-236.
[5]MA Z Y.Software reliability demonstration testing scheme ofprior dynamic integration bayesian method based on the idea of decreasing function[J].International Journal of Performability Engineering,2018,14(12):3087-3097.
[6]GRUNDLER A,DAZER M,HERZIG T.Statistical power ana-lysis in reliability demonstration testing:the probability of test success[J].Applied Sciences,2022,12:6190.
[7]AFSHARI S S,ENAYATOLLAHI F,XU X Y,et al.Machine learning-based methods in structural reliability analysis:a review[J].Reliability Engineering&Amp;System Safety,2022,219:108223.
[8]WANG J J,YANG G K,FENG Z B.Bayesian modeling and optimization based on multiple life distribution models[J].Journal of Systems Engineering,2023,38(6):880-890.
[9]CAI Y F,WU Y H,ZHOU J Y,et al.Quantitative software reliability assessment methodology based on Bayesian belief networks and statistical testing for safety-critical software[J].Annals of Nuclear Energy,2020,145:107593.
[10]LIANG D J.Design and Implementation of Process Control and Management System for Military Software Testing and Measure[D].Changsha:National University of Defense Technology,2019.
[11]GIANG P H.A new axiomatization for likelihood gambles[C]//Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence(UAI 2006).2006:192-199.
[12]WANG K SHI X J,XIAO Z C,et al.Restricted fault sample size determination method based on posterior distrubution[J].Journal of Vibration,Measurement & Diagnosis,2020,40(6):1156-1164,1234-1235.
[13]LEI H J,QIN K Y.Bayesian method for determination of testability demonstration test scheme[J].Systems Engineering and Electronics,2012,34(12):2612-2616.
[14]ZHOU Y Q,LI B S,ZHANG Z P,et al.Reliability StatisticalAnalysis[M].Beijing:Science Press,2017:87-88.
[15]MAO S S,WANG J L,PU X L.Advanced Mathematical Statistics(Third Edition)[M].Beijing:Higher Education Press,2021:386-387.
[16]STEFAN A M,SCHÖNBRODT F D,EVANS N J,et al.Efficiency in sequential testing:Comparing the sequential probability ratio test and the sequential Bayes factor test[J].Behavior Research Methods,2022,54:3100-3117.
[17]LI J X,LI Z Y,JIANG G J.Reliability estimation of ELNs based on multi-layer Bayesian theory[C]//12th International Confe-rence on Quality,Reliability,Risk,Maintenance,and Safety Engineering(QR2MSE 2022):Institution of Engineering and Technology.2022:776-781.
[18]MA Z Y WU W,ZHANG W,et al.Bayesian software reliability demonstration testing scheme based on fibonacci iteration algorithm[J].Journal of Academy of Armored Force Engineering,2017,31(4):116-120.
[19]JIA Y,MEI F,SUN P.Software reliability verification simulation based on dynamic integration of prior information[J].Computer Simulation,2023,40(10):377-380,430.
[20]CAI K Y.Towards a conceptual framework of software run reliability modeling[J].Information Sciences,2000,126:137-163.
[21]FU H M,WEN X L,YANG H F.Test method for reliabilitysimulation[J].Intelligent Computer and Applications,2019,9(5):7-12.
[22]MAO S S,TANG Y C.Bayesian Statistics(Second Edition)[M].Beijing:China Statistical Press,2012:52-53.
[23]WU Y M,YANG R S,LI H F,et al.Bayesian theory based software reliability demonstration test method for safety critical software[J].Mathematical Structures in Computer Science,2014,24:1-22.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
地址：重庆市渝北区洪湖西路18号    邮编：401121  
电话：023-63500828（编辑部） 023-67039612（会议/专题） 023-67039623（财务/发票）
E-mail：jsjkx12@163.com
本系统由北京玛格泰克科技发展有限公司设计开发