Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구Case Study on Testing with KLEE Concolic Testing Tool
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김영주 | - |
| dc.contributor.author | 김윤호 | - |
| dc.contributor.author | 김문주 | - |
| dc.date.accessioned | 2013-03-29T07:30:45Z | - |
| dc.date.available | 2013-03-29T07:30:45Z | - |
| dc.date.created | 2012-03-22 | - |
| dc.date.issued | 2011-10-26 | - |
| dc.identifier.citation | 한국정보처리학회 추계학술대회, v., no., pp. - | - |
| dc.identifier.uri | http://hdl.handle.net/10203/169051 | - |
| dc.description.abstract | 다양하고 많은 소프트웨어가 개발되고 있는 현 시장에서 소프트웨어의 질을 향상시키기 위해 적은 비용으로 효과적으로 신뢰성을 검증할 수 있는 다양한 테스팅 기법이 활발히 연구되고 있다. Concolic (Concrete+symbolic) 테스팅 또는 동적 심볼릭 수행(dynamic symbolic execution) 기법을 적용한 테스팅 도구가 많이 구현되고 있는데, 본 논문에서는 많은 Concolic 테스팅 도구 중 KLEE에 대한 특징을 살펴보고, 단위 시간당 분기 커버리지(branch coverage)를 살펴보는 사례 연구를 하였다. KLEE에서 제공하는 효과적으로 분기 커버리지를 높이는 역할을 하는 여러 탐색 방법(search strategy)들의 성능을 검증하기 위해 본 논문에서는 GNU Coreutils 버전 8.9를 대상 프로그램으로 하여 각 탐색 방법들의 분기 커버리지를 비교하였다. | - |
| dc.language | KOR | - |
| dc.publisher | 한국정보처리학회 | - |
| dc.title | Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 | - |
| dc.title.alternative | Case Study on Testing with KLEE Concolic Testing Tool | - |
| dc.type | Conference | - |
| dc.type.rims | CONF | - |
| dc.citation.publicationname | 한국정보처리학회 추계학술대회 | - |
| dc.identifier.conferencecountry | South Korea | - |
| dc.identifier.conferencecountry | South Korea | - |
| dc.contributor.localauthor | 김문주 | - |
| dc.contributor.nonIdAuthor | 김영주 | - |
| dc.contributor.nonIdAuthor | 김윤호 | - |
- Appears in Collection
- CS-Conference Papers(학술회의논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.