markov-chain-usage-model: Computations for Markov chain usage models
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
Please see the README on GitHub at https://github.com/advancedtelematic/markov-chain-usage-model#readme
[Skip to Readme]
Properties
| Versions | 0.0.0, 0.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.10 && <5), matrix (>=0.3.6.1), vector (>=0.10) [details] |
| 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:16:34Z |
Modules
[Index] [Quick Jump]
Downloads
- markov-chain-usage-model-0.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees
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).