• The Korean Journal of Applied Statistics
• /
• v.11 no.2
• /
• pp.377-387
• /
• 1998

A Markov Chain Monte Carlo method with data augmentation is developed to compute the features of the posterior distribution. For each observed failure epoch, we introduced latent variables that indicates with component of the Superposition model. This data augmentation approach facilitates specification of the transitional measure in the Markov Chain. Metropolis algorithms along with Gibbs steps are proposed to preform the Bayesian inference of such models. for model determination, we explored the Pre-quential conditional predictive Ordinate(PCPO) criterion that selects the best model with the largest posterior likelihood among models using all possible subsets of the component intensity functions. To relax the monotonic intensity function assumptions, we consider in this paper Superposition of Musa-Okumoto and Erlang(2) models. A numerical example with simulated dataset is given.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.483-490
• /
• 2015

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do likelihood inference for software reliability models based on finite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision about when to market software, the conditional failure rate is an important variables. The infinite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outlier, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, proposed a control mechanism based on NHPP using mean value function of Musa-Okumo and Power law type property.

• Journal of Korean Society for Quality Management
• /
• v.26 no.3
• /
• pp.141-149
• /
• 1998

It is of great practical interest to decide when to stop testing a software system in the development phase and transfer it to the user. This decision problemcalled an optimal software release one is discussed to specify the a, pp.opriate release time. In almost all studies, the software reliability models used are nonphomogenous Poisson process(NHPP) model with bounded mean value function. HNPP models with unbounded mean value function are more suitable in practice because of the possibility of introducing new faults when correcting or modifying the software. We discuss optimal software release policies which minimize a total average software cost under the constraint of satisfying a software reliability requirement. A numerical example illustrates the results.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.5
• /
• pp.11-16
• /
• 1998

We analyze the software reliability growth models for the specified period from the viewpoint of theory of differential equations. we defien a genralized form of reliability growth models as follws: dN(t)/dt = b(t)f(N(t)), Where N(t) is the number of remaining faults and b(t) is the failure rate per software fault at time t. We show that the well-known three software reliability growth models - Goel - Okumoto, s-shaped, and Musa-Okumoto model- are special cases of the generalized form. We, also, extend the generalized form into an extended form being dN(t)/dt = b(t, .gamma.)f(N(t)), The genneralized form can be obtained if the distribution of failures is given. The extended form can be used to describe a software reliabilit growth model having weibull density function as a fault exposure rate. As an application of the generalized form, we classify three mentioned models according to the forms of b(t) and f(N(t)). Also, we present a case study applying the generalized form.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.10 no.4
• /
• pp.19-27
• /
• 2014

Software reliability in the software development process is an important issue. Software process improvement helps in finishing with reliable software product. Infinite failure NHPP software reliability models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, proposes the reliability model with log type mean value function (Musa-Okumoto and log power model), which made out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on mean square error (MSE) and coefficient of determination($R^2$), for the sake of efficient model, was employed. Analysis of failure using real data set for the sake of proposing log type mean value function was employed. This analysis of failure data compared with log type mean value function. In order to insurance for the reliability of data, Laplace trend test was employed. In this study, the log type model is also efficient in terms of reliability because it (the coefficient of determination is 70% or more) in the field of the conventional model can be used as an alternative could be confirmed. From this paper, software developers have to consider the growth model by prior knowledge of the software to identify failure modes which can be able to help.