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

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

DOI QR Code

Design of interactive slicing method based on Concolic Testing

Concolic Testing 기반 프로그램 상호작용 슬라이싱 기법 설계

  • Seo, Kang Bok (School of CSE & SWRC, Kyungpook National University) ;
  • Kim, Deok-Yeop (School of CSE & SWRC, Kyungpook National University) ;
  • Lee, Woo-Jin (School of CSE & SWRC, Kyungpook National University)
  • 서강복 (경북대학교 컴퓨터학부, 소프트웨어기술연구소) ;
  • 김덕엽 (경북대학교 컴퓨터학부, 소프트웨어기술연구소) ;
  • 이우진 (경북대학교 컴퓨터학부, 소프트웨어기술연구소)
  • Published : 2019.05.10
Download PDF
⟨ Previous Next ⟩

Abstract

프로그램 슬라이싱은 처음 발표된 이후로 지금까지 다양하게 연구되어 테스팅, 디버깅, 개발, 유지 보수 등 다양한 분야에서 사용되어 왔다. 프로그램 슬라이싱을 수행하기 위해서는 기준이 되는 변수에 대해 소스코드 내에 존재하는 모든 라인들에 대해 의존성을 계산하여 프로그램 슬라이싱을 수행하게 된다. 하지만 지정된 변수에 대해서만 의존성 계산을 수행하기 때문에 프로그램을 실행 가능하게 하는 정보들에 대해서는 누락될 수 있고 이 경우의 프로그램 실행은 보장되지 않을 수 있다. 이러한 문제를 개선하기 위해 본 논문에서는 concolic testing 기법을 이용하여 기준이 되는 변수에 대한 의존성 있는 구문들을 추출하고 프로그램 실행에 요구되는 구문들을 같이 추출해낼 수 있는 프로그램 상호작용 슬라이싱 기법을 제안한다.

Keywords