• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.215-222
• /
• 2006

모바일 소프트웨어의 생산성을 높이고 신뢰성 있는 소프트웨어를 개발하기 위한 모바일 소프트웨어 테스트의 중요성이 부각되고 있다. 모바일 소프트웨어의 테스팅 기술이 효율적으로 적용되기 위해서는 모바일 플랫폼 기반의 테스트를 자동화 할 수 있는 기술이 필요하다. 즉, 모바일 플랫폼에서 제공하는API를 테스트 하기 위한 테스트케이스를 생성할 수 있는 기법이 필요하다. 테스트케이스를 생성하게 되면 소프트웨어의 생산성과 신뢰성을 향상 시킬 수 있을 뿐만 아니라, 테스트 기간 및 비용을 줄일 수 있다는 이점이 있다. 본 논문에서는 기존의 테스트 자동화에 관련된 연구와 테스트 자동화 도구에 대한 연구를 통해 테스트케이스 생성 범위를 설정하고, J2ME 플랫폼에 사용될 수 있는 테스트케이스 생성 기법인 키워드 방식 기법(Keyword Driven Method)을 제시하였으며, 제안한 생성 기법을 적용하여 J2ME 플랫폼 기반의 테스트에 활용 가능한 테스트케이스 생성 기법이 되도록 하였다.

• 인터넷정보학회논문지
• /
• 제14권1호
• /
• pp.31-39
• /
• 2013

새롭게 개발되는 소프트웨어 컴포넌트와 재사용되는 하드웨어 컴포넌트를 결합할 때, 두 컴포넌트간 인터페이스 불일치현상이 발생할 수 있다. 인터페이스 불일치 현상은 다양한 형태의 결함을 야기할 수 있으며 인터페이스 결함허용성을 저하시키는 요인이 된다. 하지만 이러한 결함에 대한 테스트는 경험기반으로 수행되기 때문에 사람에 매우 의존적이라는 단점이 있다. 이에 본 논문에서는 경험기반 테스트를 구조적 방법으로 접근하여 임베디드 소프트웨어의 인터페이스 결함허용성을 향상시킬 수 있는 기법을 제안한다. 먼저, 기존에 정의된 인터페이스 결함유형에는 포함되지 않았던 경험기반으로 수행되었던 인터페이스 결함유형을 정의한다. 다음으로 새롭게 정의된 인터페이스 결함 유형을 고려한 테스트 수행 방법을 제시한다. 제안한 방법의 우수성을 입증하기위해 본 논문에서는 상용 방송 수신단말기를 대상으로 테스트 수행한 결과, 기존에 사용했던 방법보다 7.9%의 심각한 결함을 추가로 발견할 수 있었다. 또한, 제안한 방법은 소프트웨어 개발 주기상에서 초기에 테스트 경로를 생성하기 때문에 개발자들이 사전에 인터페이스 불일치 결함을 발견할 수 있어 보다 효과적인 테스트 계획 수립이 가능하다.

• 보건행정학회지
• /
• 제33권2호
• /
• pp.173-184
• /
• 2023

Background: The coronavirus disease 2019 pandemic has been challenging the healthcare service, i.e., the vitalization of the point of care accompanying self-testing in vitro diagnostic medical devices (IVDs). This study aims to suggest priority criteria to classify self-testing IVDs using the analytic hierarchy process technique. Methods: Two dimensions of the characteristics embedded in the IVDs and the diseases to be diagnosed with self-testing IVDs were parallelly considered and independently investigated. In addition, three expert panels consisting of laboratory medical doctors (n=11), clinicians (n=10), and citizens (n=11) who have an interest in the selection of self-testing IVDs were asked to answer to questionnaires. Priorities were derived and compared among each expert panel. Results: First of all, ease of specimen collection (0.241), urgency of the situation (0.224), and simplicity of device operation (0.214) were found to be the most important criteria in light of the functional characteristics of self-testing IVDs. Medical doctors valued the ease of specimen collection, but the citizen's panel valued self-management of the disease more. Second, considering the characteristics of the diseases, the priority criteria were shown in the order of prevalence of diseases (0.421), fatality of disease (0.378), and disease with stigma (0.201). Third, medical doctors responded that self-testing IVDs were more than twice as suitable for non-communicable diseases as compared to communicable diseases (0.688 vs. 0.312), but the citizen's group responded that self-testing IVDs were slightly more suitable for infectious diseases (0.511 vs. 0.489). Conclusion: Our findings suggested that self-testing IVDs could be primarily classified as the items for diagnosis of non-communicable diseases for the purpose of self-management with easy specimen collection and simple operation of devices, taking into account the urgency of the situation as well as prevalence and fatality of the disease.

