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

최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.

• 한국문헌정보학회지
• /
• 제36권4호
• /
• pp.311-329
• /
• 2002

본 연구에서는 최신의 정보기술을 적용한 XML 기반 충남대학교 전자도서관 웹사이트를 대상으로 사용성 평가를 실시하였다. 사용성 평가는 로그파일 분석, 온라인 설문조사 그리고 발견평가의 3가지 방법을 적용하였다. 본 연구에서는 사용자 입장에서의 대학도서관 웹사이트 서비스의 문제점을 분석$\cdot$평가하여 개선 방안을 제시함으로써 이용자 서비스의 품질 향상을 제고할 수 있는 근거를 마련하고자 한다.

• 응용통계연구
• /
• 제25권3호
• /
• pp.423-434
• /
• 2012

A two-sample test for equality of survival distribution is one of the important issues in survival analysis, especially for clinical and epidemiological research. With interval censored data, some testing methods have been developed. This study introduces some testing methods and compares them under various situations through simulation study. Based on simulation result, it provides some useful information on choosing the most appropriate testing method in a given situation.

• Journal of the Korean Data and Information Science Society
• /
• 제21권1호
• /
• pp.51-59
• /
• 2010

일반화선형모형에서 회귀함수가 하나의 불연속점을 가질 때, Huh (2009)는 하나의 모수를 가지는 지수족의 가능도함수를 한쪽방향커널을 이용하여 그 불연속점의 위치와 점프크기를 추정하였다. 이 논문에서는 미지의 불연속점 수 q개를 가지는 회귀함수인 경우에, Huh (2009)가 제안한 점프크기 추정량의 점근분포를 이용한 가설검정법을 소개하고, 그 가설검정법을 이용한 불연속점 수를 추정하는 알고리듬을 제안하고, 모의실험을 통하여 추정의 정도를 알아보고자 한다.

• 응용통계연구
• /
• 제16권2호
• /
• pp.351-364
• /
• 2003

본 논문에서는 오차성분을 가지는 패널회귀모형에서 모형의 선형성을 검정 할 수 있는 검 정통계량을 제시하고, 유도한 검정통계량의 계산을 위하여 인공회귀방법을 이용하려한다. 모의실험 결과, Double-Length Artificial Resression(DLR)을 이용한 LM 검정통계량은 명목유의 수준을 잘 유지하고 있는 것으로 나타났으며 검정력에 있어서도 기존의 검정에 비하여 높게 나타났다.

• Communications for Statistical Applications and Methods
• /
• 제29권3호
• /
• pp.301-317
• /
• 2022

In this paper, we propose a change point detection procedure based on the modified information criterion in a generalized lambda distribution (GLD) model. Simulations are conducted to obtain empirical critical values of the proposed test statistic. We have also conducted simulations to evaluate the performance of the proposed methods comparing to the log-likelihood method in terms of power, coverage probability, and confidence sets. Our results indicate that, under various conditions, the proposed method modified information criterion (MIC) approach shows good finite sample properties. Furthermore, we propose a new goodness-of-fit testing procedure based on the energy distance to evaluate the asymptotic null distribution of our test statistic. Two real data applications are provided to illustrate the use of the proposed method.

• Journal of the Korean Data and Information Science Society
• /
• 제11권2호
• /
• pp.269-277
• /
• 2000

독립이면서 로그정규분포를 따르는 두 모집단의 평균 차이에 대한 검정으로 Berger와 Pericchi(1996, 1998)가 제안한 내재적 베이즈 요인(intrinsic Bayes factor)을 이용한 베이지안 방법을 제안한다. 이 때 모수에 대한 사전분포로는 무정보적 사전분포(noninformative prior)를 사용한다. 제안한 검정 방법의 유용성을 알아보기 위해 실제 자료의 분석과 모의실험을 이용하여 고전적인 검정 방범과 그 결과를 비교한다.

• 디지털융복합연구
• /
• 제12권3호
• /
• pp.219-226
• /
• 2014

본 연구에서는 소프트웨어 제품 테스팅 과정에서 고장 수명분포의 형상모수를 고려한 소프트웨어 신뢰성 비용 모형에 대하여 연구 하였다. 신뢰성 분야에서 많이 사용되는 어랑 분포와 로그-로지스틱 모형을 이용한 형상모수를 반영한 문제를 제시하였다. 소프트웨어 고장모형은 유한고장 비동질적인 포아송과정을 이용하고 모수추정법은 최우추정법을 이용 하였다. 따라서 본 논문에서는 형상모수를 고려한 소프트웨어 비용모형 분석을 위하여 소프트웨어 고장 시간 자료를 적용하여 비교 분석하였다. 본 연구에서 사용된 어랑 분포와 로그-로지스틱분포에 근거한 소프트웨어 비용 모델을 비교한 결과 어랑 모형은 최적의 소프트웨어 방출 시간을 예측 할 수 있지만 로그-로지스틱 모형은 방출시간을 예측 할 수 없기 때문에 로그-로지스틱 보다 어랑 모형이 보다 효율적으로 나타나고 있다. 이 연구를 통하여 소프트웨어 개발자들은 소프트웨어 개발 비용을 파악 하는데 어느 정도 도움을 줄 수 있을 것으로 사료된다.

• 한국컴퓨터정보학회논문지
• /
• 제14권7호
• /
• pp.1-8
• /
• 2009

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구하였다. 따라서 최적 소프트웨어 방출 정책은 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 정책을 수용해야 한다. 본 논문에서는 로그포아송 실행시간모형에 대하여 베이지안 모수 추정법(마코브체인 몬테칼로(MCMC) 기법 중에 하나인 깁스 샘플링과 메트로폴리스 알고리즘을 이용한 근사기법)이 사용되었다. 본 논문의 수치적인 예에서는 Musa의 T1 자료를 적용하여 최우수추정법과 베이지안 모수 추정과의 관계를 빅교하고 또한 최적 방출시기를 추정하였다.

• 응용통계연구
• /
• 제1권2호
• /
• pp.66-81
• /
• 1987

이 연구에서는 새로운 방법의 비모수적 축차검정방법이 제시되었다. 먼저 축차적으로 얻어지는 관측치를 일정수의 집단으로 분류하고 각집단으로부터 주어진 가설에 적절한 비모수 통계량을 구하여 이것을 축차확률비검정에서 사용되는 로그확률비통계량에 대체하여 Wald의 축차검정을 수행하는 방법이다. 이러한 검정의 특성은 Wiener과정에 의해 근사적으로 규명되었다.