Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2006.10b
- /
- Pages.575-579
- /
- 2006
- /
- 1598-5164(pISSN)
An Efficient Approach to Testing Retargetable Compiler Using Intermediate Representation
중간표현을 이용한 재목적 컴파일러의 효율적인 테스트 방법
- Jang, Han-Il (Dept. of Computer Engineering, Pusan National University) ;
-
Woo, Gyun
(Dept. of Computer Engineering, Pusan National University) ;
-
Chae, Heung-Seok
(Dept. of Computer Engineering, Pusan National University)
- Published : 2006.10.20
Abstract
컴파일러에 결함이 있다는 것은 곧 잘못된 코드를 생성한다는 것을 의미하므로 양질의 컴파일러 구성은 양질의 소프트웨어 생산을 위한 기본 요구조건이 된다. 임베디드 시스템이 널리 사용되면서 더욱 다양하고 복잡한 임베디드 프로세서가 개발되었고 이는 새로이 설계된 프로세서를 위한 새로운 컴파일러 개발의 필요를 야기하고 있다. 본 논문에서는 프로그램의 중간 표현을 기반으로 하는 효율적인 테스팅 방법을 제안한다. 언어의 구문 규칙을 모두 사용하는 테스트 케이스를 통해 컴파일러를 테스트하는 방법이 이미 연구되었으나, 기존의 소스 코드 수준의 방법으로는 테스트 케이스의 중복성이 존재하는 단점이 있다. 본 논문에서는 중간 표현의 구문 규칙을 이용해서 중복된 테스트 케이스를 제거하여 테스팅 효율을 증가시킬 수 있음을 기술한다. 또한 본 논문에서 제안하는 방법을 GCC의 중간 언어인 RTL에 적용한 예를 통해 설명한다.
Keywords