• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권9호
• /
• pp.419-424
• /
• 2015

최근 사물인터넷 서비스가 점차 보편화되면서 사물인터넷에 사용되는 임베디드 시스템의 신뢰성 및 안전성 이슈가 부각되고 있다. 사물인터넷 시스템 등과 같은 임베디드 시스템 개발의 경우, 개발과정에서 소프트웨어 가상 수행환경을 구축하는 것이 쉽지 않아 단위테스트를 거의 수행하지 않고 있어 기능 신뢰성을 보장하기 어려운 실정이다. 이 연구에서는 실제 플랜트 환경에서 로그 기반 단위테스트 수행방법을 제안한다. 실제 시나리오 수행과정에서 함수별 수행경로를 고려하여 중복된 수행로그를 제거하여 저장되는 로그를 최소화하고 나중에 대표 수행경로만을 분석하여 단위테스트를 진행하는 방식이다. 제안된 방식은 시스템 테스트를 진행하는 과정에서 로그 기반 단위테스트를 효율적으로 수행할 수 있는 장점이 있다.

• Journal of the Korean Data and Information Science Society
• /
• 제26권6호
• /
• pp.1583-1592
• /
• 2015

This paper deals with the problem of testing on the shape parameter in the log-logistic distribution. We propose default Bayesian testing procedures for the shape parameter under the reference priors. The reference prior is usually improper which yields a calibration problem that makes the Bayes factor to be defined up to a multiplicative constant. We can solve the this problem by the intrinsic Bayes factor and the fractional Bayes factor. Therefore we propose the default Bayesian testing procedures based on the fractional Bayes factor and the intrinsic Bayes factors under the reference priors. Simulation study and an example are provided.

• Journal of the Korean Data and Information Science Society
• /
• 제26권6호
• /
• pp.1501-1511
• /
• 2015

This paper deals with the problem of testing on the equality of the scale parameters in the log-logistic distributions. We propose default Bayesian testing procedures for the scale parameters under the reference priors. The reference prior is usually improper which yields a calibration problem that makes the Bayes factor to be defined up to a multiplicative constant. Therefore, we propose the default Bayesian testing procedures based on the fractional Bayes factor and the intrinsic Bayes factor under the reference priors. To justify proposed procedures, a simulation study is provided and also, an example is given.

• 한국IT서비스학회지
• /
• 제14권2호
• /
• pp.129-142
• /
• 2015

The purpose of this study is to suggest an effective regression testing method in order to minimize the scope of test resulting from the modification of software and to prevent mismatch of test case and test objects. As a way to improve the efficiency of regression testing which uses a change-centric testing technique, the method flow is analyzed and grasped through a static analysis based on source code in order to identify modified parts. After the order of priority is set according to the results of user action log-based dynamic analysis on identified regression testing objects, test effect can be raised by adjusting the order of priority using code complexity. Quality assurance coverage can be checked using the user action log suggested in this study, and the progress of test and whether or not each function has been verified can be checked, too. In addition, by minimizing test parts and adjusting the order of test, costs and time can be saved, making it possible to conduct regression testing effectively.

• Journal of the Korean Data and Information Science Society
• /
• 제23권1호
• /
• pp.89-98
• /
• 2012

이 논문에서는 두 개의 Maxwell분포의 모수들의 동질성을 모수비에 근거하여 검정하는 근사통계량을 제안한다. Maxwell분포의 모수비에 대한 추정량이 복잡하여 정확한 분포를 유도하기는 매우 어렵다. 이러한 문제를 해결하기 위한 하나의 대안으로 표준정규분포로 근사적으로 수렴하는 통계량을 고려해야 한다. 이 논문에서 제안된 통계량은 표준정규분포로 수렴하며, 표본의 수가 작은 경우에도 사용할 수 있다. 특히, 본 논문에서는 부호화 로그 우도비 통계량과 수정된 부호화 로그 우도비 통계량을 개발한다. 일반적으로, 수정된 부호화 로그 우도비 통계량은 로그 우도비 통계량에 비해 표준정규분포로 수렴하는 속도가 매우 빠르다. 부호화 로그 우도비 통계량은 작은 표본으로도 표준정규분포로 매우 빨리 수렴한다. 제안된 통계량들의 성질들을 모의실험을 통하여 알아보고, 제안된 통계량을 예제를 통하여 연구한다.

• 대한음성학회지:말소리
• /
• 제60호
• /
• pp.165-180
• /
• 2006