• 비파괴검사학회지
• /
• 제20권4호
• /
• pp.285-289
• /
• 2000

본 연구는 콘크리트내의 철근의 굵기와 깊이를 동시에 측정할 수 있는 기술 개발에 관한 것이다. 개발된 탐촉자는 기존의 철근 탐지기와 다른 구조를 지니는데 감지 코일이 세 개로 구성되어 있다. 따라서 세 가지 신호를 동시에 측정하여 분석함으로써 철근의 굵기와 깊이를 분석하도록 되어 있다. 탐촉자 내 코일의 전압과 위상 변화를 임피던스 분석기를 이용하여 조사하고 그 전달함수의 괘적을 분석하였다. 여기 코일 내부에 장착된 감지 코일은 알려진 바와 같이 단순한 변화 형태를 나타내었으나 여기 코일 밖에 장착된 코일의 경우 변화 곡선이 복잡하였다. 실제 철근탐지 실험은 일반 와전류 탐상기를 이용하였는데 여러 가지 철근의 굵기와 깊이에 대하여 실험하였다. 철근 깊이에 따른 신호 변화는 임피던스 분석기에 의한 전달함수 변화에서 나타낸 것과 비슷한 경향을 나타내었으며 감지 코일마다 다른 전압의 변화를 이용하여 철근의 굵기와 깊이의 동시 측정이 가능하였다.

• 대한전자공학회논문지SD
• /
• 제45권2호
• /
• pp.69-81
• /
• 2008

메모리 기술이 발달함에 따라 메모리의 집적도가 증가하게 되었고, 이러한 변화는 구성요소들의 크기를 작아지게 만들고, 고장의 감응성이 증가하게 하였다. 그리고 고장은 더욱 복잡하게 되었다. 또한, 칩 하나에 포함되어있는 저장 요소가 늘어남에 따라 테스트 시간도 증가하게 되었다. 본 논문에서 제안하는 테스트 구조는 내장 테스트를 사용하여 외부 테스트 환경 없이 테스트가 가능하다. 제안하는 내장 테스트 구조는 여러 알고리즘을 적용 가능하므로 높은 효율성을 가진다. 또한 고장 난 메모리를 여분의 메모리로 재배치함으로써 메모리 수율 향상과 사용자에게 메모리를 투명하게 사용할 수 있도록 제공할 수 있다. 본 논문에서는 고장 난 메모리 부분을 여분의 행과 열 메모리로 효율적인 재배치가 가능한 복구 기술을 포함한다. 재배치 정보는 고장 난 메모리를 매번 테스트 해야만 얻을 수 있다. 매번 테스트를 통해 재배치 정보를 얻는 것은 시간적 문제가 발생한다. 이것을 막기 위해 한번 테스트해서 얻은 재배치 정보를 플래시 메모리에 저장해 해결할 수 있다. 본 논문에서는 플래시 메모리를 이용해 재배치 정보의 활용도를 높인다.

• Coupled systems mechanics
• /
• 제7권2호
• /
• pp.197-209
• /
• 2018

Fiber-reinforced concrete (FRC) is a material with increasing application in civil engineering. Here it is assumed that the material consists of a great number of rather small fibers embedded into the concrete matrix. It would be advantageous to predict the mechanical properties of FRC using nondestructive testing; unfortunately, many testing methods for concrete are not applicable to FRC. In addition, design methods for FRC are either inaccurate or complicated. In three-point bending tests of FRC prisms, it has been observed that fiber reinforcement does not break but simply pulls out during specimen failure. Following that observation, this work is based on an assumption that the main components of a simple and rather accurate FRC model are mechanical properties of the concrete matrix and fiber pullout force. Properties of the concrete matrix could be determined from measurements on samples taken during concrete production, and fiber pullout force could be measured on samples with individual fibers embedded into concrete. However, there is no clear relationship between measurements on individual samples of concrete matrix with a single fiber and properties of the produced FRC. This work presents an inverse model for FRC that establishes a relation between parameters measured on individual material samples and properties of a structure made of the composite material. However, a deterministic relationship is clearly not possible since only a single beam specimen of 60 cm could easily contain over 100000 fibers. Our inverse model assumes that the probability density function of individual fiber properties is known, and that the global sample load-displacement curve is obtained from the experiment. Thus, each fiber is stochastically characterized and accordingly parameterized. A relationship between fiber parameters and global load-displacement response, the so-called forward model, is established. From the forward model, based on Levenberg-Marquardt procedure, the inverse model is formulated and successfully applied.

