• 정보처리학회논문지A
• /
• 제16A권4호
• /
• pp.245-254
• /
• 2009

임베디드 프로세서 사용이 증가함에 따라 임베디드 프로세서를 위한 컴파일러를 시기 적절히 개발해야 할 필요성이 증가하고 있다. 컴파일러 후단부를 수정하여 새로운 컴파일러를 구성하는 재겨냥 기법이 이에 적합한 기법으로 채택되고 있다. 이 논문에서는 재겨냥성 C 컴파일러를 테스트하기 위한 테스트 집합 생성 시스템을 제안한다. 제안한 시스템은 문법 커버리지 개념을 이용하여 테스트 집합을 생성한다. 일반적으로 원시 프로그래밍 언어의 문법을 이용하여 테스트 집합을 생성하면 방대한 크기의 테스트 집합이 얻어진다. 그러나 신속히 컴파일러를 출시해야하는 상황에서는 방대한 테스트 집합 크기가 문제가 될 수 있다. 이에 이 논문에서 제안한 시스템은 중간 코드를 고려하여 테스트 집합을 축약하는 기능을 탑재하고 있다. 실험 결과에 따르면, 비록 축약된 테스트 집합 크기는 원본 테스트 집합 크기의 평균 10%에 불과하지만 원본 테스트 집합이 검출할 수 있는 컴파일러 오류의 75% 정도를 검출할 수 있음을 알 수 있었다. 이는 본 논문에서 제시한 축약 기법이 임베디드 컴파일러 개발 초기 단계에서 효과적으로 사용될 수 있음을 의미한다.

• Journal of Astronomy and Space Sciences
• /
• 제25권3호
• /
• pp.291-298
• /
• 2008

민간과 상업응용분야의 성장과 함께 위치정보, 항법 그리고 시각정보를 제공하는 전지구 위성 항법시스템(GNSS)은 우리의 삶에 많은 영향을 주고 있다. 사용자들의 요구사항을 맞추기 위해 10cm급의 정확도를 갖는 새로운 측위기술이 적용되고 있으며, 측위정확도는 더욱 향상 되어가고 있다. 이 연구에서는 GPS L1 수신기 사용자의 측위정확도 향상을 위해 두개의 GPS 기준국 (DAEJ, SUWN) 관측정보를 이용하였고, 한반도내 넓은 범위의 실험지역으로부터 얻어진 데이터를 자료처리 하였다. 결과적으로 이중 GPS 기준국에 의해 산출된 조합해가 단일 기준국에 의한 결과보다 향상된 위치정확도를 보였다.

• 전자공학회논문지A
• /
• 제30A권1호
• /
• pp.51-63
• /
• 1993

기존의 알고리듬들이 완전히 검출하지 못하는 차수 2나 3의 연결된 2-결합고장을 검출하기 위하여 "알고리듬 다"가 제안되었다. 제한된 3-결합고장을 검출하는 "테스트1*", "테스트2*" 및 "알고리듬 라"가 제안되었다. "테스트1*"는 제한된 3-결합고장을 검출하는 측면에서 기존의 알고리듬들보다 시간복잡도가 감소되었다. "테스트2*" 및 "알고리듬 라"는 기존의 알고리듬들과 비교하여 시간복잡도가 감소되었고 개선된 고장 검출능력을 가진다. 그리고 요구하는 고장 검출정도에 따라 "알고리듬 라"를 순차적으로 수행시킬 수 있으며, 메모리를 병렬테스트하는 경우에 "알고리듬 라"를 수행시키면 시간복잡도가 상당히 개선된다. 비선형 번지순서를 발생시키고 두 번지부분으로 분할하여 반도체 RAM의 결합고장을 검출하는 MT(March Test)는 차수 3의 연결된 2-결합고장보다 복잡한 결합고장은 완전히 검출될 수 없다는 것이 입증되었다.

• 대한전자공학회논문지SD
• /
• 제38권1호
• /
• pp.44-54
• /
• 2001

