• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.101-107
• /
• 2022

모델링 및 시뮬레이션은 목표 시스템의 동작 검증, 성능 분석, 운용 최적화, 예측을 위해 사용되는 기술이다. 이 기술의 대표적인 이산사건 시스템 명세(DEVS)는 모델들을 엄격한 형식론으로 정의하고 모델 간의 구조를 계층화한다. 이 DEVS 모델들의 원자 모델은 목표와 다른 의도로 동작하게 될 경우 시뮬레이션은 잘못된 의사결정으로 이어질 수 있다. 그럼에도 대부분 DEVS 시스템은 모델 테스트의 부재 또는 수동 테스트 환경으로 제공하여 개발자가 모델을 검증하는 데 오랜 시간이 소비된다. 본 논문에서는 파이썬 기반 DEVS에서 정확하고 빠른 원자 모델의 검증을 위해 스크립트 기반 테스트 시스템을 제안한다. 제안 테스트 시스템은 기존 방식인 수동 테스트와 새로운 방식인 스크립트 기반 테스트를 둘 다 사용한다. 우리 시스템의 실험 결과, 제안 테스트 방식은 스크립트를 10번 연속 실행 시 24ms 이내에 실행되었다. 그리하여 제안 시스템은 스크립트 기반 테스트를 사용해서 빠른 원자 모델 검증 시간을 보장하고, 테스트 스크립트의 재사용성을 향상한다.

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

스마트 TV 제조사들은 스마트 TV 테스트 비용을 줄이기 위하여 테스트 스크립트 자동 실행 환경을 구축하고 있다. 그러나 기존의 테스트 방법은 테스트 스크립트가 테스터에 의해 수동으로 작성되기 때문에, 테스트 스크립트의 재사용성은 높지 않다. 이는 새로운 TV 모델을 위한 테스트 스크립트가 새롭게 작성되어야 함을 의미한다. 본 논문에서는 재사용성이 높은 스마트 TV 테스트 모델 작성법을 제안하고 이를 이용한 스마트 TV 테스트 스크립트 생성 방법을 소개한다. 그리고 NetCast TV에 모델 기반 테스트 스크립트 생성 방법을 적용하여 유효성을 확인하였다.

• 한국컴퓨터정보학회논문지
• /
• 제14권1호
• /
• pp.17-24
• /
• 2009

내장형 시스템의 요구사항이 증가함에 따라 내장형 시스템 소프트웨어의 복잡도가 증가하고 있다. 그러므로 내장형 시스템 소프트웨어 테스팅의 필요성이 높아지고 있다. 본 논문은 내장형 시스템 소프트웨어의 테스트를 효과적으로 실행하기 위해 교차 개발 환경에 적합한 테스팅 도구를 제안한다. 본 도구는 호스트/타겟 구조로 이루어져있으며 호스트에서 작성한 테스트 케이스를 타겟에서 실행할 수 있는 직관적인 환경을 제공한다. 그리고 제안하는 도구의 테스트 케이스는 XML 기반의 테스트 스크립트를 이용한다. 또한, 직관적인 테스트 케이스를 작성하기 위해 트리와 테이블 기반의 테스트 스크립트 편집기를 갖는다. 제안하는 테스트 도구는 테스트 케이스 작성에서부터 결과확인까지 직관적인 GUI를 제공하여 테스트 케이스 작성에 대한 부담을 경감시키는 장점을 가진다.

• 정보보호학회논문지
• /
• 제30권4호
• /
• pp.573-582
• /
• 2020

