Abstract
This paper proposes a graph theoretic approach for enumeration of paths and symbolic reliability expression of a large software from the program graph having a series, parallel or complex network structure. It also presents a brief account of the factors which influence the overall reliability of a software. One space application program has been used for illustration purpose.
Similar content being viewed by others
References
Musa, J.D.; Iannino, A. and Okumoto, K.; “Software Reliability Measurement, Prediction, Application”, McGraw-Hill Int. Ed., 1987.
Shooman, M.L.; “Software Engineering: Design, Reliability and Management”, McGraw Hill International Ed., 1983.
Schneidewind, N.F.; “Application of Program Graphs and Complexity Analysis to Software Development and Testing”, IEEE Trans. On Rel., vol. R-28, 1979, pp.192–198.
Fischer, K.F. and Walker, M.G.; “Improved Software Reliability Through Requirements Verifications”, IEEE Trans. On Rel., vol. R-28, 1979, pp. 233–240.
Suri, P.K. and Aggarwal, K.K.; “Reliability Evaluation of Computer Programs”, Microelectron. Rel., 20, 1980, pp. 465–470.
Suri, P.K. and Aggarwal K.K.; “Software Reliability of Programs with Network Structure”, Microelectron. Rel., 21, 1981, pp. 203–207.
Leveson, N.G. and Stolzy, J.L.; “Safety Analysis of Ada Programs Using Fault Trees”, IEEE Trans. On Rel., vol. R-32, 1983, pp. 479–484.
Aziz, M.A.; Sobhan, M.A. and Samad, M.A.; “Reduction of Computations In Enumeration of Terminal and Multiterminal Path Sets by the Method of Indexing”, Microelectron. Rel., 32, 1992, pp. 1067–1072.
Misra, R.B. and Misra, K. B.; “Enumeration of all Simple Paths In a Communication Network”, Microelectron. Rel., 20, 1980, pp. 419–426.
Samad, MA; “An Efficient Algorithm for Simultaneously Deducing Minimal Paths as well as Cuts of a Communication Network”, Microelectron. Rel., 27, 1987, pp. 437–441.
Samad, M.A.; “An Efficient Method for Terminal and Multiterminal Path Set Enumeration”, Microelectron. Rel., 27, 1987, pp. 443–446.
Abraham, J.A.; “An Improved Algorithm for Network Reliability”, IEEE Trans. On Rel., vol. R-28, 1979, pp. 58–61.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Chatterjee, S., Misra, R.B. & Alam, S.S. Symbolic reliability evaluation of a software with network structure. OPSEARCH 41, 165–177 (2004). https://doi.org/10.1007/BF03398842
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF03398842