계층화된 문맥 자유 문법을 사용한 입력 데이터 기술

김태환; 이담호; 서현지; 표창우; Taehwan Kim; Damho Lee; Hyunji Seo; Changwoo Pyo

연구문헌

국내 논문지

홈 > 연구문헌 > 국내 논문지 > 한국정보과학회 논문지 > 정보과학회논문지 (Journal of KIISE)

정보과학회논문지 (Journal of KIISE)

Current Result Document : 2 / 11 이전건 다음건

한글제목(Korean Title)	계층화된 문맥 자유 문법을 사용한 입력 데이터 기술
영문제목(English Title)	Input Data Description using Stratified Context-Free Grammar
저자(Author)	김태환 이담호 서현지 표창우 Taehwan Kim Damho Lee Hyunji Seo Changwoo Pyo
원문수록처(Citation)	VOL 46 NO. 04 PP. 0321 ~ 0327 (2019. 04)
한글내용 (Korean Abstract)	본 논문에서는 복수의 입력 장치로부터 들어오는 입력의 형태적 특성을 문맥 자유 문법 기반으로 표현하는 데이터 기술 언어(DDL)를 정의하고 있다. 각 입력 파일 또는 장치는 자체의 입력 데이터기술을 가지며, 상위 계층 입력 기술과 연결되어 계층 구조를 형성한다. 또한 본 논문에서는 DDL을 사용하여 입력 데이터를 생성하는 방법을 개발하였다. DDL의 유용성을 확인하기 위하여 기본 블록 실행 범위와 입력 생성 시간에 대하여 2 개의 다른 입력 생성 체계와 비교 평가하였다. Coreutils의 37 개 프로그램에 대하여 DDL 방식은 KLEE보다 O(10³)배 더 빠르게 입력을 생성하였으며, 기본 블록 실행 범위는 25.44%가 더 넓었다. DDL 방식은 단일 계층 CFG 방식보다 평균 1.52 배의 생성 시간이 더 필요하지만 기본 블록 실행 범위를 6.59%만큼 더 감당하였다. 현재 DDL은 동적 제어흐름 분석을 위한 정상적인 입력 생성에 사용하고 있다.
영문내용 (English Abstract)	This paper defines Data Description Language (DDL) based on a context-free grammar that describes syntactic characteristics of input from multiple input files or devices. Each input file or device has its input description, which is connected to its upper-level input description to form a hierarchy. We also developed a method generating input data using DDL. To demonstrate DDL’s utility, we have compared our method with two others using the metrics of basic block coverage and input generation times. For 37 programs of Coreutils, our method generated valid input faster by O(10³) times, and the coverage was higher by 25.44% than KLEE. Compared to the method of single context-free grammars, ours took 1.52 times, but basic block coverage was larger by 6.59%. Currently, we use DDL for generating regular input for dynamic control-flow analysis.
키워드(Keyword)	입력 데이터 생성 동적 분석 데이터 기술 언어 DDL input generation dynamic analysis data description language
파일첨부	PDF 다운로드