본 논문에서는 아날로그 회로에 존재하는 강고장(hard fault)과 약고장(soft fault)을 검출하기 위한 새로운 테스트 방식을 제안한다. 제안한 테스트 방식은 연산 증폭기의 특성중 하나인 오프셋 전압(offset voltage)을 이용한다. 테스트 시, 테스트 대상 회로(CUT: Circuit Under Test)는 귀환 루프를 가지는 단일 이득 연산 증폭기로 변환된다. 연산 증폭기의 입력이 접지되었을 때, 정상 회로는 작은 오프셋 전압을 가지지만 고장이 존재하는 회로는 큰 오프셋 전압을 가진다. 따라서 오프셋 전압의 허용 오차를 벗어나는 연산증폭기 내에 존재하는 고장들을 검출할 수 있다. 제안한 테스트 방식은 테스트 패턴 없이 단지 입력을 접지시키면 되므로 테스트 패턴을 생성하는 문제를 제거시킬 수 있어 테스트 시간과 비용이 감소한다. HSPICE 모의 실험을 통하여 본 논문에서 제안하는 방식을 단일 연산증폭기와 듀얼 슬롭(dual slope) A／D 변환기에 적용한 결과 높은 고장 검출율(fault coverage)을 얻었다.

• 대한전자공학회논문지SD
• /
• 제39권3호
• /
• pp.85-97
• /
• 2002

STUMPS는 스캔 구조를 이용한 자체 테스트로 널리 사용되는 기술이다. 다중 스캔 체인에 STUMPS를 적용할 때 병렬 패턴 생성기로 사용되는 LFSR은 인접한 비트 시퀀스 사이에 높은 correlation이 존재하므로 회로의 고장 검출률을 저하시킨다. 이러한 문제를 해결하기 위해서 하드웨어 오버헤드 증가에도 불구하고 LFSR과 스캔 체인의 입력 사이에 부가적인 조합회로가 놓인다. 본 논문은 다중 스캔 체인을 갖는 순차회로에 대해 회로 자체의 스캔 체인들을 사용하여 유사 무작위 테스트 패턴을 생성하는 효과적인 테스트 패턴생성 방법과 그 구조를 소개한다. 제안된 테스트 패턴 생성 기술은 기존에 패턴 생성기로 사용되는 LFSR과 조합회로의 구성을 사용하지 않으므로 하드웨어 오버헤드를 줄일 수 있으며 충분히 높은 고장 검출률을 얻을 수 있다. 또한 스캔 체인 당 단지 수 개의 XOR 게이트만이 회로 변형을 위해 필요하므로 설계가 매우 간단하다.

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

웹 어플리케이션은 프레임워크가 제공하는 라이브러리를 재사용해서 구현하며, 다계층 아키텍처를 갖는다. 또한 사용자 요청을 처리하기 위해, 화면에서 시작하여 해당 웹 어플리케이션 구성 컴포넌트를 실행하고 데이터베이스를 경유하여 다시 화면으로 돌아오는 실행 흐름, 즉 비즈니스 로직을 갖는다. 웹 어플리케이션을 효과적으로 테스트하기 위해서는 이러한 웹 어플리케이션의 특징을 반영하는 테스트 방안이 필요하다. 본 논문은 웹 어플리케이션 테스트를 위해 사용자 화면으로 테스트를 수행하되, 웹 비즈니스 로직 상의 인터페이스 테스트 커버리지로 검증하는 방법을 제안한다. 이를 자동화한 테스트 도구인 Testopiacov를 통해 웹 어플리케이션을 테스트하고 그 결과를 통하여 제안하는 웹 어플리케이션 테스트 방법을 분석한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.1069-1072
• /
• 1998

Recently the development of design and automation technology and manufacturing method, has reduced the cost of chip, but it becomes more difficult to test IC chip because test technique doesn't keep up with these techniques. In case of IC testing, obtaining test vectors to be able to detect good chip or bad one is very important, but according to increasing complexity, it is very complex and difficult. Another problem is that during testing, there could be capability of physical and electrical damage on chip. Also there is difficulty in synchronization between CUT (circuit under test) and Test equipment〔1〕. Because of these difficulties, built in self test has been proposed. Not only obtaining test vectors but also reducing test time becomes hot issues nowadays. This paper presents a new test BIST(built in self test) method. Proposed BIST implementation reduces test time and obtains high fault coverage. By searching internal nodes in which are inserted test_point_cells〔2〕and allocating TPG(test pattern generation) stages, test length becomes much shorter.

