지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.46 No.4
- 발행연도
- 2019.4
- 수록면
- 321 - 327 (7page)
- DOI
- 10.5626/JOK.2019.46.4.321
이용수
초록· 키워드
오류제보하기
본 논문에서는 복수의 입력 장치로부터 들어오는 입력의 형태적 특성을 문맥 자유 문법 기반으로 표현하는 데이터 기술 언어(DDL)를 정의하고 있다. 각 입력 파일 또는 장치는 자체의 입력 데이터 기술을 가지며, 상위 계층 입력 기술과 연결되어 계층 구조를 형성한다. 또한 본 논문에서는 DDL을 사용하여 입력 데이터를 생성하는 방법을 개발하였다. DDL의 유용성을 확인하기 위하여 기본 블록 실행 범위와 입력 생성 시간에 대하여 2 개의 다른 입력 생성 체계와 비교 평가하였다. Coreutils의 37 개 프로그램에 대하여 DDL 방식은 KLEE보다 O(10<SUP>3</SUP>) 배 더 빠르게 입력을 생성하였으며, 기본 블록 실행 범위는 25.44%가 더 넓었다. DDL 방식은 단일 계층 CFG 방식보다 평균 1.52 배의 생성 시간이 더 필요하지만 기본 블록 실행 범위를 6.59%만큼 더 감당하였다. 현재 DDL은 동적 제어흐름 분석을 위한 정상적인 입력 생성에 사용하고 있다.
목차
요약
Abstract
1. 서론
2. DDL의 정의
3. 입력 데이터의 생성 과정
4. 평가
5. 관련 연구
6. 결론
References
참고문헌 (16)
참고문헌 신청
Z. Xu, L. Zheng, and H. Chen, "A Toolkit for Generating Sentences from Context-Free Grammars," Proc. of the IEEE International Conference on SEFM, pp. 118-122, 2010.
A. Sharma. (2018. May. 20). Gramtest, [Online]. Available: https://github.com/codelion/gramtest (downloaded 2018. Jun. 13)
P. Godefroid, A. Kiezun, and M. Y. Levin, “Grammarbased Whitebox Fuzzing,” Proc. of the ACM Conference on PLDI, Vol. 43, No. 6, pp. 206-215, 2008.
GNU. (2017. Nov. 14). Coreutils, [Online]. Available: https://www.gnu.org/software/coreutils/coreutils.html (downloaded 2018. May. 28)
C. Cadar, and K. Sen, "Symbolic Execution for Software Testing: Three Decades Later," Communications of the ACM, Vol. 56, No. 2, pp. 82-90, Feb. 2008.
A. Sharma. (2018. May. 20). Gramtest, [Online]. Available: https://github.com/codelion/gramtest (downloaded 2018. Jun. 13)
P. Godefroid, A. Kiezun, and M. Y. Levin, “Grammarbased Whitebox Fuzzing,” Proc. of the ACM Conference on PLDI, Vol. 43, No. 6, pp. 206-215, 2008.
GNU. (2017. Nov. 14). Coreutils, [Online]. Available: https://www.gnu.org/software/coreutils/coreutils.html (downloaded 2018. May. 28)
C. Cadar, and K. Sen, "Symbolic Execution for Software Testing: Three Decades Later," Communications of the ACM, Vol. 56, No. 2, pp. 82-90, Feb. 2008.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
계층화된 문맥 자유 문법을 사용한 입력 데이터 기술
한국정보과학회 학술발표논문집
2018 .06
-
입력장치 데이터 보안 모듈의 설계
한국통신학회 학술대회논문집
2020 .02
-
입력 지진동 생성기술 개발
한국지반환경공학회 학술발표회논문집
2021 .10
-
장애인을 위해 수정된 입력장치가 입력의 정확도에 미치는 영향
한국정밀공학회 학술발표대회 논문집
2015 .05
-
한 손 입력 시스템 설계 및 구현
한국통신학회 학술대회논문집
2015 .11
-
Distributionally robust stratified sampling method for multiple input models with input uncertainty
대한산업공학회 춘계공동학술대회 논문집
2022 .06
-
미지의 양자화된 입력을 갖는 비선형 시스템에 대한 적응 동적 표면 제어
제어로봇시스템학회 국내학술대회 논문집
2015 .05
-
Pre-processing Method of Raw Data Based on Ontology for Machine Learning
한국정보통신학회논문지
2020 .05
-
무선수신기 온도보정에 관한 설계 기법
전자공학회논문지
2017 .12
-
입력 데이터에 따른 오토인코더의 성능 비교 분석
대한전자공학회 학술대회
2019 .11
-
빅데이터 분석 도구 R 언어를 이용한 논문 데이터 시각화
한국정보통신학회 종합학술대회 논문집
2021 .05
-
삼차원측정기의 동적모델링 및 입력성형
제어로봇시스템학회 국내학술대회 논문집
2017 .05
-
빅데이터 분석 도구 R 언어를 이용한 비정형 데이터 시각화
한국정보통신학회 종합학술대회 논문집
2021 .05
-
연돌효과 해석 시 입력데이터의 중요성 검토 : 실측과 시뮬레이션의 비교 검증
대한설비공학회 학술발표대회논문집
2018 .06
-
입력 데이터 형태에 따른 CNN 기반 변조 분류 성능 비교
한국통신학회 학술대회논문집
2022 .06
-
빅데이터, 오픈데이터, 마이데이터의 비교 연구
한국빅데이터학회지
2018 .01
-
임펄스벡터는 왜 입력성형제어에 유용한가?
제어로봇시스템학회 국내학술대회 논문집
2020 .07
-
안전한 계산을 위한 입력인증 프로토콜
한국컴퓨터정보학회논문지
2024 .08
-
시스템 특성변화를 고려한 적응형 입력성형 프로그램 개발 및 적용
한국생산제조학회 학술발표대회 논문집
2015 .10
-
빅데이터 처리 및 활용 기술연구 동향 분석
한국지능정보시스템학회 학술대회논문집
2016 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2019-569-000572039