• 한국통신학회논문지
• /
• 제29권6A호
• /
• pp.589-599
• /
• 2004

소프트웨어의 신뢰성을 정량적으로 평가하는 데 있어서 대다수의 모델이 발생된 소프트웨어 고장의 발생원인에 대한 완전한 수정을 요구하는 완전 디버깅 환경을 가정하고 있다. 그러나 실제 개발자가 디버깅 작업을 수행할 때 완전한 수정이 불가능하기 때문에. 새로운 결함이 삽입되는 경우가 많다. 즉, 결함 수정은 불완전 환경에 처한다. 본 논문에서는 결함 수정시 신규 결함의 삽입 가능성을 고려하고 불완전 디버깅 환경에 대한 소프트웨어 신뢰도 성장모델을 제안하고 소프트웨어 동작 환경 하에서 발생된 소프트웨어 고장과 시험 전 소프트웨어 내의 고유 결함에 의한 고장과 동작 중에 랜덤하게 삽입된 결함에 의해 발생되는 고장 등 2종류의 결함을 고려하여 비동차포아송과정(NHPP)에 의한 소프트웨어 고장발생 현상을 기술한다. 또 소프트웨어 신뢰성 평가에 유용한 정량적인 척도를 도출하고 실측 데이터를 이용하여 적용한 결과를 제시하고 기존 모델과의 적합성을 비교, 분석한다.

• Nuclear Engineering and Technology
• /
• 제29권6호
• /
• pp.433-443
• /
• 1997

In this work, an analytic approach to the dependability of software in the operational phase is suggested with special attention to the hardware fault effects on the software behavior : The hardware faults considered are memory faults and the dependability measure in question is the reliability. The model is based on the simple reliability theory and the graph theory which represents the software with graph composed of nodes and arcs. Through proper transformation, the graph can be reduced to a simple two-node graph and the software reliability is derived from this graph. Using this model, we predict the reliability of an application software in the digital system (ILS) in the nuclear power plant and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in the normal operation phase. We also found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase, especially for the software which is executed frequently. This modeling method is particularly attractive for the medium size programs such as the microprocessor-based nuclear safety logic program.

• 한국국방경영분석학회지
• /
• 제16권2호
• /
• pp.135-150
• /
• 1990

This paper classifies faults into three types : simple, degenerated, and regenerated faults. This paper also deals with the characteristics of each type of fault to determine the software reliability based on the assumption; i. e., a system consisting of several subsystems (modules) which may be debugged simultaneously. For each type of fault, several formulas are developed to obtain the failure rate and the expected number of failures found during debugging. A model is developed based on the formulas of the failure rate and the expected number of failures to decide the optimal release time of a new software: minimizing the total cost with constraints restricting to the failure rate of each module in the software. By using this model, optimal release times are found for some cases; the eliminated faults are assumed simple faults only, regenerated faults only, simple and degenerated faults, and so on.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권8호
• /
• pp.607-615
• /
• 2009

최근 IT 산업은 국방, 항공, 자동차, 의료와 같은 전통 산업분야와 서로 융합하는 추세이다. 그러므로 시스템의 하드웨어를 주로 담당하는 임베디드 소프트웨어는 높은 신뢰성, 가용성, 유지보수성이 보장되어야 한다. 이를 위해 최근 COTS (Commercial Off The Shelf) 하드웨어 컴포넌트 기반 임베디드 소프트웨어를 개발하는 추세이다. 그러나 이러한 개발방법에는 일반적 소프트웨어 결함 외에 하드웨어와의 상호작용에 기인하는 결함이 추가적으로 발생할 수 있다. 이를 연동결함(Linkage Fault)라고 정의한다. 이는 발생 빈도가 낮음에도 불구하고 전체 시스템의 중단을 야기할 정도로 위험하다. 본 논문에서는 COTS 하드웨어 컴포넌트 기반 임베디드 소프트웨어 개발 시 이러한 연동결함의 발생을 고려한 신뢰성 모델을 제안한다. 또한 제안된 모델의 타당성을 분석하기 위해 베이지안 분석과 마코프 체인 몬테카를로 방법으로 계산한 베이즈 요인을 이용한다. 끝으로 IT 융합 분야의 실제 데이터를 활용하여 제안된 모델의 이론적 결과를 뒷받침한다.

• 한국멀티미디어학회논문지
• /
• 제14권6호
• /
• pp.766-774
• /
• 2011

