A markov process model for software reliability analysis
β Scribed by Xie, M.
- Publisher
- John Wiley and Sons
- Year
- 1990
- Tongue
- English
- Weight
- 408 KB
- Volume
- 6
- Category
- Article
- ISSN
- 8755-0024
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Safety and reliability have become important software quality characteristics in the development of safetycritical software systems. However, there are so far no quantitative methods for assessing a safety-critical software system in terms of safety/reliability characteristics. The metric of softwar
It is shown that any discrete probability distribution with non-negative support can be represented as a generalized Poisson process with state-dependent rates. By looking at empirical estimates of these rate parameters from data, models can be built in terms of an appropriate functional form for th
Many software systems have been produced in hostconcentrated development environments. At present, the software development environment has been changing into a distributed one because of the progress of WS (workstation) and network computing technology. Information network systems have also been ex
This work is motivated by a particular software reliability problem in a unit of flight control software developed by the Indian Space Research Organization (ISRO), in which the testing of the software is carried out in multiple batches, each consisting of several runs. As the errors are found durin