• KSCI Review
• /
• v.8 no.2
• /
• pp.43-50
• /
• 2001

소프트웨어 신뢰성을 향상시키는 방법에는 소프트웨어 결함 허용기법 중에서 가장 객관적이고 정량적으로 평가받는 것이 NVP(N-Version Programming)기법이다. 이 기법에서 신뢰도를 추정하는 모델로 이항분포를 사용하는데 이 모델은 각 컴포넌트 신뢰도의 값들이 동일하다는 한계점이 있었다. 본 연구에서는 기존 모델의 한계점을 해결하기 위하여 NVP 신뢰도 분석을 위한 새로운 접근 방법으로 유전자 알고리즘(Genetic Algorithms)을 적용하였고. 또한 적용 모델과 기존 모델을 서로 비교 검토하였다. 그 결과 전체시스템 신뢰도를 일정 수준이상 유지하면서 각 컴포넌트 신뢰도의 값들을 최적화 할 수 있었고. 또한 비용을 최소로 하는 최적의 수를 추정할 수 있었다. 그리고 적용 모델과 기존 모델을 비교 및 평가하여 타당성을 증명하였다.

• Journal of Digital Convergence
• /
• v.11 no.3
• /
• pp.293-298
• /
• 2013

We consider about software quality nowadays. The company considers about software quality more and more compare to software development. We analyze the software testing data in this paper. We find the software effect according to the number of testing, the number of testing date, the number of fault according to characteristics. Also, we analyze the result by regression. Also, we propose the testing effect by sex.

• 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.8 no.4
• /
• pp.115-120
• /
• 2008

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： Change-point problem. In this paper, exponential (Goel-Okumoto) model was reviewed, proposes the percentile change-point problem, 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. Using NTDS data, The numerical example of percentilechange-point problemi s presented.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.84-90
• /
• 2000

인터넷을 발전에 따라 데이터의 전송량이 음성 전송량을 능가하고 있으나 현재의 네트워크로는 빠르고 신뢰성 있는 데이터의 전송을 보장할 수 없다. 데이터와 음성 모두의 빠르고 신뢰성 있는 전송과 관리를 위하여 개발된 패킷 중심 네트워크를 NGN이라 한다. NGN에서는 효율적인 전송과 관리를 위하여 기존(PSTN)의 교환기의 콜 에이전트를 소프트웨어로 구성하여 범용컴퓨터에서 운용될 수 있도록 하였다. 본 논문에서는 콜 에이전트를 소프트웨어로 설계하기 위하여 H/W 개발을 위하여 설계된 기본호처리모델인 BCSM을 객체지향방법론의 표준인 UML을 이용하여 설계를 하였다. 그리고 설계된 모델의 검증을 위하여 LSL(LarchShared Language)를 이용하여 정형명세를 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.11a
• /
• pp.515-518
• /
• 2020

영상 콘텐츠 생산 간편화와 방송 채널 운영의 편리화에 따른 '영상의 시대'가 도래함에 따라 여러 제품에 대한 리뷰 영상이 관심을 받고 있다. 본 연구에서는 리뷰 영상의 언어와 비언어적 감성 분석을 토대로 통합 신뢰도 분석 시스템을 제안한다. 이를 위해, 영상 속 음성의 언어 감성 분석과 리뷰어의 표정 분석을 통해 얻은 각 감성값을 추출하고 정량화한다. 이후 표준화된 언어, 비언어적 감성 값에 대한 통합 신뢰도 분석을 진행한다. 결과적으로, 리뷰 영상에 대한 신뢰도를 객관화된 지표로써 평가할 수 있다.

• Defense and Technology
• /
• no.10 s.284
• /
• pp.42-53
• /
• 2002

그 동안 군은 1970년대부터 전력증강의 일환으로 각종 무기체계 연구개발 사업을 추진해 오면서 무기체계에 내장되는 소프트웨어의 중요성을 인식하고 있었음에도 불구하고 하드웨어 위주의 무기체계획득관리 업무로 인하여 소프트웨어 개발관리 소홀로 무기체계 배치 후 유지보수에 막대한 시간과 비용이 투입되고 있는 실정이다. 그러나 최근 무기체계에 사용되는 소프트웨어에 대한 품질보증 및 형상관리 활동 강화의 일환으로 무기/비무기체계 내장형 소프트웨어에 대한 관리지침(안)을 제정하려는 움직임을 앞으로 군이 무기체계를 운용함에 있어 성능은 물론 무기체계의 신뢰성, 유지보수성을 확보하기 위한 관점에서 볼 때 매우 시기 적절한 방향이라 하겠다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.439-441
• /
• 2004

소프트웨어 시험은 소프트웨어 제품의 고 품질을 보장하기 위한 중요한 요소들 중의 하나이고, 특히 신뢰도가 원자력 발전소외 안전에 직결되는 디지털 기반의 원전 계측제어계통 소프트웨어는 고품질과 고신뢰도를 제공하여야 한다. 그러므로 원자력발전소에 사용되는 소프트웨어는 안전성과 신뢰성을 제공하기 위해 체계적인 시험을 통하여 설계의 정당성을 확인하고, 요건명세서나 설계사양서에 나타난 계통 및 구성요소의 기능과 요건들이 만족하게 실행됨을 확인하여야 한다. 규제기관에서도 소프트웨어의 안정성, 기능의 완전한 수행, 소프트웨어 자체가 계통의 기능을 저하 시키는지와 계통에게 예정되지 않은 기능을 수행하도록 영향을 주는지외 확인 등을 소프트웨어 시험을 통해 확인하도록 요구하고 있다. 이와 같이 원자력발전소에 사용되는 소프트웨어의 시험을 위해서는 보다 엄격하고 명확한 시험 프레임웍을 개발하고 적용키는 것이 필요하다. 본 논문에서는 소프트웨어 시험과 관련된 인허가 규제요건을 분석하고, 이에 따라 현재 설계를 진행중인 SMART MMIS 소프트웨어 시험에 적용될 소프트웨어 개발생명주기 시험활동, 시험 조직, 시험문서, 소프트웨어 등급별 시험방법 등 시험 프레임웍을 제시한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.11
• /
• pp.884-891
• /
• 2020

The collapse of bridges can cause massive casualties and economic losses. Therefore, it is thus essential to evaluate the structural safety of bridges. For this task, structural reliability analysis, considering various bridge-related uncertainty factors, is often used. This paper proposes a new computational platform to perform structural reliability analysis for bridges and evaluate their structural safety under various loading conditions. For this purpose, a software package of reliability analysis, Finite Element Reliability Using MATLAB (FERUM), was integrated with MIDAS/CIVIL, which is a widely-used commercial software package specialized for bridges. Furthermore, a graphical user interface (GUI) control module has been added to FERUM to overcome the limitations of software operation. In this study, the proposed platform was applied to a simple frame structure, and the analysis results of the FORM (First-Order Reliability Method) and MCS (Monte Carlo simulation), which are representative reliability analysis methods, were compared. The proposed platform was verified by confirming that the calculated failure probability difference was less than 5%. In addition, the structural safety of a pre-stressed concrete (PSC) bridge was evaluated considering the KL-510 vehicle model. The proposed new structural reliability analysis platform is expected to enable an effective reliability-based safety evaluation of bridges.