Skip to main content

A Probabilistic Model for Analysis and Fault Detection in the Software System: An Empirical Approach

  • Conference paper
  • First Online:
Emerging Trends in Computing and Communication

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 298))

  • 1010 Accesses

Abstract

Software reliability and estimation of defects plays an important role in software testing stage. For studying defects, one common practice is to inject faults in subject software, either manually or by using a program that generates all possible mutants based on a set of mutation constraints. Getting the optimized results for the software system while predicting defects using realistic analysis, and confirming whether that leads to valid and consistent data during software testing stage is a challenge. In this paper, we propose Process simulation Model (PSM), which is a probabilistic model-based approach that overcomes these challenges and enables prediction of software defects and its impact in the system using Bayesian estimation. Moreover, a Fault Detection Algorithm FDA is derived from PSM model that helps to predict software faults for different deterministic problems that we have taken in our experimental study to demonstrate the reliability, verification and consistency of the system. A comparative study is shown on various deterministic problems by finding set of random defects through probabilistic approach the fault may occur in the proposed software model.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. De Florio V, Botti O (2002) Software-implemented fault-tolerance and separate recovery strategies enhance maintainability. IEEE Trans Reliab 51(2):158–165

    Google Scholar 

  2. Wu Y, Hu Q, Xie M, Ng SH (2007) Modeling and analysis of software fault detection and correction process by considering time dependency. IEEE Trans Reliab 56(4):629–642

    Google Scholar 

  3. Natella R, Cotroneo D, Duraes JA On fault representativeness of software fault injection. IEEE Trans Software Eng 39(1), 80–96, 03 January 2012

    Google Scholar 

  4. Carreira J, Madeira H, Silva JG (1998) Xception: a technique for the experimental evaluation of dependability in modern computers. IEEE Trans Software Eng 24(2):125–136

    Google Scholar 

  5. Andrews JH, Briand LC, Labiche Y, Namin AS (2006) Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Trans Software Eng 32(8):608–624

    Google Scholar 

  6. Joshi KR, Schlichting RD, Sanders WH, Hiltunen MA (2011) Probabilistic model-driven recovery in distributed systems. IEEE Trans Dependable Secure Comput 8(6):913–928

    Google Scholar 

  7. Zheng J (2006) On the value of static analysis for fault detection in software. IEEE Trans Software Eng 32(4):240–259

    Google Scholar 

  8. Bahl P, Chandra R, Greenberg A, Kandula S, Maltz D, Zhang M (2007) Towards highly reliable enterprise network services via inference of multi-level dependencies. In: Proceedings of the ACM SIGCOMM, Aug 2007

    Google Scholar 

  9. Littlewood B, Popov P, Shryane N, Strigini L (2000) Modeling the effects of combining diverse software fault detection techniques. IEEE Trans Software Eng 26(12):1157–1167

    Google Scholar 

  10. Kuo SY, Huang CY, Lyu MR (2001) Framework for modeling software reliability, using various testing-efforts and fault-detection rates. IEEE Trans Reliab 50(3):310–320

    Google Scholar 

  11. Qin F, Tucek J, Sundaresan J, Zhou Y (2005) Rx: treating bugs as allergies—a safe method to survive software failures. In: Proceedings of the symposium on operating systems principles (SOSP), pp 235–248

    Google Scholar 

  12. GeNIe, version 2.0. http://genie.sis.pitt.edu/

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gitosree Khan .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer India

About this paper

Cite this paper

Khan, G., Sengupta, S., Das, K. (2014). A Probabilistic Model for Analysis and Fault Detection in the Software System: An Empirical Approach. In: Sengupta, S., Das, K., Khan, G. (eds) Emerging Trends in Computing and Communication. Lecture Notes in Electrical Engineering, vol 298. Springer, New Delhi. https://doi.org/10.1007/978-81-322-1817-3_27

Download citation

  • DOI: https://doi.org/10.1007/978-81-322-1817-3_27

  • Published:

  • Publisher Name: Springer, New Delhi

  • Print ISBN: 978-81-322-1816-6

  • Online ISBN: 978-81-322-1817-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics