Software Reliability as an Application of Martingale & Filtering Theory

We show how martingale theory provides a comprehensive framework to obtain models for software reliability. Conditional distributions are obtained by solving filtering problems. By means of these distributions several reliability measures can be computed.