We apologize for a recent technical issue with our email system, which temporarily affected account activations. Accounts have now been activated. Authors may proceed with paper submissions. PhDFocusTM
CFP last date
20 December 2024
Call for Paper
January Edition
IJCA solicits high quality original research papers for the upcoming January edition of the journal. The last date of research paper submission is 20 December 2024

Submit your paper
Know more
The week's pick
Responsive image
Improved Shuffled Frog Leaping Algorithm with Self-Adaptive Shuffling for Fuzzy Logic PD+G Controller Optimization in Robotic Manipulators

Duc Hoang Nguyen
Random Articles
Reseach Article

New Paradigm for Software Reliability Estimation

by Ritika Wason, P. Ahmed, M.qasim Rafiq
journal cover thumbnail

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

Powered by PhDFocusTM