Abstract
A new metaphor is presented for the measurement and modeling of the reliability of software systems that focuses on the functionality that the code is executing and not the software as a monolithic system. In computer software systems, it is the functionality that fails. Some functionalities may be virtually failure free while other functionalities will collapse with certainty whenever they are executed. The focus of this paper is on the notion that it is possible to measure the activities of a system as it executes its various functionalities and characterize the reliability of the system in terms of these functionalities. A software system is the sum of its functionalities. If we can know the reliability of the functionalities and how the system apportions its time among these functionalities, we can then know the reliability of the system. This view of reliability permits the dynamic estimation of the parameters of the underlying multinomial probability distribution representing the transition between program modules. This use of the multinomial probability distribution is particularly convenient in that it has a Dirichlet distribution as its natural conjugate family. Thus, a Bayesian approach may be employed so that each step or epoch in the dynamic operation of a system provides incremental information as to the evolving reliability assessment of the program.
Chapter PDF
Similar content being viewed by others
References
Chen, M., Mathur, A.P. and Rego, V. J. (1995) Effect of testing techniques on software reliability estimates obtained using a time-domain model. IEEE Transactions on Reliability, 44 (1) 97–103.
DeGroot, M. H. (1970) Optimal Statistical Decision. McGraw-Hill Book Company, New York..
Laprie, J. C. (1984) Dependability evaluation of software systems in operation. IEEE Transactions on Software Engineering, SE-10 (6) 701–714.
Littlewood, B. (1979) Software reliability model for modular program structure. IEEE Transactions on Reliability, R-28 (3) 241–246.
Mazzuchi, T. A. and Soyer, R. (1993) A Bayes method for assessing product-reliability during development testing. IEEE Transactions on Reliability, 42 (3) 503–510.
Munson, J. C. (1996) A Software Blackbox Recorder. Proceedings of the 1996 IEEE Aerospace Applications Conference, IEEE Computer Society Press, Los Alamitos, CA, November, 309–320.
Munson, J. C. (1995) Software measurement: problems and practice. Annals of Software Engineering, 1 (1) 255–285.
Munson, J. C. and Khoshgoftaar,T. M. (1992) The detection of fault-prone programs. IEEE Transactions on Software Engineering, SE-18 (5)423–433.
Munson, J. C. and Ravenel, R. H. (1993) Designing reliable software. Proceedings of the 1993 IEEE International Symposium of Software Reliability Engineering, IEEE Computer Society Press, Los Alamitos, CA, November, 45–54.
Musa, J. D. (1992) The operational profile in software reliability engineering: an overview. Proceedings of the IEEE International Symposium on Software Reliability Engineering, IEEE Computer Society Press, Los Alamitos, CA, 140–154.
Siegrist, K (1988a) Reliability of systems with Markov transfer of control. IEEE Transactions on Software Engineering, SE-14 (7) 1049–1053.
Siegrist, K (1988b) Reliability of systems with Markov transfer of control, II. IEEE Transactions on Software Engineering, SE-14 (10) 1478–1480.
Wilks, S.S. (1962) Mathematical Statistics. John Wiley and Sons, Inc., New York.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Munson, J.C. (1997). A functional approach to software reliability modeling. In: Boisvert, R.F. (eds) Quality of Numerical Software. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-1-5041-2940-4_5
Download citation
DOI: https://doi.org/10.1007/978-1-5041-2940-4_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2942-8
Online ISBN: 978-1-5041-2940-4
eBook Packages: Springer Book Archive