• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.49-57
• /
• 2018

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

• 한국융합학회논문지
• /
• 제10권4호
• /
• pp.45-50
• /
• 2019

본 연구는 소프트웨어 신뢰성을 측정하기 위해 소프트웨어 신뢰도 측정 모형에 따라 소프트웨어 신뢰도를 측정하는 방법을 제시하려 한다. 본 연구에서 제시한 모형의 형태는 비동질적 포아송 과장의 분포를 이용하였으며, 제시된 모형의 소프트웨어 신뢰도를 측정하는 방안을 제시하였다. 제시된 모형에 따라서 적합한 소프트웨어 신뢰도 성장 모형을 선택하는 방법으로는 소프트웨어 고장 데이터에 따라서 신뢰도 함수의 추정 값에 따른 평균제곱오차를 계산하여 적합한 소프트웨어 신뢰도 함수를 제안하는 방법을 연구하였다. 본 연구에서는 소프트웨어 품질을 측정하기 위한 신뢰도 함수를 제안하기 위하여 모델을 제시하고 고장데이터를 적용하여 추정 값의 오차를 최소화하는 관점에서 소프트웨어 신뢰도 함수를 선택할 수 있는 방안을 제시한 연구로 판단된다.

• 정보처리학회 논문지
• /
• 제13권5호
• /
• pp.227-235
• /
• 2024

원자력발전소에서 디지털 계측제어 시스템 비중이 높아지면서 원자력발전소에 대한 확률론적 안정성 평가 시 소프트웨어에 대한 신뢰도 평가가 중요해졌다. 원전 소프트웨어 신뢰도 추정을 위한 방법들이 몇 가지 제안 되었지만 해당 방법의 효과적 적용을 지원하는 도구 지원이 미비하였다. 본 연구에서는 소프트웨어 개발 품질 및 검증 품질과 같은 정성적 정보와 통계적 시험 결과와 같은 정량적 정보를 활용하여 원전 소프트웨어 신뢰도를 정량적으로 측정할 수 있는 자동화 도구를 설계하였고 구현하였다. 개발된 도구를 산업용 원자로 보호 시스템 사례에 적용한 결과, 개발된 도구가 원전 소프트웨어의 신뢰성 평가를 효과적으로 지원할 수 있음을 확인하였다.

• 한국융합학회논문지
• /
• 제10권3호
• /
• pp.59-65
• /
• 2019

본 연구에서는 기존에 소프트웨어 품질 평가를 위해서 사용되었던 ISO/IEC 9126-2와의 차이점을 비교하기 위해서 소프트웨어 품질 평가를 위해서 새롭게 제시된 ISO/IEC 25023의 소프트웨어 품질 측정 메트릭을 제시하고 제시된 메트릭에 대해서 품질을 측정하는 방안을 제시한다. ISO/IEC 25023에 제시된 8가지 품질 특성 중에서 신뢰성에 대한 품질 측정 방안을 소프트웨어 신뢰성 성장 모델을 기반으로 평가하는 방안을 제시한다. ISO/IEC 25023을 기반으로 소프트웨어 품질을 평가하게 되어지면 신뢰성에 대한 평가에 있어 다소 리스크가 있을 수 있음을 데이터를 기반으로 하여 입증한다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2002년도 e-Biz World Conference
• /
• pp.479-483
• /
• 2002

Research Purpose Present a Reliability Measurement Model for e-biz solutions in J2ee environment Address problems with software reliability of e-biz solutions To remove defects as early as possible in the development process Reduce or eliminate defects from software-improve software quality(omitted)

• 융합정보논문지
• /
• 제12권5호
• /
• pp.15-20
• /
• 2022

본 연구는 소프트웨어 품질 특성인 기능적합성, 신뢰성, 사용성, 이식성, 유지보수성, 성능효율성, 보안성, 호환성 중에서 신뢰성에 대한 평가 방안을 연구하였다. 소프트웨어 품질 측정에 있어 신뢰성의 정량적 평가 방안을 제시한다. 본 연구는 소프트웨어 품질 특성 중 하나인 신뢰성 평가 중 성숙성에 포함되는 고장률을 측정하는 방법에 대해서 소개하고 고장 데이터의 형태에 따라 고장률이 어떻게 변화하는지에 대해 실험데이터를 가지고 연구한 내용이다. 소프트웨어 테스팅을 중심으로 매일의 고장 수를 중심으로 소프트웨어 신뢰성 성장 모델에 적용하여 고장률을 측정하여 고장 데이터의 형태에 따라 비교 분석하였다. 6일간의 테스트를 통해서 발견된 고장 시간을 중심으로 고장률을 측정하고 측정결과를 이용해서 국제표준 ISO/IEC 25023에서 제시하고 있는 고장률과 비교 하였으며 데이터 형태에 따라 적용방안을 검토하였다.

