Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 Comparison of Search Strategies of KLEE Concolic Testing Tool

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 1094
  • Download : 0
테스트 케이스 자동생성기법인 Concolic (concrete+ symbolic) 테스팅 기법을 사용하는 테스팅 도구인 KLEE의 심볼릭 state를 스케줄링하는 탐색 방법(search strategy)들의 분기 커버리지 성능을 비교 분석했다. 또한 분기 커버리지를 보다 빠르게 높일 수 있는 breadth first search (BFS)를 새롭게 구현해 기존 방법들과 비교했다. 본 실험에서는 GNU Coreutils 버전 8.9를 대상으로, 주어진 시간에 각 탐색 방법들이 달성하는 분기 커버리지(branch coverage)를 비교하고 결과를 분석했다.
Publisher
한국정보과학회
Issue Date
2012-04
Language
Korean
Citation

정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325

ISSN
1229-7712
URI
http://hdl.handle.net/10203/104448
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0