IDEAS home Printed from https://ideas.repec.org/a/eee/ejores/v227y2013i1p112-121.html
   My bibliography  Save this article

Imperfect debugging in software reliability: A Bayesian approach

Author

Listed:
  • Aktekin, Tevfik
  • Caglar, Toros

Abstract

The objective of studying software reliability is to assist software engineers in understanding more of the probabilistic nature of software failures during the debugging stages and to construct reliability models. In this paper, we consider modeling of a multiplicative failure rate whose components are evolving stochastically over testing stages and discuss its Bayesian estimation. In doing so, we focus on the modeling of parameters such as the fault detection rate per fault and the number of faults. We discuss how the proposed model can account for “imperfect debugging” under certain conditions. We use actual inter-failure data to carry out inference on model parameters via Markov chain Monte Carlo methods and present additional insights from Bayesian analysis.

Suggested Citation

  • Aktekin, Tevfik & Caglar, Toros, 2013. "Imperfect debugging in software reliability: A Bayesian approach," European Journal of Operational Research, Elsevier, vol. 227(1), pages 112-121.
    • Handle: RePEc:eee:ejores:v:227:y:2013:i:1:p:112-121
    DOI: 10.1016/j.ejor.2012.11.056
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S0377221712009083
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.ejor.2012.11.056?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Yamada, Shigeru & Ohtera, Hiroshi, 1990. "Software reliability growth models for testing-effort control," European Journal of Operational Research, Elsevier, vol. 46(3), pages 343-349, June.
    2. Pievatolo, Antonio & Ruggeri, Fabrizio & Soyer, Refik, 2012. "A Bayesian hidden Markov model for imperfect debugging," Reliability Engineering and System Safety, Elsevier, vol. 103(C), pages 11-21.
    3. T Bhaskar & U D Kumar, 2006. "A cost model for N-version programming with imperfect debugging," Journal of the Operational Research Society, Palgrave Macmillan;The OR Society, vol. 57(8), pages 986-994, August.
    4. Tamura, Yoshinobu & Yamada, Shigeru, 2006. "A flexible stochastic differential equation model in distributed development environment," European Journal of Operational Research, Elsevier, vol. 168(1), pages 143-152, January.
    5. Chun, Young H. & Sumichrast, Robert T., 2007. "Bayesian inspection model with the negative binomial prior in the presence of inspection errors," European Journal of Operational Research, Elsevier, vol. 182(3), pages 1188-1202, November.
    6. Pham, Hoang & Wang, Hongzhou, 1996. "Imperfect maintenance," European Journal of Operational Research, Elsevier, vol. 94(3), pages 425-438, November.
    7. Yamada, Shigeru & Osaki, Shunji, 1987. "Optimal software release policies with simultaneous cost and reliability requirements," European Journal of Operational Research, Elsevier, vol. 31(1), pages 46-51, July.
    8. David J. Spiegelhalter & Nicola G. Best & Bradley P. Carlin & Angelika Van Der Linde, 2002. "Bayesian measures of model complexity and fit," Journal of the Royal Statistical Society Series B, Royal Statistical Society, vol. 64(4), pages 583-639, October.
    9. Pham, Hoang & Zhang, Xuemei, 2003. "NHPP software reliability and cost models with testing coverage," European Journal of Operational Research, Elsevier, vol. 145(2), pages 443-454, March.
    10. Ozekici, S. & Soyer, R., 2003. "Reliability of software with an operational profile," European Journal of Operational Research, Elsevier, vol. 149(2), pages 459-474, September.
    11. Tal, O. & McCollin, C. & Bendell, A., 2002. "An optimal statistical testing policy for software reliability demonstration of safety-critical systems," European Journal of Operational Research, Elsevier, vol. 137(3), pages 544-557, March.
    12. Ravishanker, Nalini & Liu, Zhaohui & Ray, Bonnie K., 2008. "NHPP models with Markov switching for software reliability," Computational Statistics & Data Analysis, Elsevier, vol. 52(8), pages 3988-3999, April.
    13. Pham, Hoang, 2003. "Software reliability and cost models: Perspectives, comparison, and practice," European Journal of Operational Research, Elsevier, vol. 149(3), pages 475-489, September.
    14. Cai, Kai-Yuan & Li, Yong-Chao & Ning, Wei-Yi, 2005. "Optimal software testing in the setting of controlled Markov chains," European Journal of Operational Research, Elsevier, vol. 162(2), pages 552-579, April.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Qing Tian & Chun-Wu Yeh & Chih-Chiang Fang, 2022. "Bayesian Decision Making of an Imperfect Debugging Software Reliability Growth Model with Consideration of Debuggers’ Learning and Negligence Factors," Mathematics, MDPI, vol. 10(10), pages 1-21, May.
    2. Qing Tian & Chih-Chiang Fang & Chun-Wu Yeh, 2022. "Software Release Assessment under Multiple Alternatives with Consideration of Debuggers’ Learning Rate and Imperfect Debugging Environment," Mathematics, MDPI, vol. 10(10), pages 1-24, May.
    3. Jørgen Vitting Andersen & Roy Cerqueti & Giulia Rotundo, 2017. "Rational expectations and stochastic systems," Documents de travail du Centre d'Economie de la Sorbonne 17060, Université Panthéon-Sorbonne (Paris 1), Centre d'Economie de la Sorbonne, revised Oct 2019.
    4. Fernández, Arturo J., 2015. "Optimum attributes component test plans for k-out-of-n:F Weibull systems using prior information," European Journal of Operational Research, Elsevier, vol. 240(3), pages 688-696.
    5. Jorgen-Vitting Andersen & Roy Cerqueti & Jessica Riccioni, 2023. "Rational expectations as a tool for predicting failure of weighted k-out-of-n reliability systems," Annals of Operations Research, Springer, vol. 326(1), pages 295-316, July.
    6. Landon, Joshua & Özekici, Süleyman & Soyer, Refik, 2013. "A Markov modulated Poisson model for software reliability," European Journal of Operational Research, Elsevier, vol. 229(2), pages 404-410.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Min Xie & Chengjie Xiong & Szu-Hui Ng, 2014. "A study of N-version programming and its impact on software availability," International Journal of Systems Science, Taylor & Francis Journals, vol. 45(10), pages 2145-2157, October.
    2. Avinash K. Shrivastava & Vivek Kumar & P. K. Kapur & Ompal Singh, 0. "Software release and testing stop time decision with change point," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 0, pages 1-12.
    3. Chetna Choudhary & P. K. Kapur & Sunil K. Khatri & R. Muthukumar & Avinash K. Shrivastava, 2020. "Effort based release time of software for detection and correction processes using MAUT," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 11(2), pages 367-378, July.
    4. Ritu Bibyan & Sameer Anand & Anu G. Aggarwal & Abhishek Tandon, 2023. "Multi-release testing coverage-based SRGM considering error generation and change-point incorporating the random effect," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 14(5), pages 1877-1887, October.
    5. Xiaoyue Jiang & Donglei Du & Thomas G. Ray, 2007. "On optimality of one‐bug‐look‐ahead policies for a software testing model," Naval Research Logistics (NRL), John Wiley & Sons, vol. 54(3), pages 346-355, April.
    6. Chiu, Kuei-Chen & Huang, Yeu-Shiang & Lee, Tzai-Zang, 2008. "A study of software reliability growth from the perspective of learning effects," Reliability Engineering and System Safety, Elsevier, vol. 93(10), pages 1410-1421.
    7. Landon, Joshua & Özekici, Süleyman & Soyer, Refik, 2013. "A Markov modulated Poisson model for software reliability," European Journal of Operational Research, Elsevier, vol. 229(2), pages 404-410.
    8. Qing Tian & Chun-Wu Yeh & Chih-Chiang Fang, 2022. "Bayesian Decision Making of an Imperfect Debugging Software Reliability Growth Model with Consideration of Debuggers’ Learning and Negligence Factors," Mathematics, MDPI, vol. 10(10), pages 1-21, May.
    9. Chih-Chiang Fang & Chun-Wu Yeh, 2016. "Effective confidence interval estimation of fault-detection process of software reliability growth models," International Journal of Systems Science, Taylor & Francis Journals, vol. 47(12), pages 2878-2892, September.
    10. Avinash K. Shrivastava & Vivek Kumar & P. K. Kapur & Ompal Singh, 2020. "Software release and testing stop time decision with change point," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 11(2), pages 196-207, July.
    11. Qian, Yanjun & Xie, Min & Goh, Thong Ngee & Lin, Jun, 2010. "Optimal testing strategies in overlapped design process," European Journal of Operational Research, Elsevier, vol. 206(1), pages 131-143, October.
    12. Musal, R. Muzaffer & Soyer, Refik & McCabe, Christopher & Kharroubi, Samer A., 2012. "Estimating the population utility function: A parametric Bayesian approach," European Journal of Operational Research, Elsevier, vol. 218(2), pages 538-547.
    13. Hu, Q.P. & Xie, M. & Ng, S.H. & Levitin, G., 2007. "Robust recurrent neural network modeling for software fault detection and correction prediction," Reliability Engineering and System Safety, Elsevier, vol. 92(3), pages 332-340.
    14. Buddhavarapu, Prasad & Bansal, Prateek & Prozzi, Jorge A., 2021. "A new spatial count data model with time-varying parameters," Transportation Research Part B: Methodological, Elsevier, vol. 150(C), pages 566-586.
    15. Mumtaz, Haroon & Theodoridis, Konstantinos, 2017. "Common and country specific economic uncertainty," Journal of International Economics, Elsevier, vol. 105(C), pages 205-216.
    16. Christina Leuker & Thorsten Pachur & Ralph Hertwig & Timothy J. Pleskac, 2019. "Do people exploit risk–reward structures to simplify information processing in risky choice?," Journal of the Economic Science Association, Springer;Economic Science Association, vol. 5(1), pages 76-94, August.
    17. Rubio, F.J. & Steel, M.F.J., 2011. "Inference for grouped data with a truncated skew-Laplace distribution," Computational Statistics & Data Analysis, Elsevier, vol. 55(12), pages 3218-3231, December.
    18. Xiang, Yisha, 2013. "Joint optimization of X¯ control chart and preventive maintenance policies: A discrete-time Markov chain approach," European Journal of Operational Research, Elsevier, vol. 229(2), pages 382-390.
    19. Alessandri, Piergiorgio & Mumtaz, Haroon, 2019. "Financial regimes and uncertainty shocks," Journal of Monetary Economics, Elsevier, vol. 101(C), pages 31-46.
    20. Svetlana V. Tishkovskaya & Paul G. Blackwell, 2021. "Bayesian estimation of heterogeneous environments from animal movement data," Environmetrics, John Wiley & Sons, Ltd., vol. 32(6), September.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:eee:ejores:v:227:y:2013:i:1:p:112-121. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Catherine Liu (email available below). General contact details of provider: http://www.elsevier.com/locate/eor .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.