CFP last date
20 January 2025
Reseach Article

New Paradigm for Software Reliability Estimation

by Ritika Wason, P. Ahmed, M.qasim Rafiq
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 44 - Number 14
Year of Publication: 2012
Authors: Ritika Wason, P. Ahmed, M.qasim Rafiq
10.5120/6335-8711

Ritika Wason, P. Ahmed, M.qasim Rafiq . New Paradigm for Software Reliability Estimation. International Journal of Computer Applications. 44, 14 ( April 2012), 39-44. DOI=10.5120/6335-8711

@article{ 10.5120/6335-8711,
author = { Ritika Wason, P. Ahmed, M.qasim Rafiq },
title = { New Paradigm for Software Reliability Estimation },
journal = { International Journal of Computer Applications },
issue_date = { April 2012 },
volume = { 44 },
number = { 14 },
month = { April },
year = { 2012 },
issn = { 0975-8887 },
pages = { 39-44 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume44/number14/6335-8711/ },
doi = { 10.5120/6335-8711 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:35:35.938842+05:30
%A Ritika Wason
%A P. Ahmed
%A M.qasim Rafiq
%T New Paradigm for Software Reliability Estimation
%J International Journal of Computer Applications
%@ 0975-8887
%V 44
%N 14
%P 39-44
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

In common parlance, the traditional software reliability estimation methods often rely on assumptions like statistical distributions that are often dubious and unrealistic. This paper analyzes the assumptions of traditional reliability estimation methods and further evaluates the practical viability of the predictions offered by these models in the current scenario. We further propose a novel Finite Automata (FA) based reliability model that implicitly scores over the traditional models on many factors, most importantly due to the fact that it is based on the realistic assumption that a software system in execution is a Finite State Machine (FSM).

References
  1. Faqih, K. M. S. 2009. What is Hampering the Performance of Software Reliability Models? A Literature Review. International MultiConference of Engineers and Computer Scientists.
  2. Chung, D. W. 2007. Quantitative Reliability Assessment for Safety Critical System Software Journal of Electrical Engineering and Technology, Vol 2. No. 3, 386-390.
  3. Sharma, V. S. and Trivedi, K. S. 2007. Quantifying software performance, reliability and security: An Architecture-Based Approach the Journal of Systems and Software, vol 80, 493-509.
  4. Dai, Y. S. , Marshall, T. and Guan, X. 2006. Autonomic and Dependable Systems: Moving Towards a Model-Driven Approach Journal of Computer Science.
  5. Bowles, J. 1989. A Model for Assessing Computer Network Reliability, IEEE Proceedings.
  6. Chan, H. and Chieu, T. 2003. An approach to monitor application states for self-managing (autonomic) systems. 18th Annual ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages and Applications, 312-313.
  7. Dai, Y. S. , Xie M. and Poh, K. L. 2005. Markov renewal models for correlated software failures of multiple types, IEEE Trans. On Reliability, Vol. 54, 100-106.
  8. Gokhale, S. S. , Marinos, P. N. and Trivedi, K. S. 1996. Important Milestones in Software Reliability Modeling Communications in Reliability, maintainability and Serviceability, SAE International.
  9. Yang, B. , Li, X. , Xie, M. and Tan, F. 2010. A generic data-driven software reliability model with model mining technique, Reliability Engineering and System Safety, Vol. 95, 671-678.
  10. Huth, M. 2007. Some current topics in model checking, Intl. Journal Software Tools Technology Transfer, Vol 9, 25-36.
  11. Littlewood, B. 1879. How to measure Software Reliability and How Not To IEEE Transactions on Reliability, Vol 28 (2), 103-110.
  12. Littlewood, B. 1975. MTBF is meaningless in software reliability, (letter) IEEE Trans. Reliability, vol R-24, 82.
  13. Littlewood, B. 1980. Theories of Software Reliability: How Good Are They and How Can They Be Improved? IEEE Transactions on Software Engineering, SE 6, 489-500.
  14. Goel, A. L. 1985. Software Reliability Models: Assumptions, Limitations and Applicability, IEEE Transactions on Software Engineering, vol SE11, No. 12, 1411-1423.
  15. Li, Juncao 2010. An Automata Theoretic Approach to Hardware/Software Co verification, Doctoral Thesis, Portland State University.
  16. Gokhale, S. Accurate Reliability Prediction Based on Software Structure, http:// www. engr. uconn. edu/ ~ssg/ cse300/ 397-232. pdf.
  17. Fenton, N. , Krause, P. and Neil, M. 2002. Software Measurement: Uncertainty and Causal Modeling, IEEE Software, vol. 19(4), 116-122.
  18. Carmely, T. 2010. Using Finite State Machines to Design Software, Embedded Systems Design, vol. 23, Ed. 6.
  19. Ghosh et. al, D. 2007. Self-Healing Systems- Survey and Synthesis Decision Support Systems, vol. 42, 2164-2185.
  20. Hoare, C. A. R 1969. An Axiomatic Basis for Computer Programming Communications of the ACM, vol 12(10), 576-583.
  21. T. S Chow, Testing software design modeled by finite state machines, IEEE Transactions on Software Engineering, 1978, vol. 4 (3), pp. 178-187.
  22. Reusnner, R. H. , Schmidt, H. W. and Poernomo, I. H. 2003. Reliability prediction for component-based software architectures The Journal of Systems and Software, vol. 66, 241-252.
  23. Wood, A. 1996. Software Reliability Growth Models in TANDEM.
  24. Yadav, A. and Khan, R. A. 2009. Critical Review on Software Reliability Models International Journal of Recent Trends in Engineering, Vol 2(3), 114-116.
  25. Ramamoorthy, C. V. and Bastani, F. B. 1982. Software Reliability-Status and Perspectives IEEE Transactions on Software Engineering, Vol SE-8, No. 4, 354-369.
Index Terms

Computer Science
Information Sciences

Keywords

Software Reliability Software Reliability Growth Model (srgm) Finite-state Machine (fsm) Finite State Automata Automata-based Software Reliability Model