• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제9권8호
• /
• pp.229-234
• /
• 2020

본 논문은 임베디드 소프트웨어에 대한 Concolic 테스팅을 효과적이고 효율적으로 지원하기 위해 임베디드 타겟(target) 시스템과 호스트(host) 시스템의 분산적이고 동시적으로 테스트 생성을 위한 작업을 수행하는 Concolic 테스팅 도구의 설계와 구현 사례를 소개한다. 소개하는 테스트 케이스 생성 도구는 Concolic 테스팅 과정 중 (1) 임베디드에 종속적인 특성을 갖는 테스트검증 대상 프로그램의 실행 부분은 임베디드 타겟 시스템에서 수행하고, (2) 시스템에 비종속적인 실행 부분인 탐색 전략, 제약식 해법기 실행 과정은 계산성능이 좋은 호스트 시스템에 분산하고, 독립적인 단계를 동시적으로 실행하도록 기존 Concolic 도구를 개선하였다. Arm Cortex A54 아키텍쳐의 임베디드 타겟 시스템과 x86-64 아키텍쳐의 호스트 시스템을 대상으로 본 기법을 구현하여 오픈소스 C 프로그램의 Grep, Busybox Awk, Busybox Ed를 대상으로 실험한 결과, 기존 도구 보다 1.59~2.64배 테스트케이스 생성속도가 향상됨을 확인할 수 있었다.

• 한국정보과학회논문지:정보통신
• /
• 제37권4호
• /
• pp.255-262
• /
• 2010

공표되지 않은 취약성을 이용하는 악성코드에 의한 제로데이 공격에 대응하기 위한 목적으로 최근 시그니처 자동생성 시스템이 개발되었다. 자동 생성된 시그니처의 효용성을 높이기 위해서는 탐지 정확도가 우수한 고품질 시그니처를 식별하여 보안시스템에 적시에 공급할 수 있어야 한다. 이러한 자동화된 시그니처 교환 및 분배, 갱신 작업은 네트워크의 관리 경계를 넘어 보안상 안전한 방법으로 범용성 있게 이루어져야 하며, 보안시스템의 성능저하를 초래하는 시그니처 집합의 노이즈를 제거할 수 있어야 한다. 본 논문은 시그니처 재평가를 통해 고품질 시그니처의 식별과 공유를 지원하는 시스템 구조를 제시하고 시그니처의 교환 및 분배, 갱신을 다루는 알고리즘을 제시한다. 제시한 시스템과 알고리즘을 테스트베드로 구현 실험한 결과, 보안시스템에서 시그니처 집합의 노이즈를 줄이면서 제로데이 공격 대응력을 향상시키는 시그니처의 축적이 자동화됨을 확인하였다. 본 논문에서 제안한 시스템 구조와 알고리즘은 제로데이 공격 대응력을 향상시키는 시그니처 자동 공유 프레임워크로 활용할 수 있으리라 기대한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권10호
• /
• pp.679-690
• /
• 2013

사용자가 원하는 프로그램을 자유롭게 설치/삭제 할 수 있는 특징을 가진 스마트폰의 등장으로 인해, 수많은 개발자들이 스마트폰 애플리케이션 개발 시장에 뛰어들면서 좋은 애플리케이션을 빨리 개발하려는 경쟁이 더욱 치열해지고 있다. 그러나 안드로이드 환경은 애플리케이션 개발 및 배포 절차가 간단하여 누구나 쉽게 개발에 참여할 수 있어서 충분히 검증되지 않은 애플리케이션들이 배포될 가능성이 높다. 따라서 적은 부담으로 안드로이드 기반의 애플리케이션을 검증할 수 있는 체계적인 방법이 필요하다. 이에 본 논문에서는 안드로이드 애플리케이션을 위한 GUI 기반의 테스트 시나리오 자동 생성 방법을 제시한다. 자동화된 테스트 시나리오 생성을 통해 테스트에 소요되는 시간을 줄임으로써 테스트 단계에서의 생산성을 향상시킬 수 있다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권4호
• /
• pp.115-124
• /
• 2021

