• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.89-96
• /
• 2007

Finite failure NHPP models presented in the literature exhibit either constant. monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times. and estimation of the reliability and availability of a software product require quality of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous Poission process(ENHPP). In this paper, exponential coverage and S-type model was reviewed, proposes modified(the superosition and mixture) model, which make out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method. model selection based on SSE statistics for the sake of efficient model, was employed.

• Convergence Security Journal
• /
• v.7 no.3
• /
• pp.7-13
• /
• 2007

Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times, and estimation of the reliability and availability of a software product require quantification of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous poission process (ENHPP). In this paper, exponential coverage and S-shaped model was reviewed, proposes the superposition model, which maked out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE statistics for the sake of efficient model, was employed.

• Convergence Security Journal
• /
• v.7 no.3
• /
• pp.51-60
• /
• 2007

Infinite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, exponential distribution and Rayleigh distribution model was reviewed, proposes the mixture reliability model, which made out efficiency substituted for situation for failure time Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE and Kolmogorov distance, for the sake of efficient model, was employed. Analysis of failure using S27 data set for the sake of proposing shape parameter of the mixture distribution was employed. This analysis of failure data compared with the mixture distribution model and the existing model(using arithmetic and Laplace trend tests, bias tests) is presented.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.328-330
• /
• 2003

최근 운영시스템. 제어프로그램, 적용프로그램과 같은 여러 가지 소프트웨어 시스템이 더욱 더 복잡화 및 대형화되고 있기 때문에 신뢰도가 높은 소프트웨어 시스템을 개발하는 일이 매우 중요하며, 따라서 소프트웨어 제품 개발에 있어서 소프트웨어의 신뢰도가 핵심사항이라고 할 수 있다. 소프트웨어가 주어진 시간동안 고장이 발생하지 않을 확률 즉, 신뢰도는 소프트웨어의 테스트 과정을 계속하면서 반복해서 결함을 발견 및 수정하면 더욱 더 향상될 것이다. 그러한 검출현상을 설명해주는 소프트웨어 신뢰도 모델을 소프트웨어 신뢰도 성장모델(SRGM)이라 한다.

• Journal of Industrial Convergence
• /
• v.18 no.3
• /
• pp.19-25
• /
• 2020

In the software development process, software reliability evaluation is a very important issue. In particular, finding the optimal development model that satisfies high reliability is the more important task for software developers. For this, in this study, Pareto and Erlang life distributions were applied to the finite failure NHPP model to evaluate the reliability attributes. For this purpose, parametric estimation is applied to the maximum likelihood estimation method, and nonlinear equations are calculated using the bisection method. As a result, the Erlang model showed better performance than the Pareto model in the evaluation of the strength function and the mean value function. Also, as a result of inputting future mission time and evaluating reliability, the Erlang model showed an effectively high trend together with the Pareto model, while the Goel-Okumoto basic model showed a decreasing trend. In conclusion, the Erlang model is the best model among the proposed models. Through this study, it is expected that software developers will be able to use it as a basic guideline for exploring and evaluating the optimal software reliability model.

• Convergence Security Journal
• /
• v.12 no.3
• /
• pp.19-26
• /
• 2012

In this study, software products developed in the course of testing, software managers in the process of testing software and tools for effective learning effects perspective has been studied using the NHPP software. The log type hazard function applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than autonomous errors-detected factor that is generally efficient model could be confirmed. This paper, a failure data analysis of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$(coefficient of determination).

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.8
• /
• pp.1-9
• /
• 2009

In this paper, make a study decision problem called an optimal release policies after testing a software system in development phase and transfer it to the user. When correcting or modifying the software, because of the possibility of introducing new faults when correcting or modifying the software, infinite failure non-homogeneous Poisson process models presented and propose an optimal release policies of the life distribution applied fixed shape parameter distribution which can capture the increasing/decreasing nature of the failure occurrence rate per fault. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, after trend test applied and estimated the parameters using maximum likelihood estimation of inter-failure time data, make out estimating software optimal release time

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2007.05a
• /
• pp.103-108
• /
• 2007

다항지수 신뢰도 함수(multinomial-exponential reliability function ; MERF) 는 소프트웨어의 고장/수정 공정을 세밀하게 수행하는 중에 개발되는 관계에 있다. 후에 MERF는 좀더 매우 단순화한 지수 신뢰도 함수(exponential reliability function ; EARF)로 근사화되는 공정을 거치게 된다. 이는 MERF의 특성을 대부분 가지고 있어서 두 개의 함수가 하나의 신뢰도 함수로 단일화되도록 한다. 신뢰도 모델 MERF/EARF는 소프트웨어 고장 공정을 NHPP로, 수정공정을 다항분포로 고려한다. 이 모텔은 두 개의 공정 모두가 통계적 독립인 것으로 간주한다. 본 논문에서는 모델의 이론적인 기준, 수학적 특성, 소프트웨어 신뢰도에의 응용을 검토한다. 이는 물리적 인 시스템을 검사하고 유지보수하는 선도적인 모델응용이다. 본 논문에는 소프트웨어 신뢰도 분석에 응용하는 하나의 수치 예를 포함한다.

• Proceedings of the KIEE Conference
• /
• 2001.10a
• /
• pp.275-277
• /
• 2001

열차제어시스템의 소프트웨어는 높은 신뢰성과 안전성이 요구된다. 이를 위해 철도에서는 고장회피(Fault Avoidance) 기법과 고장허용(Fault Tolerance)기법을 사용하고 있다. 그러나 최근 신호설비의 소프트웨어 신뢰성을 좀더 향상시키기 위해 일본, 프랑스, 스웨덴 등에서는 안전에 치명적인 시스템에 사용되고 있는 정형기법(Forma) Method)을 포함하여 많은 연구를 수행중이다. 본고에서는 국외 관련분야를 분석하고, 열차제어시스템 소프트웨어의 신뢰성 향상에 관하여 기술하고자 한다.

• Convergence Security Journal
• /
• v.7 no.2
• /
• pp.49-55
• /
• 2007

Software failure time presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing. For data analysis of software reliability model, data scale tools of trend analysis are developed. The methods of trend analysis are arithmetic mean test and Laplace trend test. Trend analysis only offer information of outline content. From the subdivision of this analysis, new attemp needs the side of the quality control. In this paper, we discuss process capability analysis using process capability indexs. Because of software failure interval time is pattern of nonnegative value, instead of capability analysis of suppose to normal distribution, capability analysis of process distribution using to Box-Cox transformation is attermpted. The used software failure time data for capability analysis of process is SS3, the result of analysis listed on this chapter 4 and 5. The practical use is presented.