Computations for Markov chain usage models.
Please see the README on GitHub at https://github.com/advancedtelematic/markov-chain-usage-model#readme
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).