How to measure software reliability, and how not to
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Toward an effective software reliability evaluation
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Architecture based analysis of performance, reliability and security of software systems
Proceedings of the 5th international workshop on Software and performance
Dependability metrics
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
A modified Markov model for the estimation of computer software performance
Operations Research Letters
| Hi-index | 0.00 |
Many previous software reliability prediction models by this author and others have concentrated on the bulk (macro) aspects of the program. This paper describes a newly developed micro model which is based on program structure. It is assumed that the program has been written in structured or modular form so that decomposition in to its constituent parts is simple. Further, we assume that via analysis of the program the decomposition can be related to several paths or other functional structures within the program. The model is constructed based upon the frequencies with which each of the j paths are run, (fj), the running time of each path, (tj), and the probability of error along each path, (qj). Several methods of calculating or measuring the fj, tj, and qj parameters are suggested. In fact it is possible to use one technique (historical data) to produce crude estimates at the start of the design, and refine the estimates with more accurate values as the design progresses. The paper concludes with the application of the model to a particular example: calculation of the roots of a quadratic equation, and a discussion of proposed experiments for validating the model.