Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2007.11a
- /
- Pages.332-335
- /
- 2007
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Implementation of Automated C Unit Test Case Generator using Symbolic Execution
기호실행을 이용한 C 언어 단위테스트 케이스 자동 생성기의 구현
- 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)
- 서윤주 (서울대학교 컴퓨터공학부) ;
- 김택수 (서울대학교 컴퓨터공학부) ;
- 이춘우 (서울대학교 컴퓨터공학부) ;
- 김기문 (서울대학교 컴퓨터공학부) ;
- 박복남 (LG 전자 DTV 연구소) ;
- 신철오 (LG 전자 DTV 연구소) ;
- 우치수 (서울대학교 컴퓨터공학부)
- Published : 2007.11.09
Abstract
본 연구에서는 소프트웨어의 구현 코드로부터 테스트 케이스 자동에 관해 연구하며 도구를 구현한다. 이를 통해 개발자가 직접 테스트 케이스를 작성하는 데 소요되는 비용을 절감하고, 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 영향을 받지 않고 테스트 케이스를 생성 가능하도록 한다.
Keywords