An optimal statistical testing policy for software reliability demonstration of safety-critical systems

When software reliability demonstration of safety-critical systems by statistical testing is treated as a Test, Analyse and Fix (TAAF) process, an optimal testing policy can be found, which maximises the probability of success of the whole process, over a pre-determined period of time. The optimisation problem is formulated, solved by stochastic dynamic programming, and demonstrated by two numerical examples