In this paper, we present several confidence measures (CM) for speech recognition systems to evaluate the reliability of recognition results. We propose heuristic CMs such as mean log-likelihood score, N-best word log-likelihood ratio, likelihood sequence fluctuation and likelihood ratio testing(LRT)-based CMs using several types of anti-models. Furthermore, we propose new algorithms to add weighting terms on phone-level log-likelihood ratio to merge word-level log-likelihood ratios. These weighting terms are computed from the distance between acoustic models and knowledge-based phoneme classifications. LRT-based CMs show better performance than heuristic CMs excessively, and LRT-based CMs using phonetic information show that the relative reduction in equal error rate ranges between $8{\sim}13%$ compared to the baseline LRT-based CMs. We use the support vector machine to fuse several CMs and improve the performance of utterance verification. From our experiments, we know that selection of CMs with low correlation is more effective than CMs with high correlation.

• Journal of the Korean Data and Information Science Society
• /
• 제20권1호
• /
• pp.1-9
• /
• 2009

회귀모형의 분산함수가 알려져 있지 않은 한 점에서 불연속이라 가정하자. Yu와 Jones (2004)는 음이 아닌 값을 취하는 분산함수를 실수 값을 취하도록 하기 위하여 로그 변환하였고, 변환된 로그분산함수를 국소다항적합으로 추정하였다. 로그분산함수의 국소다항적합을 이용하여, Huh (2008)는 분산함수의 불연속점의 추정하는 대신 로그분산함수의 불연속점을 추정하였다. 본 연구는 Huh의 점프의 크기 추정량의 점근분포를 이용하여 로그분산함수의 불연속점의 존재여부에 대한 가설검정을 제안하고, 제안한 방법에 대한 모의실험 결과를 제시하고자 한다.

• International Journal of Reliability and Applications
• /
• 제17권1호
• /
• pp.85-105
• /
• 2016

In this paper accelerated life testing is incorporated in quality control technique of acceptance sampling plan to induce early failures in high reliability products.Stress under accelerated condition can be applied in constant-stress, step-stress and progressive-stress or combination of such loadings. A ramp-stress results when stress is increased linearly (from zero) with time. In this paper optimum failure-censored ramp-stress accelerated life test sampling plan for log-logistic distribution has been formulated with cost considerations. The log-logistic distribution has been found appropriate for insulating materials. The optimal plans consist in finding optimum sample size, sample proportion allocated to each stress, and stress rate factor such that producer's and consumer's interests are safeguarded. Variance optimality criterion is used when expected cost per lot is not taken into consideration, and bilevel programming approach is used in cost optimization problems. The methods developed have been illustrated using some numerical examples, and sensitivity analyses carried out in the context of ramp-stress ALTSP based on variable SSP for proportion nonconforming.

• 융합보안논문지
• /
• 제12권3호
• /
• pp.19-26
• /
• 2012

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 하는 과정에서 소프트웨어 관리자들이 소프트웨어 및 검사 도구에 효율적인 학습기법을 이용한 NHPP 소프트웨어 모형에 대하여 연구 하였다. 적용모형은 로그 형 위험함수 모형을 적용한 유한고장 NHPP에 기초하였다. 소프트웨어 오류 탐색 기법은 사전에 알지 못하지만 자동적으로 발견되는 에러를 고려한 자동에러탐색요인과 사전 경험에 의하여 세밀하게 에러를 발견하기 위하여 테스팅 관리자가 설정해놓은 요인인 학습효과의 특성에 대한 문제를 비교 제시 하였다. 그 결과 학습요인이 자동 에러 탐색요인보다 큰 경우가 대체적으로 효율적인 모형임을 확인 할 수 있었다. 본 논문의 소프트웨어 고장 자료 분석에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우추정 법을 이용하고 추세분석을 통하여 자료의 효율성을 입증한 후 평균제곱오차와 $R^2$(결정계수)를 이용하여 효율적인 모형을 선택 비교하였다.

• Journal of the Korean Data and Information Science Society
• /
• 제26권3호
• /
• pp.569-580
• /
• 2015

두 집단의 생존분포의 비교를 위한 방법으로는 로그-순위 검정법이 널리 쓰이고 있다. 그러나 이는 두 집단의 생존분포 간에 비례위험모형 가정이 성립하는 경우에 적합한 것으로써, 두 집단의 생존분포가 교차하는 상황 하에서는 해당 검정법의 유효성을 장담할 수 없다. 그러나 두 집단의 생존분포가 교차하는 상황은 빈번히 발생하며, 이 같은 상황에서 두 생존분포의 동일성 검정을 위한 여러 연구가 진행되어왔다. 본 논문에서는 두 집단 간 생존분포가 교차하는 상황 하에서의 동일성 검정을 위한 방법들을 고려한다. 나아가 교차하는 상황을 위치에 따라 세분화하고 모의실험을 통해 각 상황에서 다양한 검정법들의 검정력을 비교하였으며, 그 결과를 토대로 주어진 상황에서 적절한 방법의 선택에 유용한 정보를 제공하고자 한다.