A two-stage verification scheme for software reliability of highly reliable ship equipment
A two-stage reliability verification scheme was proposed to address the issues of long tes-ting cycles and inaccurate reflection of the actual usage environment in the software reliability verifica-tion 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 soft-ware 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 imple-mentation.The utilization of user's on-site usage information proves the credibility of the validation conclusion.
万方数据
维普
