계층화된 문맥 자유 문법을 사용한 입력 데이터 기술
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 김태환 | - |
dc.contributor.author | 이담호 | - |
dc.contributor.author | 서현지 | - |
dc.contributor.author | 표창우 | - |
dc.date.available | 2020-07-10T04:12:12Z | - |
dc.date.created | 2020-07-06 | - |
dc.date.issued | 2019 | - |
dc.identifier.issn | 2383-630X | - |
dc.identifier.uri | https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/2577 | - |
dc.description.abstract | 본 논문에서는 복수의 입력 장치로부터 들어오는 입력의 형태적 특성을 문맥 자유 문법 기반으로 표현하는 데이터 기술 언어(DDL)를 정의하고 있다. 각 입력 파일 또는 장치는 자체의 입력 데이터기술을 가지며, 상위 계층 입력 기술과 연결되어 계층 구조를 형성한다. 또한 본 논문에서는 DDL을 사용하여 입력 데이터를 생성하는 방법을 개발하였다. DDL의 유용성을 확인하기 위하여 기본 블록 실행 범위와 입력 생성 시간에 대하여 2 개의 다른 입력 생성 체계와 비교 평가하였다. Coreutils의 37 개 프로그램에 대하여 DDL 방식은 KLEE보다 O(10=³) 배 더 빠르게 입력을 생성하였으며, 기본 블록 실행 범위는25.44%가 더 넓었다. DDL 방식은 단일 계층 CFG 방식보다 평균 1.52 배의 생성 시간이 더 필요하지만기본 블록 실행 범위를 6.59%만큼 더 감당하였다. 현재 DDL은 동적 제어흐름 분석을 위한 정상적인 입력 생성에 사용하고 있다. | - |
dc.language | 한국어 | - |
dc.language.iso | ko | - |
dc.publisher | 한국정보과학회 | - |
dc.title | 계층화된 문맥 자유 문법을 사용한 입력 데이터 기술 | - |
dc.title.alternative | Input Data Description using Stratified Context-Free Grammar | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 표창우 | - |
dc.identifier.doi | 10.5626/JOK.2019.46.4.321 | - |
dc.identifier.bibliographicCitation | 정보과학회논문지, v.46, no.4, pp.321 - 327 | - |
dc.relation.isPartOf | 정보과학회논문지 | - |
dc.citation.title | 정보과학회논문지 | - |
dc.citation.volume | 46 | - |
dc.citation.number | 4 | - |
dc.citation.startPage | 321 | - |
dc.citation.endPage | 327 | - |
dc.type.rims | ART | - |
dc.identifier.kciid | ART002457279 | - |
dc.description.journalClass | 2 | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | 입력 데이터 생성 | - |
dc.subject.keywordAuthor | 동적 분석 | - |
dc.subject.keywordAuthor | 데이터 기술 언어 | - |
dc.subject.keywordAuthor | DDL | - |
dc.subject.keywordAuthor | input generation | - |
dc.subject.keywordAuthor | dynamic analysis | - |
dc.subject.keywordAuthor | data description language | - |
dc.subject.keywordAuthor | DDL | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
94, Wausan-ro, Mapo-gu, Seoul, 04066, Korea02-320-1314
COPYRIGHT 2020 HONGIK UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.