본 연구에서는 소프트웨어의 테스팅 과정을 통해서 발견된 결함을 품질 특성별로 분석하여 테스트케이스를 만들 경우 소프트웨어 테스팅의 기초 자료로 활용할 수 있도록 제시한다. 소프트웨어 테스팅 과정에서 발견된 결항은 기능성, 사용성, 신뢰성, 효율성, 유지보수성, 이식성 결함으로 시험 과정을 통해서 발견된 결함을 각 제품별 특색에 따라서 6개의 품질 특성별 결함으로 구분하였다. 소프트웨어 제품별로 발견된 결함을 분석하여 공통적인 결함의 요인을 찾고 본 연구를 위해서 사용된 결함리포트의 결함수를 조사하여 각 품질 특성별로 결함수에 대한 상대적 비교를 통해서 가중치를 적용할 수 있는 방안을 검토하였다.

• 한국컴퓨터산업학회논문지
• /
• 제3권7호
• /
• pp.837-844
• /
• 2002

소프트웨어 개발 과정에서 시스템 내에 잔존하는 결함을 발견하거나 수정하기 위해 테스트를 실시한다. 테스트 단계에서 결함을 발견하고 소프트웨어 신뢰성을 평가할 수 있다. 수리적으로 신뢰성을 평가할 수 있는 모델이 소프트웨어 신뢰도 성장 모델이다. 이 모델의 대부분은 결함의 형태가 하나이고 결함율은 일정하다라는 가정에서 진행되고 있다. 본 연구에서는 테스트 단계에서 발견되는 결함이 일정하지 않다라는 관점에서 새로운 모델을 제안하고 결함 데이터를 적용해보았다. 또한 기존의 모델과 비교 및 분석하여 타당성을 증명하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(2)
• /
• pp.725-730
• /
• 1996

In this work, the software behavior under memory faults in operation phase is modeled and simulated using the stochastic activity network, generalized stochastic Petri nets. This networks permit the representation of concurrency, timeliness, fault tolerance, and degradable performance of system and provide a means for determining the stochastic behavior of a complex system. We estimate the reliability of an application software in the digitized system in nuclear power plants and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in normal operation phase. We found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1149-1157
• /
• 2003

하드웨어와 소프트웨어가 조합된 내장형 시스템이 복잡해지면서, 내장형 시스템에 탑재되는 내장형 소프트웨어 테스트가 중요하게 인식되고 있다. 특히, 원자력 발전소와 같이 안전 등급이 높은 시스템에 들어가는 소프트웨어 테스트는 필수적이다. 내장형 시스템 테스트의 경우 하드웨어와 소프트웨어의 상호작용에 의해 발생하는 오류를 발견하기 위한 효과적인 테스트 기법이 필요하다. 본 논문에서는, 하드웨어와 소프트웨어 사이의 상호작용에 의해 생성되는 오류를 발견하기 위하여, 오류 삽입 기법을 이용한 테스트 데이타 선정 기법을 제안하고, 이 기법을 Digital Plant Protection System에 적용하였으며, 실험을 통해 제안한 기법의 우수성을 분석한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1991년도 춘계공동학술대회 발표논문 및 초록집; 전북대학교, 전주; 26-27 Apr. 1991
• /
• pp.405-421
• /
• 1991

In this paper, faults existing in a software system is classified into three types; simple, degenerative and regenerative faults. The reliability functions and failure rates of both a software module and system which have a mixture of such faults are obtained and the expected number of failures in the system after time T is also derived. Using the formulas obtained, a cost-reliability model and an efficient algorithm for optimal software release time are proposed via nonlinear programming formulation ; minimizing the total test cost with constraints on the failure rates of each module. Application of this model to several cases are presented and it appears to be more realistic.

• International Journal of Reliability and Applications
• /
• 제2권3호
• /
• pp.147-160
• /
• 2001

The reliability of computer software is of prime importance for all developers of software. The complicated nature of detecting and removing faults from software has led to a plethora of models for reliability growth. One of the most basic of these is the Jelinski Moranda model, where it is assumed that there are N faults in the software, and that in testing, bugs (or faults) are encountered (and removed when defected) according to a stochastic process at a rate which at a given point in time is proportional to the number of bugs remaining in the system. In this research, we consider the possibility that imperfect repair may occur in any attempt to remove a detected bug in the Jelinski Moranda model. We let p represent the probability that a fault which is discovered or detected is actually perfectly repaired. The possibility that the probability p may differ before and after release of the software is also considered. The distribution of both the number of bugs detected and perfectly repaired in a given time period is studied. Cost models for the development and release of software are investigated, and the impact of the parameter p on the optimal release time minimizing expected costs is assessed.