DOI QR코드

DOI QR Code

동적 심볼릭 수행을 이용한 경계 테스팅 연구

Boundary Testing research using Dynamic Symbolic Execution

  • 구근회 (고려대학교 컴퓨터.전파통신공학과) ;
  • 최석원 (고려대학교 컴퓨터학과) ;
  • 최진영 (고려대학교 정보보호대학원)
  • Koo, Keun-Hoi (Dept of Computer and Communications, Korea University) ;
  • Choi, Seok-Won (Dept of Computer Science, Korea University) ;
  • Choi, Jin-Young (Graduate School of Information Security, Korea University)
  • 발행 : 2016.10.27

초록

전통적인 태스팅은 테스트케이스를 만드는데 많은 시간과 비용이 들기 때문에 시기적절한 출시를 해야 하는 휴대전화, TV와 같은 제품을 테스팅하는데 많은 어려움을 겪고 있다. 이러한 문제를 해결하려는 노력으로 관련 학계 및 산업체에서는 동적 심볼릭 수행을 이용한 커버리지가 높은 테스트케이스 자동생성 연구가 진행 중이다. 특히, Microsoft Research에서 만든 동적 심볼릭 수행도구인 PEX는 C#언어로 작성된 웹 또는 윈도우 프로그램의 테스트케이스를 자동 생성한다. 그러나 PEX의 사용자들로부터 테스트케이스가 부족하다는 피드백올 받았고, 그 결과로 경계 값 테스트케이스를 추가하는 연구를 진행하여 경계 값 테스트케이스를 추가하지 않았을 때 보다 더 많은 오류를 찾았다. 본 논문에서는 소프트웨어 오류가 있을 경우 엄청난 재산, 인명 피해가 발생하는 임베디드 소프트웨어 분야에서 자주 사용하는 언어인 C언어를 지원하는 동적 심볼릭 수행 도구 CREST를 수정하여 경계 값 테스트 케이스를 생생하는 연구를 진행한다.

키워드