퍼징은 입력값을 무작위로 생성해 소프트웨어를 테스팅하는 방법으로, 처음 고안된 이래로 다양한 방식의 퍼징이 연구되고 있다. 그중 변이기법을 적용한 퍼징은 확률에 따른 비트 반전이나 특별 값 치환과 같이 비교적 간단한 접근법을 사용함에도, 많은 버그를 발견해온 만큼 효율적인 방법이라고 할 수 있다. 하지만 인터프리터는 문법, 시맨틱이 올바른 입력값을 요구하기 때문에 일반적인 변이기법을 적용하기에는 어려움이 있다. 이에 본 연구에서는 동적 데이터 흐름 분석을 통해 변이기법을 인터프리터 퍼징에 적용할 수 있는 방법에 대해 제시하고자 한다. 본 연구에서 제시하는 JMFuzzer는 문법, 시맨틱의 올바름을 고려해 자바스크립트 인터프리터에서 오류 없이 정상적으로 동작하는 다양한 유형의 테스트케이스를 생성할 수 있다. 최종적으로 본 연구에서는 최신 버전의 자바스크립트 인터프리터에서 알려지지 않은 취약점들을 찾았으며, 이를 각 회사에 제보했다.

• Journal of Information Processing Systems
• /
• 제13권4호
• /
• pp.893-913
• /
• 2017

The handwriting based person identification systems use their designer's perceived structural properties of handwriting as features. In this paper, we present a system that uses those structural properties as features that graphologists and expert handwriting analyzers use for determining the writer's personality traits and for making other assessments. The advantage of these features is that their definition is based on sound historical knowledge (i.e., the knowledge discovered by graphologists, psychiatrists, forensic experts, and experts of other domains in analyzing the relationships between handwritten stroke characteristics and the phenomena that imbeds individuality in stroke). Hence, each stroke characteristic reflects a personality trait. We have measured the effectiveness of these features on a subset of handwritten Devnagari and Latin script datasets from the Center for Pattern Analysis and Recognition (CPAR-2012), which were written by 100 people where each person wrote three samples of the Devnagari and Latin text that we have designed for our experiments. The experiment yielded 100% correct identification on the training set. However, we observed an 88% and 89% correct identification rate when we experimented with 200 training samples and 100 test samples on handwritten Devnagari and Latin text. By introducing the majority voting based rejection criteria, the identification accuracy increased to 97% on both script sets.

• 한국항공우주학회지
• /
• 제41권9호
• /
• pp.747-754
• /
• 2013

본 논문에서는 항공탑재 SAR 시스템 및 통제장치 시험을 위한 통합시험장비(SCTE: System and Control unit Test Equipment)에 대하여 기술한다. SCTE는 구성 기능의 모듈화를 통하여 시험장비의 재활용성을 높였으며, script 기반 수행, 보고서 작성 기능 등 시험의 자동화 및 편의성을 높이도록 설계되었다. 또한 SCTE는 항법데이터 모의 기능을 통하여 다양한 비행 환경에 대하여 시험을 수행할 수 있도록 개발되었다. 본 논문은 SCTE의 개발 요구사항, H/W 및 S/W 설계 결과, 개발 결과 및 통제장치와 시스템과의 연동 시험결과를 기술한다.

• 정보보호학회논문지
• /
• 제31권2호
• /
• pp.263-277
• /
• 2021

자바스크립트로 작성된 웹 어플리케이션에서 Cross-Site Scripting (XSS), SQL Injection과 같은 검증되지 않은 사용자 입력 데이터로 인해 발생하는 취약점을 탐지하기 위해 오염 분석 기법이 널리 사용되고 있다. 이러한 취약점을 탐지하기 위해서는 사용자 입력 데이터에 영향을 받는 변수들을 추적하는 것이 중요하지만, 자바스크립트의 동적인 특성으로 인해 웹 어플리케이션을 실행해 보지 않고 그러한 변수들을 식별하는 것은 매우 어렵다. 때문에, 기존의 오염 분석 도구들은 대상 어플리케이션을 실행하는 오버헤드가 존재하는 동적 오염 분석을 사용하도록 개발되었다. 본 논문에서는 타입스크립트(자바스크립트의 상위집합) 컴파일러를 활용해 얻은 심볼 정보를 기반으로 데이터의 흐름을 정확히 추적하고, 타입스크립트 코드에서 보안 취약점을 발견하는 새로운 정적 오염 분석 기법을 제안하였다. 제안한 기법은 개발자가 검증되지 않은 사용자 입력 데이터를 포함할 수 있는 변수에 표시를 할 수 있도록 하며, 이를 활용해 사용자 입력 값에 영향을 받는 변수와 데이터를 추적한다. 제안한 기법은 TypeScript 컴파일러에 원활히 통합될 수 있기 때문에, 별도의 도구로 작동하는 기존 분석 도구와 달리 개발자가 개발 과정에서 취약점을 발견할 수 있게 한다. 제안한 기법의 유효성을 확인하기 위해 프로토타입을 구현하였으며, 취약점이 보고된 8개의 웹 어플리케이션을 선정하여 분석을 수행하여 성능을 평가한 결과 기존의 취약점을 모두 탐지할 수 있음을 확인하였다.