• 비파괴검사학회지
• /
• 제36권3호
• /
• pp.217-224
• /
• 2016

콘크리트는 건축물에 가장 많이 사용되는 재료 중 하나이다. 건축물 시공 시 적절한 하중 재하시점을 결정하기 위해 콘크리트의 경화 상태의 점검은 매우 중요한 사항이다. 또한 부정확한 경화 모니터링은 건축물의 부실공사 혹은 붕괴로 이어질 수 있다. 본 연구에서는 어드미턴스를 기반으로 한 압전체 센서 자가진단기법을 확장 적용한 콘크리트 경화 모니터링 기법을 개발하였다. 이 기법을 통해 콘크리트의 경화를 모니터링 하였으며 실험 결과 분석을 통해 본 기법의 상대강도 추정 가능성을 확인하였다. 또한 경화 시 발현강도에 따른 어드미턴스 신호 예측을 위해 수치적 모델링을 하였으며 실험 결과와 경화 진행 경향성을 비교하였다. 이를 통해 본 연구에서 개발한 기법의 효용성을 실험 및 수치적으로 확인하였다.

• 전기전자학회논문지
• /
• 제22권4호
• /
• pp.1214-1217
• /
• 2018

본 논문에서는 소형 $360^{\circ}$ 구강 스캐너 임베디드 보드의 개발을 제안한다. 제안하는 소형 $360^{\circ}$ 구강 스캐너 임베디드 보드은 이미지 레벨 및 전송방식 변경 부, FPGA 부, 메모리 부, FIFO to USB 전송부 등으로 구성된다. 이미지 레벨 및 전송방식 변경 부는 소형 $360^{\circ}$ 전방위 구강 렌즈와 이미지 센서를 통해 들어온 MIPI 형식의 구강 영상을 Low Power Signal Mode와 High Speed Signal Mode로 나누어 포트에 분산 입력하고 레벨 시프트를 하여 FPGA 부에 전송한다. FPGA 부에서는 $360^{\circ}$ 영상 왜곡 보정, 영상 보정, 영상 처리, 영상 압축 등의 기능 등을 수행한다. FIFO to USB 전송부에서는 FPGA 내부의 FIFO를 통해 전달되어진 RAW 데이터를 트랜시버 칩을 사용하여 USB 3.0, USB 3.1 등의 통신 규격으로 PC에 전송한다. 제안된 소형 $360^{\circ}$ 구강 스캐너 임베디드 보드의 효율을 판단하기 위하여 공인시험기관에서 실험한 결과, 보정 영상 후 초당 프레임은 60fps 이상, 데이터 전송률은 4.99Gb/s로서 높은 수준의 결과가 산출되어 그 효용성이 입증되었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권2호
• /
• pp.108-119
• /
• 2000

병렬 프로그램 테스팅을 위한 기존의 연구는 대부분 프로그램 수행 중에 얻어진 이벤트 트레이스(event trace)를 바탕으로 재수행성을 보장하는데 중점을 두고 있다. 반면에 개발과정에서 만들어진 요구/설계 명세로부터 테스팅을 위한 이벤트 시퀀스를 생성하는 방법에 대한 연구는 빈약한 실정이다. 이 논문에서는 통신 소프트웨어 개발 분야에서 광범위하게 사용되는 메시지 순차도(MSC)로부터 병렬 프로그램의 모듈 테스팅을 위한 이벤트 시퀀스를 생성하는 방법을 제시한다. 명세로부터 이벤트 시퀀스를 생성하기 위해서는 명세 내에 묵시적으로 포함되어 있는 이벤트들과 그들 간의 선후관계를 파악해야 한다. 이를 위해서 이 연구에서는 프로그램 수행 중에 이벤트들의 발생 순서를 결정하기 위해 사용해오던 논리시간 벡터(logical time stamp)를 MSC 명세에 적용함으로써 이벤트 간의 선후관계를 추출한다. 또한 이를 바탕으로 이벤트 시퀀스를 자동 생성하는 방법을 제시하고 전화 통화 예제를 사용해서 제시한 방법의 효용성을 보인다.

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

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