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

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

• 정보과학회 논문지
• /
• 제44권2호
• /
• pp.171-178
• /
• 2017

본 논문에서는 안드로이드 커널 모듈의 취약점을 탐지하기 위한 자동 유닛 테스트 생성 기법을 제안한다. 안드로이드 커널 모듈의 각 함수를 대상으로 테스트 드라이버/스텁 함수를 자동 생성하고 동적 기호 실행 기법을 사용하여 테스트 입력 값을 자동으로 생성한다. 또한 안드로이드 커널 모듈의 함수 포인터와 함수 선행 조건을 고려하지 않은 테스트 생성으로 인한 거짓 경보를 줄이기 위해 정적 분석을 통한 함수 포인터 매칭 기법과 def-use 분석을 사용한 함수 선행 조건 생성 기법을 개발하였다. 자동 유닛 테스트 생성 기법을 안드로이드 커널 3.4 버전의 세 모듈에 적용한 결과 기존에 존재하던 취약점을 모두 탐지할 수 있었으며 제안한 거짓 경보 감소 기법으로 평균 44.9%의 거짓 경보를 제거할 수 있었다.

• 분석과학
• /
• 제27권6호
• /
• pp.284-291
• /
• 2014

차량 실내 공기질 대응 프로세스는 두 단계의 시험 방법으로 이루어져 있다. 먼저 모듈 부품평가를 통해 차량 실내 VOCs의 주요 원인을 찾고, 절단 시험편을 이용하여 VOCs가 주로 방출되는 소재를 찾는다. 만약 VOCs가 주로 방출되는 소재를 확인 시, 소재 개선을 통해 차량과 모듈 부품에서 방출되는 VOCs를 줄일 수 있다. 하지만 기존의 절단 시험편을 이용한 시험법은 VOCs 원인을 찾는데는 절단면에서의 방출 문제가 있기 때문에, 구성 부품 단위의 평가방법 적용이 필요하다. ISO 12219-5 시험 방법은 부품 절단없이 평가를 하기 때문에 소재 및 표면적의 영향이 함께 고려되어, 모듈 부품에서 구성 부품의 VOCs 영향도 확인이 가능하였다. 트림과 콘솔의 구성부품 평가를 통해 모듈내의 주요 원인 부품을 확인할 수 있었다. 또한 ISO 12219-5 모듈 부품 시험법과 구성 부품 시험법간의 정량적 상관관계 규명을 통해 품질관리를 위한 관리값을 설정할 수 있었다.

• Journal of the Korean Statistical Society
• /
• 제27권2호
• /
• pp.165-187
• /
• 1998

Shin and Sarkar (1993, 1994) studied the problem of testing for a unit root in an AR(p) signal observed with MA(q) noise when the MA parameters are known. In this paper we consider the case when the MA parameters are unknown and to be estimated. Test statistics are defined using unit root parameter estimates based on three different estimation methods of Hannan and Rissanen (1982), Kohn (1979) and Shin and Sarkar (1995). An AR(p) process contaminated by MA(q) noise is a .estricted ARMA model, for which Shin and Sarkar (1995) derived an easy-to-compute Newton- Raphson estimator The two-stage estimation p.ocedu.e of Hannan and Rissanen (1982) is used to compute initial parameter estimates in implementing the iterative estimation methods of both Shin and Sarkar (1995) and Kohn (1979). In a simulation study we compare the relative performance of these unit root tests with respect to both size and power for p=q=1.

• 한국컴퓨터정보학회논문지
• /
• 제16권12호
• /
• pp.1-10
• /
• 2011

내장형 시스템의요구사항이 복잡해짐에 따라 내장형 소프트웨어의 신뢰도를분석하기 위한 도구가 요구되고있다. 소프트웨어의 신뢰도를 분석하는 방법으로는 확률적 모델링을 이용하는데, 다수의 디바이스를 제어하는 내장형 소프트웨어에 적용하기 위해서는 내장형 소프트웨어에 특성화 시킬 필요가 있다. 또한, 기존의 신뢰도 분석 도구는 각 상태간의 전이 확률을 다른 방법으로 측정해야 하고, 한 번 작성한 모델에 대해 재사용을 고려하고 있지 않는다. 본 논문은 내장형 소프트웨어의 신뢰도를 분석하기 위해 내장형 소프트웨어 마르코프 체인 모델과 단위 테스팅 도구를 이용한 신뢰도 분석 도구를 제안한다. 내장형 소프트웨어 마르코프 체인 모델은 신뢰도 분석 방법으로 많이 사용되고 있는 마르코프 체인 모델을 내장형 소프트웨어에 특성화 시킨 모델이다. 그리고 단위 테스팅 도구는 내장형 소프트웨어의 개발환경에 적합한 호스트/타겟 구조를 가지고 있다. 제안하는 도구는 신뢰도 분석을 위해 단위간 전이 확률을 단위 테스트 결과로부터 자동으로 측정하여 기존의 도구보다 용이하게 신뢰도를 분석할 수 있다. 그리고 소프트웨어 모델을 XML 기반의 문서로 표현하여 단위 테스팅 도구가 업데이트 시킨 테스트 결과를 바로 적용할수 있고, 웹 기반의 인터페이스와 SVN 저장소를 이용하여 다수의 개발자가 쉽게 접근할 수 있는 장점을 갖는다. 본 논문에서는 예제를 이용하여 신뢰도의 분석을 보이고 신뢰도 측정에 유용함을 보인다.

