Software Reliability Verification Testing Program Considering Hyper-Parameter
Qiu Ying Li, Xing Chao You
Abstract
Qiu Ying Li, Xing Chao You
Abstract
The impact of hyper-parameters is considered in the software reliability verification testing program based on the traditional Bayesian theory and a new Bayesian software reliability verification testing program is proposed, which could be used for high-reliability software. Examples are given to illustrate the effectiveness of this verification testing program.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The impact of hyper-parameters is considered in the software reliability verification testing program based on the traditional Bayesian theory and a new Bayesian software reliability verification testing program is proposed, which could be used for high-reliability software. Examples are given to illustrate the effectiveness of this verification testing program.
Key concepts: Software reliability testing, Reliability engineering, Software verification, Software quality, Computer science, Non-regression testing, Verification and validation, Reliability (semiconductor)