기능 블록 다이어그램(Function Block Diagram, FBD) 프로그램이 안전 필수 시스템 구현에 널리 사용되면서 FBD 프로그램에 대한 효과적인 테스트가 중요해졌다. 뮤테이션 테스팅은 오류 기반 테스팅 기술로, 오류 탐지에 매우 효과적이지만 비용이 많이 든다. 본 연구에서는 FBD 프로그램 테스터를 지원하기 위한, FBD 프로그램 대상 자동 뮤턴트 생성기를 제안한다. MuGenFBD 도구는 뮤턴트 생성 비용과 동등 뮤턴트 문제를 고려하여 설계되었다. MuGenFBD 도구의 성능을 평가하기 위해 실제 산업 사례에 대한 실험을 수행한 결과, MuGenFBD를 활용하여 뮤턴트 생성 시 동등 뮤턴트를 생성할 비율이 낮으며 적은 비용으로 FBD 프로그램 대상 뮤턴트를 효과적으로 자동 생성할 수 있음을 확인하였다. 제안하는 도구는 FBD 프로그램에 대한 뮤테이션 분석 및 뮤테이션 충분성 기준을 만족시키는 테스트 생성을 효과적으로 지원할 수 있다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1821-1841
• /
• 1997

본 논문은 형식 기술 기법 중의 하나인 LOTOS 명세로부터 적합성 시험 시퀀스를 자동 생성하는 방법을 기술한다. 전체적인 시스템 구현을 위해 현재까지 연구된 여러가지 알고리즘들을 응용하여 적용하였고, 또 Rural Chinese Postman tour 개념을 개선한 후 적용하였다. 통신 프로토콜에 대한 LOTOS 명세로부터 CAESAR 도구의 Petri-net을 통한 시뮬레이션 기능을 이용하여 해당상태 천이 그래프를 생성하고, 얻어진 상태 천이 그래프에 대해 적합성 시험 시퀀스를 생성하기 위해 주어진 그래프의 각 상태에 대한 유일한 시퀀스인 UE sequence(Unique Event sequence)를 정의하였다. 또한 이러한 UE 시퀀스가 존재하지 않는 상태에 대해서는 부분 UE sequence(Partial UE sequence) 및 signature를 정의하였고, 또 이러한 특성 시퀀스에 대한 경험적 연구 결과를 정리하였다. 한편, 최적의 시험 시퀀스 생성을 위해 얻어진 특성 시퀀스들을 Rural Chinese Postman tour 개념에 적용하는 방법론에 대해서도 제시하였다. 또 생성된 적합성 시험 시퀀스의 오류 판단 영역 예측 방법 및 과정과 결과에 대해서도 기술하였고, 얻어진 시험 시퀀스를 표준 시험 표준기법인 TTCN으로의 변화 방법론도 제시하였다. 마지막으로 제안된 생성방법론에 대한 프로토타입은 실제 통신 프로토콜에 적용하기 위해 실질적인 많은 부분을 고려하면서 실행시험 스우트 생성을 위해 구현되었고, 이 프로토타입은 지능망이나 PCS 또는 ATM 프로토콜을 위한 적합성 시험 목적으로 사용될 수 있다.

• 대한원격탐사학회지
• /
• 제28권3호
• /
• pp.319-327
• /
• 2012

In this paper, we introduce a newly developed photogrammetric software for automatic generation of high quality geo-products and its performance assessment carried out using various satellite images. Our newly developed software provides the latest techniques of an optimized sensor modelling, ortho-image generation and automated Digital Elevation Model (DEM) generation for diverse remote sensing images. In particular, images from dual- and multi-sensor images can be integrated for 3D mapping. This can be a novel innovation toward a wider applicability of remote sensing data, since 3D mapping has been limited within only single-sensor so far. We used Kompsat-2, Ikonos, QuickBird, Spot-5 high resolution satellite images to test an accuracy of 3D points and ortho-image generated by the software. Outputs were assessed by comparing reliable reference data. From various sensor combinations 3D mapping were implemented and their accuracy was evaluated using independent check points. Model accuracy of 1~2 pixels or better was achieved regardless of sensor combination type. The high resolution ortho-image results are consistent with the reference map on a scale of 1:5,000 after being rectified by the software and an accuracy of 1~2 pixels could be achieved through quantitative assessment. The developed software offers efficient critical geo-processing modules of various remote sensing images and it is expected that the software can be widely used to meet the demand on the high-quality geo products.