• 영재교육연구
• /
• 제25권1호
• /
• pp.119-138
• /
• 2015

본 연구는 과학고 신입생들을 대상으로 수학, 물리, 화학, 영어 교과에서의 상급 학년 성취 수준을 평가하였다. 상급 학년 수준 시험은 천장효과를 배제한 성취수준을 평가할 수 있는 도구로 대학수학능력시험의 동형검사지를 개발 활용하였다. 연구결과는 다음과 같다. 첫째, 과학고 신입생들의 수학, 과학 교과 학업성취도는 응시생의 50%이상이 수능 5등급이내에 위치하고 영어교과는 19.3%미만의 학생들이 5등급이내의 성적을 나타내어 수학이나 과학보다는 상대적으로 낮았다. 둘째, 과목 내 단원별 학업성취도가 높고 낮은 단원을 보면, 수학은 '행렬' 단원이 높고 '수열' 단원이 낮았다. 미적분과 통계 과목은 '함수의 극한과 연속성' 단원이 높고, '통계' 단원이 가장 낮았다. 물리 과목에서는 '전기와 자기' 단원이 중간 수준, '파동과 입자' 단원이 하위수준이었다. 화학 과목에서는 '생활 속의 화합물' 단원이 높고, '공기' 단원이 낮았다. 영어 교과에서는 읽기 영역의 '실용문'이 매우 높았으며, 쓰기 영역의 '문장'이 낮았다. 결론적으로 상급 학년 수준 시험은 학생들의 수준에 맞는 개별화된 프로그램을 적용하는데 좋은 방안이라 할 수 있다.

• 한국지열·수열에너지학회논문집
• /
• 제11권4호
• /
• pp.7-13
• /
• 2015

The efficiency, reliability and performance of any heat pump unit can only be ascertained after it has been tested and rated. For this reason, specific facilities, equiped with testing plants are built. Heat pump calorimeter is the facilities used by most of these testing facilities in their rating and certification process. The ultimate function of calorimeters is to, control and maintain the constant standard test conditions (indoor/outdoor entering temperatures and flow rate etc) during testing period. In this study, the test standards of heat pump unit and the structure of the calorimeter are surveyed. In addition, this study analyzes the total energy consumption of a water to water heat pump calorimeter. Heat pump calorimeter consumed much energy to excute the heat pump tests. The energy consumption of the calorimeter was higher than the heat pump unit, and it was increased as the heat pump unit capacity decreased.

• Nuclear Engineering and Technology
• /
• 제34권4호
• /
• pp.331-343
• /
• 2002

We performed an importance analysis of In-Service Testing (157) components for Ulchin Unit 3 using the integrated evaluation method for categorizing component safety significance developed in this study. The developed method is basically aimed at having a PSA expert perform an importance analysis using PSA and its related information. The importance analysis using the developed method is initiated by ranking the component importance using quantitative PSA information. The importance analysis of the IST components not modeled in the PSA is performed through the engineering judgment, based on the expertise of PSA, and the quantitative and qualitative information for the 157 components. The PSA scope for importance analysis includes not only Level 1 and 2 internal PSA but also Level 1 external and shutdown/low power operation PSA. The importance analysis results of valves show that 167 (26.55%) of the 629 IST valves are HSSCs and 462 (73.45%) are LSSCs. Those of pumps also show that 28 (70%)of the 40157 pumps are HSSCs and 12 (30%) are LSSCs.

• International Journal of Reliability and Applications
• /
• 제10권1호
• /
• pp.59-62
• /
• 2009

We comment on a new testing procedure for testing exponentiality against different ageing classes. We show that the proposed test is inappropriate at least for two alternatives. We point out the subtle flaw in their argument.

• 한국신뢰성학회:학술대회논문집
• /
• 한국신뢰성학회 2000년도 추계학술대회
• /
• pp.87-95
• /
• 2000

The testing product is the HSU(Hydrostatic Steering Unit) installed in the armored vehicle which has the compact structure of assembly with hydraulic pump, hydraulic motor, and several hydraulic valves. There are no assesment testing code for HSU within a country because the testing code for HUS is not involved in the technical concert from USA. Therefore the testing code is developed by the dynamic analysis of the armored vehicle. By the developed testing code, the test equipment is designed, manufactured, and used to apply the assesment test.