markov-chain-usage-model

markov-chain-usage-model

markov-chain-usage-model is a Haskell library for performing computations on Markov chain based usage models.

References

• A theory of software reliability and its application (1975) by J. D. Musa;

• Engineering software under statistical quality control (1990) by R. H. Cobb and H. D. Mills;

• Operational profiles in software-reliability engineering (1993) by J. D. Musa;

• A Markov chain model for statistical software testing (1994) by J. A. Whittaker and M. G. Thomason;

• Statistical testing of software based on a usage model (1995) by G. H. Walton, J. H. Poore and C. J. Trammell;

• Quantifying the reliability of software: statistical testing based on a usage model (1995) by C. Trammell;

• Computations for Markov Chain Usage Models (2000) by S. J. Prowell;

• Computing system reliability using Markov chain usage models (2004) by S. J. Prowell and J. H. Poore;

• Software Reliability Engineering: More Reliable Software Faster and Cheaper (2004) by J. D. Musa;

• A Simpler and More Direct Derivation of System Reliability Using Markov Chain Usage Models (2017) by L. Lin, Y. Xue and F. Song;

• On A Simpler and Faster Derivation of Single Use Reliability Mean and Variance for Model-Based Statistical Testing (2018) by Y. Xue, L. Lin, X. Sun and F. Song;

• Stopping criteria for statistical testing (2000) by K. Sayre and J. H. Poore;

• A cost-benefit stopping criterion for statistical testing (2004) by S. J. Prowell.

See also

• The JUMBL library and tool (documentation and code)

License

BSD-style (see the file LICENSE).