• 과학교육연구지
• /
• 제47권2호
• /
• pp.211-224
• /
• 2023

본 연구의 목적은 예시 자료를 활용하여 자동문항생성을 기반으로 생성된 평가도구의 신뢰도를 산출하는 방안을 제시하는 데 있다. 이를 위해 학생들마다 다른 문항에 응답하는 설계와 평가 점수에 다중 오차요인을 반영할 수 있는 다변량일반화가능도이론을 예시 자료에 적용하여 분석하였다. G-연구분석 결과, 대부분의 설계에서 잔차 효과 다음으로 고전검사이론의 진점수에 해당하는 학생 효과가 크게 나타났다. 또한 문항 내용 영역을 고정한 설계에서 학생들의 상대적 순위는 문항 유형이나 문항에 따라 변하지 않았으며, 문항 유형을 고정한 설계에서 내용 영역에 따라 난이도는 거의 변화가 없는 것으로 나타났다. D-연구 분석 결과, 원자료는 적정수준 이상의 신뢰도를 확보하였으며, 수와 연산, 기하, 확률 및 통계 영역의 문항 수를 줄이거나 문자와 식과 함수 영역의 가중치를 높게 반영함으로써 원자료보다 높은 신뢰도를 산출할 수 있는 것으로 나타났다. 본 연구에서 제시한 효율적인 측정 조건은 예시 평가 자료에 제한되지만 본 연구에서 활용한 방법은 자동문항생성 기반의 다양한 평가 상황에서 측정학적 특성을 바탕으로 신뢰도를 산출하고, 효율적인 측정 조건을 탐색하는 데 적용 가능하다.

• 한국산학기술학회논문지
• /
• 제19권1호
• /
• pp.75-84
• /
• 2018

본 철도 유지보수 산업의 효율화를 위해서는 핵심부품의 적시 관리를 통한 부품 가동률 향상 및 철도 운행의 안정성 향상이 필요하다. 또한 유지보수 시스템 고속화에 따른 신뢰성 향상과 핵심부품의 유지보수 비용 절감의 두 가지 측면을 모두 만족시키기 위해, 부품 이력관리와 대규모 빅데이터의 자동화된 분석 기술을 활용한 부품 상태 진단 기술 수요가 증가하고 있다. 이 논문에서는 철도차량의 차상 및 지상 장치로부터 발생되는 실시간 빅데이터 수집, 처리, 분석을 위해서 빅데이터 플랫폼 기반의 철도차량 부품의 상태 데이터 관리시스템을 개발하였으며, 이 시스템의 활용으로 철도차량의 부품 상태정보 및 시스템 리소스에 대한 실시간 모니터링이 가능하다. 또한 빅데이터 플랫폼으로부터 수집된 상태 데이터를 기반으로 분산/병렬처리 및 자동화된 부품 고장진단이 가능한 머신러닝 기법을 제안하였다. 실험결과, 분산/병렬처리 기술이 적용된 알고리즘의 실행시간 단축을 아마존 웹서비스의 가상 인스턴스 생성 시스템을 통해 증명하였으며, random forest 머신러닝 기법을 활용한 고장 진단 모델의 베어링 및 차륜 부품에 대한 상태 예측 정확도가 83%임을 확인하였다.

• 한국산학기술학회논문지
• /
• 제19권3호
• /
• pp.147-154
• /
• 2018

