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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
De Florio V, Botti O (2002) Software-implemented fault-tolerance and separate recovery strategies enhance maintainability. IEEE Trans Reliab 51(2):158–165
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
Natella R, Cotroneo D, Duraes JA On fault representativeness of software fault injection. IEEE Trans Software Eng 39(1), 80–96, 03 January 2012
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
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
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
Zheng J (2006) On the value of static analysis for fault detection in software. IEEE Trans Software Eng 32(4):240–259
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
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
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
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
GeNIe, version 2.0. http://genie.sis.pitt.edu/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)