Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2016.10a
  • /
  • Pages.423-425
  • /
  • 2016
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Concolic testing research to satisfy the MC/DC coverage

MC/DC 커버리지를 만족하는 콘콜릭 테스팅 연구

  • 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)
  • 최석원 (고려대학교 정보대학 컴퓨터학과) ;
  • 구근회 (고려대학교 정보대학 컴퓨터전파통신학과) ;
  • 최진영 (고려대학교 정보보호대학원)
  • Published : 2016.10.27
Download PDF
⟨ Previous Next ⟩

Abstract

콘콜릭 테스팅(Concolic testing)은 프로그램 실행을 실제 구체적인 입력 값(Concrete Values)을 입력하며, 동시에 심볼릭 실행 (Syrnbolic execution)을 진행하는 테스팅 기법이다. 콘콜릭 테스팅은 모든 실행 가능 경로를 탐색하여, 테스트 케이스를 자동 생생한다. 그래서 높은 분기 커버리지를 나타내지만, 안전성을 목표로 하는 MC/DC 커버리지는 만족하지 못한다. 본 논문에서는 분기 커버리지와 MC/DC 커버리지를 만족하는 테스트 케이스를 자동생성하는 CREST 도구 개선을 제안한다.

Keywords