본 논문은 흔히 핫스탬핑 공법으로 알려진 냉각수로가 있는 핫폼 금형의 설계 데이터를 신속히 생성하는 지원 시스템 개발에 초점을 둔다. 현장에서의 핫폼 금형의 설계조건과 설계 프로세스 분석을 통해 설계지원 시스템의 핵심기능들을 도출하고, 이를 기반한 새로운 핫폼 금형의 설계 프로세스를 제안 한다. 개발한 설계 지원 시스템은 핫폼 금형의 3차원 형상 모델과 2차원 도면을 생성하는 두 개의 모듈로 구성된다. 핫폼 금형의 3D 모델링 자동화 모듈은 CATAI V5 Knowledgeware를 기반한 CATAI 템플릿 모델 형태로 구현하였다. 이 모듈은 성형 곡면형상, STEEL(금형 Product를 구성하는 파트) 개수와 냉각수로의 개수에 대응하여 냉각수로를 포함한 핫폼금형의 3D 모델을 자동으로 생성한다. 또한 냉각수로의 위치와 자세를 편집하는 기능과 성형곡면과 냉각수로 사이의 거리에 대한 구속조건 만족여부를 판별하는 기능을 제공한다. 두 번째 모듈인 2D 가공도면을 자동 생성하는 모듈은 CAA(CATIA SDK)와 Visual C++를 활용하여 CATIA CAD시스템에 이식 가능한 플러그인 형태로 개발 하였다. 제안하는 방법의 성능을 평가하기 위해 사용자 정의 시나리오 기반 소프트웨어 테스트를 수행하였다. 실험결과 제안하는 방법은 수작업 기반의 전통적인 방법에 비해 설계 오류 없이 약 29배 빠르게 핫폼 금형 3D모델과 홀테이블을 포함하는 가공도면을 생성하였다.

• 약학회지
• /
• 제52권2호
• /
• pp.137-146
• /
• 2008

Even though driving under the influence of drug (DUID) is a worldwide problem, we, Korea has no regulation system yet except for alcohol, and there are little cases reported related to DUID. In order to investigate the type of abused drugs for drivers in Korea, we tried to analyze controlled and non-controlled drugs in alcohol-positive blood samples. 275 whole bloods, which were positive for alcohol on the roadside test, were collected from the police for two months ($Nov.{\sim}Dec.$ 2006). The analytical strategy was constituted of three steps: First, alcohol in blood samples were confirmed and quantified by gas chromatography. Second, controlled drugs were screened by $Evidence_{investigator}\;^{TM}$ (Randox, U.K.) as preliminary test. It was based on immunoassay by biochip array analyzer. Nine groups of drug abuse were screened: amphetamines, methamphetamines, cannabis, cocaine, opiates, barbiturates, methadone, benzodiazepines I (oxazepam) & II (lorazepam). Finally, confirmation of these drugs was performed by GC-MS. Blood samples were extracted by solid-phase extraction by $RapidTrace^{TM}$ (Zymark, U.S.A.). After trimethylsilyl (TMS) derivatization, eluates were analyzed to GC-MS. Total 49 drugs were investigated in this study including controlled drugs, antidepressants, 1st generation antihistamines, dextromethorphan, nalbuphine, ketamine, etc. For rapid detection, we developed the automated identification system. It was made up a new software, "DrugMan", modified Chemstation data analysis menu and newly developed macro modules. A series of peak selection, identification and reporting of the results were performed automatically by this system. Concentrations of alcohol in 275 blood samples were ranged from 0.011 to 0.249% (average, 0.119%). Among 149 blood samples, just six samples (4.0%) were showed positive results to the immunoassay: one methamphetamine and five benzodiazepines group I. By GC-MS confirmation, only benzodiazepines were detected and methamphetamine was not detected from immunoassay positive blood sample. Besides these drugs, 5 chlorpheniramines, dextromethorphan, diazepam, doxylamine, ibuprofen, lidocaine and topiramate were also detected in whole bloods by GC-MS. Conclusively, the frequency of drug abuse for Korean drivers was relatively low. There was none case which illegal drug was detected. However these results were limited to alcohol positive blood samples, so it is necessary to analyze more samples including alcohol negative blood.