软件系统序贯验后加权检验模型

Sequential Posterior Odd Test Testing Model for Software Reliability

本文用Bayes动态模型检验软件可靠性.模型失效间隔时间长度服从Weibull分布;利用主观信息和客观信息逐步修正先验分布.利用Gibb方法计算后验样本,利用序贯验后加权检验系统的稳定性和失效率.最后在系统稳定的条件下,给出失效率的序贯验后加权的结尾检验的两类错误上界.

This paper presents a Bayes dynamic Weil）ull failure- time distribution to characterize Test ） to test stability of system and failure rate model for testing software reliability. The paper uses the the reliability model. Using SPOT（ Sequential Posterior Odd ; using truncated SPOT to test failure rate of stable system.