• 한국분말재료학회지
• /
• 제24권4호
• /
• pp.285-291
• /
• 2017

We propose a custom analysis technique for the dark field (DF) image based on transmission electron microscopy (TEM). The custom analysis technique is developed based on the $DigitalMicrograph^{(R)}$ (DM) script language embedded in the Gatan digital microscopy software, which is used as the operational software for most TEM instruments. The developed software automatically scans an electron beam across a TEM sample and records a series of electron diffraction patterns. The recorded electron diffraction patterns provide DF and ADF images based on digital image processing. An experimental electron diffraction pattern is recorded from a IrMn polycrystal consisting of fine nanograins in order to test the proposed software. We demonstrate that the developed image processing technique well resolves nanograins of ~ 5 nm in diameter.

• 한국멀티미디어학회논문지
• /
• 제25권8호
• /
• pp.1097-1108
• /
• 2022

This paper aimed to design and implement an EMS for real-time power generation control based on wake effect optimization of wind farm, and then to test it in commercial operating wind farm. For real-time control, we proposed the wake band-based optimization and setting the wake effect distance limit, and when the wake effect distance limit was set to 7D in the actual wind farm layout, the calculation time was improved by about 93.94%. In addition, we designed and implemented the script-based EMS for flexible operation logic management in preparation for unexpected issues during testing, and it was installed and tested on a wind farm in commercial operation. However, three issues arose during the testing process. These are the communication interface problem of meteorological tower, the problem of an abnormal wake effect, and the problem of wind turbine yaw control. These issues were solved by modifying the operation logic using EMS's script editor, and the test was successfully completed in the wind farm in commercial operation.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권4호
• /
• pp.378-387
• /
• 2006

본 논문에서는 센서네트워크를 위한 운영체제인 Nano-Qplus 기반의 응용프로그램을 자동으로 생성하기 위한 프로그래밍 모델을 제시한다. 즉, 센서네트워크를 구성하는 센서, 라우터, 싱크, 엑츄에이터와 같은 노드들이 수행해야 하는 기능에 대한 프로그램을 자동으로 생성하기 위한 프로그래밍 모델을 제시한다. 제안한 프로그래밍 모델에 따라 센서네트워크에 대한 모델을 작성하고, 이를 바탕으로 센서네트워크의 각 노드에 대한 속성 값을 스크립트를 통하여 설정하면 각 노드를 동작시킬 수 있는 프로그램이 자동으로 생성된다. 본 논문에서는 프로그래밍 모델에서 사용하는 각 노드의 속성을 설정할 수 있는 스크립트와 프로그램을 자동으로 생성하는 알고리즘을 프로그래밍 모델과 함께 설명한다. 본 논문에서 제시한 기법을 이용하면 센서네트워크를 구성하는 각 노드에 대한 속성설정만으로 실행코드를 자동으로 생성함으로써 개발자들은 코드에 대한 상세한 내용을 알지 못하더라도 쉽게 응용프로그램을 구현할 수 있다. 또한 실행코드를 자동으로 생성함으로써 센서네트워크 응용프로그램을 개발하는데 소요되는 노력을 줄일 수 있으며, 신속한 코드생성을 통해 조기에 테스트를 수행하여 오류를 찾아내고 수정함으로써 검증된 코드를 생성할 수 있다.