Exact Calculation of the Distributions of the Stopping Times of Two Types of Truncated SPRT for the Mean of the Exponential Distribution

摘要

Truncated sequential test procedures are proposed for testing the mean time between failures of a system with exponential life distribution. The exact distributions of the stopping times for the sequential tests are derived by investigating boundary crossing times of homogeneous Poisson processes. The exact formulas for the expected values of the stopping variables and the survival functions are derived. Moreover, the operation characteristic functions are derived exactly for the proposed sequential tests.