한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2016년도 추계학술발표대회
- /
- Pages.423-425
- /
- 2016
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
MC/DC 커버리지를 만족하는 콘콜릭 테스팅 연구
Concolic testing research to satisfy the MC/DC coverage
- Choi, Sook-won (Dept of Computer Science and Engineering, Korea University) ;
- Koo, Keun-hoi (Dept of Computer and Communication, Korea University) ;
-
Choi, Jin-Young
(Graduate school of Information Security, Korea University)
- 발행 : 2016.10.27
초록
콘콜릭 테스팅(Concolic testing)은 프로그램 실행을 실제 구체적인 입력 값(Concrete Values)을 입력하며, 동시에 심볼릭 실행 (Syrnbolic execution)을 진행하는 테스팅 기법이다. 콘콜릭 테스팅은 모든 실행 가능 경로를 탐색하여, 테스트 케이스를 자동 생생한다. 그래서 높은 분기 커버리지를 나타내지만, 안전성을 목표로 하는 MC/DC 커버리지는 만족하지 못한다. 본 논문에서는 분기 커버리지와 MC/DC 커버리지를 만족하는 테스트 케이스를 자동생성하는 CREST 도구 개선을 제안한다.
키워드