The views expressed here are those of the individual authors and not necessarily those of the JSM sponsors, their officers, or their staff.
Abstract Details
Activity Number:
|
67
|
Type:
|
Topic Contributed
|
Date/Time:
|
Sunday, July 31, 2011 : 4:00 PM to 5:50 PM
|
Sponsor:
|
Section on Bayesian Statistical Science
|
Abstract - #302827 |
Title:
|
Imperfect Debugging in Software Reliability: A Bayesian Approach
|
Author(s):
|
Tevfik Aktekin*+
|
Companies:
|
University of New Hampshire
|
Address:
|
, , NH, ,
|
Keywords:
|
Bayesian Inference ;
Software Reliability ;
Imperfect Debugging ;
State Space
|
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 Bayesian modeling of the inter-failure times whose parameter space is evolving stochastically over time typically observed in software reliability applications. In doing so, we focus on the modeling of relevant parameters such as the fault detection rate per fault and the total number of faults that are both latent (unobservable) factors. We consider a model which can take into account imperfect debugging type of behavior under certain conditions. Furthermore, we investigate the existence of perfect vs. imperfect debugging in the light of data. In order to show how the proposed model work, we use real data based on which we obtain the predictive reliability functions after each testing stage, carry out inference on relevant model parameters and present additional insights from Bayesian analysis.
|
The address information is for the authors that have a + after their name.
Authors who are presenting talks have a * after their name.
Back to the full JSM 2011 program
|
2011 JSM Online Program Home
For information, contact jsm@amstat.org or phone (888) 231-3473.
If you have questions about the Continuing Education program, please contact the Education Department.