Work on a more aggressive reliability estimator can be found here.
If you are interested in approximating the number of tests to achieve a particular reliability, Click Here....
Work on the new version of the computations technical report has been moved away from here. Contact the maintainer for information.
The original technical report on computations, Computations for Markov Chain Usage Models, has become a bit dated. In particular, it omits the following.
- The new reliability model published in Modern Statistical and Mathematical Methods in Reliability and implemented in the JUMBL and elsewhere.
- The fast analysis methods described in patent 7,219,049 for near-linear analysis of large models.
The exposition about these topics needs to be improved, and a set of exercises should be included to make the report into a proper textbook on statistical testing using the techniques described.
More generally, there are other items of interest:
- The use, analysis, and representation of continuous variables in otherwise discrete models.
- The effect of stateful transitions on the analysis.