• 한국산림과학회지
• /
• 제101권2호
• /
• pp.175-184
• /
• 2012

본 연구는 산지계류의 자연친화적 복원을 위해 산지 계류 특성에 적합한 안정성과 구조를 가지면서 계안 보호 및 복원이 가능하도록 식생기반재 돌망태 공법을 개발하고, 개발 공법의 치수안정성, 생태계 구조 및 기능, 경관에 대한 모니터링을 통해 공법의 효능을 평가하는데 그 목적이 있다. 본 보에서는 개발된 계안 복원을 위한 식생기반재 돌망태 공법 중 매트리스형 식생기반재 돌망태 공법의 계안 피복효과를 정리, 보고하였다. 사용된 매트리스형 식생기반재 돌망태의 표준형태는 $4.0m{\times}2.0m{\times}0.3m$ 크기이며, 식생기반재는 고운 흙, 유기질 비료, 유기질 토양개량재, 종자를 혼합한 것으로, 식물성 천연섬유를 공급할 수 있고 다량의 수분 보유능력을 가진 피트모스를 유기질 토양개량재로서 사용하였다. 2006년 12월 식생기반재 돌망태를 이용한 계안 복원공법 시험지가 완공된 이후, 2007년 3월부터 각 시험구간별 식생발아 및 피복도 변화에 대한 모니터링을 실시한 결과, 최초 식생 발아는 2007년 4월 12일 경이었으며, 이후 약 50일이 경과한 2007년 5월 29일 경에 모든 시험구간에서 피복도 100%에 도달하였다. 또한 큰 채움돌과 유기질 토양만을 혼합한 시험구에서 가장 높은 식생피복도를 유지하였다. 피트모스를 많이 처리한 시험구가 높은 초기 식생피복도를 보임으로서 피트모스 처리가 양호한 발아 및 생육 환경 조성에 효과적인 것으로 분석되었다.

• 한국정보처리학회논문지
• /
• 제6권11호
• /
• pp.3086-3096
• /
• 1999

To declare conformance of multi-protocol Implementation Under Test(IUT), every layer of the multi-protocol IUT should be tested. According to ISO9646, single-layer test method is applied to testing the highest layer of multi-protocol IUT and single-layer embedded test method is used for the layers by layer all the protocols in a multi-protocol IUT. This paper proposes a new method for testing a multi-protocol IUT. The proposed test method assumes that a multi-protocol IUT is under test and that the interfaces between the layers cannot be controlled or observed by the tester. We apply the proposed test method to TCP/IP and compare the application results with those of the existing test turns out that the proposed test method significantly reduces the number of test cases as well as the number of test events while providing the same test coverage. In addition, the proposed test method shows the capability to locate the layer that is source of failure in testing multi-protocol IUTs.

• 한국항공운항학회지
• /
• 제28권2호
• /
• pp.53-62
• /
• 2020

This study is to evaluate the accuracy of the meteorological information provided for the aircraft operating at low altitude. At first, it is necessary to identify crucial elements of weather information closely related to flight safety during low altitude flights. The study conducted a survey of pilots of low altitude aircraft, divided into pre-flight and in-flight phases, and reached an opinion that wind direction, wind speed, cloud coverage and ceiling and visibility are important items. Related to these items, we compared and calculated the accuracy of TAFs and METARs from Taean Airfield, Seosan Airport and Gunsan Airport because of their high number of domestic low-altitude flights. Accuracy analysis evaluated the accuracy of two numerical variables, Mean Absolute Error(MAE) and Root Mean Square Error(RMSE), and the cloud coverage which is categorical variable was calculated and compared by accuracy. For numeric variables, one-way ANOVA, which is a parameter-test, was approached to identify differences between actual forecast values and observations based on absolute errors for each item derived from the results of MAE and RMSE accuracy analyses. To determine the satisfaction of both normality assumptions and equivalence variability assumptions, the Shapiro-Wilk test was performed to verify that they do not have a normality distribution for numerical variables, and for the non-parametric test, Kruscal-Wallis test was conducted to determine whether or not they are satisfied.