Reliability of software with an operational profile

Bayesian testing strategies for software with an operational profile

“…A Markov process model is considered byÖzekici and Soyer [12] to describe the failure behavior of software with an operational profile. The model implies that, after release, the sequence of operations performed is a Markov chain and the amount of time spent on each operation is exponentially distributed.…”

“…Ozekici and Soyer [12] recently introduced a stochastic model of software failures when the operational process, in fact, is a Markov process. Wohlin and Runeson [19] also discuss the effect of usage modelling in software certification.…”

“…In Section 2, we will present the model for software failures recently introduced byÖzekici and Soyer [12]. Then, we will discuss the Bayesian analysis of the model using Markov Chain Monte Carlo methods or, more precisely, the Gibbs sampler.…”

Software Reliability Modeling

“…In the same spirit of system in a random environment,Özekici and Sofer [65] use a pp whose stochastic intensity is (N N(t)) (E t ),…”

“…We refer to [65] for details. Note that both pp are instances of SEPP with respective stochastic intensities E (E t ) j H t ] and (N N(t))E (E t ) j H t ] (H t is the past of the counting process up to time t).…”