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

한국정보처리학회 (Korea Information Processing Society)
권호 표지

기호실행을 이용한 C 언어 단위테스트 케이스 자동 생성기의 구현

Implementation of Automated C Unit Test Case Generator using Symbolic Execution

  • 서윤주 (서울대학교 컴퓨터공학부) ;
  • 김택수 (서울대학교 컴퓨터공학부) ;
  • 이춘우 (서울대학교 컴퓨터공학부) ;
  • 김기문 (서울대학교 컴퓨터공학부) ;
  • 박복남 (LG 전자 DTV 연구소) ;
  • 신철오 (LG 전자 DTV 연구소) ;
  • 우치수 (서울대학교 컴퓨터공학부)
  • Seo, Yunju (Dept. of Computer Science Engineering, Seoul National University) ;
  • Kim, Taeksu (Dept. of Computer Science Engineering, Seoul National University) ;
  • Lee, Chunwoo (Dept. of Computer Science Engineering, Seoul National University) ;
  • Kim, Kimun (Dept. of Computer Science Engineering, Seoul National University) ;
  • Park, Boknam (Dept. of DTV R&D Center, LG Electronics) ;
  • Shin, Chuloh (Dept. of DTV R&D Center, LG Electronics) ;
  • Wu, Chisu (Dept. of Computer Science Engineering, Seoul National University)
  • 발행 : 2007.11.09
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 연구에서는 소프트웨어의 구현 코드로부터 테스트 케이스 자동에 관해 연구하며 도구를 구현한다. 이를 통해 개발자가 직접 테스트 케이스를 작성하는 데 소요되는 비용을 절감하고, 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 영향을 받지 않고 테스트 케이스를 생성 가능하도록 한다.

키워드