지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 홍신
- 발행연도
- 2021
- 저작권
- 한동대학교 논문은 저작권에 의해 보호받습니다.
이용수1
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
본 학위 청구 논문은 Concolic 탐색 전략이 국지적 영역에 고착되는 문제를 해결하기 위한 두 가지 방법을 제안한다. 반복 제한 Concolic탐색 전략은 기반 탐색의 선택 가능한 반복횟수를 제한하여 먼저 다양한 영역을 탐색하도록 한 뒤 점차 제한 횟수를 늘려 탐색 영역을 늘려가는 탐색 방법이다. 다방향 Concolic탐색 전략은 다양한 경로 공간으로 탐색 가능성이 있을 것으로 예상되는 복수의 경로를 번갈아 가며 탐색하여 동시에 여러 방향으로 탐색이 진행되도록 유도한다. 제안하는 기법들을 C 프로그램을 위한 테스팅 툴인 CREST에 적용하고 4가지 프로그램(Vim, Grep, Busybox Awk, Busybox Sed)에 실험한 결과, 제안한 탐색 기법이 기존의 탐색 전략을 그대로 사용할 때보다 더 높은 분기 커버리지를 더 빠르게 달성하는 것을 확인할 수 있었다.
목차
I. 서론 11. 연구 동기 12. 제안 33. 연구 결과 4II. 반복 횟수 제한 Concolic 탐색 전략 61. 개요 62. 반복 횟수를 제한하는 Concolic 탐색 전략 7가. 예제 7나. 반복 횟수 제한 탐색 전략 알고리즘 93. 실험 12가. 실험 설계 12나. 실험 결과 16III. 다방향 Concolic 탐색 전략 191. 개요 192. 다방향 Concolic 탐색 전략 20가. 예제 20나. 다방향 Concolic 탐색 전략 알고리즘 203. 실험을 통한 평가 22가. 실험 설계 22나. 실험 결과 25IV. 관련 연구 281. 탐색 전략 28가. 결정론적 탐색 전략 28나. 무작위적 분기 선택 탐색 전략 29다. 휴리스틱 기반 탐색 전략 302. Concolic 테스팅 조사 연구 31IV. 결론 34참고문헌 35
최근 본 자료
댓글(0)
0