markov-chain-usage-model: Computations for Markov chain usage models
Please see the README on GitHub at https://github.com/advancedtelematic/markov-chain-usage-model#readme
[Skip to Readme]
Downloads
- markov-chain-usage-model-0.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.10 && <5), matrix (>=0.3.6.1), vector (>=0.10) [details] |
| Tested with | ghc ==8.2.2, ghc ==8.4.3, ghc ==8.6.3 |
| License | BSD-2-Clause |
| Copyright | Copyright (C) 2018-2019, HERE Europe B.V. |
| Author | Stevan Andjelkovic |
| Maintainer | stevan.andjelkovic@here.com |
| Category | Testing |
| Home page | https://github.com/advancedtelematic/markov-chain-usage-model#readme |
| Bug tracker | https://github.com/advancedtelematic/markov-chain-usage-model/issues |
| Source repo | head: git clone https://github.com/advancedtelematic/markov-chain-usage-model |
| Uploaded | by stevana at 2019-05-14T08:22:15Z |
| Distributions | LTSHaskell:0.0.0, Stackage:0.0.0 |
| Reverse Dependencies | 1 direct, 2 indirect [details] |
| Downloads | 4118 total (16 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2019-05-14 [all 1 reports] |
Readme for markov-chain-usage-model-0.0.0
[back to package description]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).