• 한국통신학회논문지
• /
• 제23권8호
• /
• pp.1915-1925
• /
• 1998

교환 시스템이 고장과 장애를 일으키면 서비스에 치명적인 영향을 미치게 된다. 다시 말해서 시스템을 제어하는 교환 소프트웨어의 역할은 매우 중요하다. 그렇기 때문에 정량적인 소프트웨어의 품질 평가 방법은 더욱 중요하다. 본 논문에서는 기능 블록으로 구성된 교환 소프트웨어를 시험하여 얻어진 각종 고장 데이터를 수집, 분석하고 이를 이용하여 각 버전별, 개발 전과정에 대한 소프트웨어 신뢰도를 평가해보고, 기타 고려할 사항에 대해 논한다. 대표적인 2개의 신뢰도 모형(G-O model, S-Shaped model)을 선택하여 소프트웨어 신뢰도를 비교해 보고 품질 향상을 위한 제반 활동과 소프트웨어 개발 프로젝트에 맞는 소프트웨어 신뢰도 모형을 제시하였다.

• Journal of Information Technology Applications and Management
• /
• 제12권2호
• /
• pp.1-13
• /
• 2005

This paper proposes a software-reliability growth model incoporating the amount of testing effort expended during the software testing phase after developing it. The time-dependent behavior of testing effort expenditures is described by a Logistic curve. Assuming that the error detection rate to the amount of testing effort spent during the testing phase is proportional to the current error content, a software-reliability growth model is formulated by a nonhomogeneous Poisson process. Using this model the method of data analysis for software reliability measurement is developed. After defining a software reliability, This paper discusses the relations between testing time and reliability and between duration following failure fixing and reliability are studied. SRGM in several literatures has used the exponential curve, Railleigh curve or Weibull curve as an amount of testing effort during software testing phase. However, it might not be appropriate to represent the consumption curve for testing effort by one of already proposed curves in some software development environments. Therefore, this paper shows that a logistic testing-effort function can be adequately expressed as a software development/testing effort curve and that it gives a good predictive capability based on real failure data.

• 한국컴퓨터정보학회논문지
• /
• 제15권4호
• /
• pp.37-45
• /
• 2010

시간적 정확성을 필요로 하는 시스템은 신뢰성을 위하여 실행시간에 관한 정확한 설계와 검증이 필요하다. 따라서 실행시간의 분석을 위한 개발 지원 도구가 필요하고 이를 위한 많은 연구가 진행되고 있다. 이러한 개발 지원 도구의 분석 방법은 정적 분석 방법과 측정 기반 분석 방법의 두 가지로 구분된다. 먼저 정적 분석은 짧은 시간에 분석이 가능하지만, 다양한 하드웨어의 존재로 인해 I/O 정보 예측이 어려워 분석 결과의 신뢰성이 떨어진다. 두 번째로 측정 기반 분석은 실제 결과에 근접한 분석이 가능하지만, 사용하기 어렵고 분석에 걸리는 시간이 길다. 이러한 분석 방법의 문제를 해결하기 위하여 본 논문에서는 정적 분석 과정에 소프트웨어 감시 방안을 적용한 방법을 제안한다. 제안하는 분석 방안은 정적 분석을 통해 감시가 필요한 대상을 자동으로 결정하고 감시 결과를 통해 과대 예측을 줄일 수 있다. 따라서 감시에 대한 어려움과 시간의 부하를 줄이고 정적 분석의 가장 큰 문제점인 신뢰성을 향상시킬 수 있다.

• 한국전자통신학회논문지
• /
• 제6권2호
• /
• pp.219-224
• /
• 2011

현재 널리 확산되고 있는 모바일 인터넷 음성 서비스의 품질 관리는 기존의 계측기를 동원한 사후 측정 기반으로는 불가능하다. 보다 체계적인 품질 관리를 위하여 서비스 이용자 단말기에 품질 측정 소프트웨어를 설치하고 서비스 품질을 상시 측정하는 실시간 혹은 사전 품질 관리 체계가 제안된 바 있다. 제안된 품질 관리 체계가 실현되기 위한 필수적인 조건은 품질 측정 소프트웨어의 신뢰성이다. 따라서 본 논문에서는 개발된 품질 측정 소프트웨어의 신뢰성을 검증하기 위한 품질 측정을 실시하였고 그 결과에 대해서 논하고자 한다.