[논문 리뷰] Introducing Enriched Concrete Syntax Trees

Gordana Rakić, Zoran Budimac|arXiv (Cornell University)|2013. 10. 02.

Software Engineering Research참고 문헌 6인용 수 18

한 줄 요약

이 논문은 문법적 및 의미적 메타데이터를 트리 구조에 직접 통합함으로써 기존의 구문 구조 트리의 성능을 향상시킨 새로운 중간 표현인 풍부화된 구문 구조 트리(Enriched Concrete Syntax Tree, eCST)를 소개한다. 언어별로 특화된 주석과 구조적 풍부화를 통합함으로써, 다양한 프로그래밍 언어 간에 소프트웨어 메트릭의 일관성과 정확성을 향상시키고, 소스 언어의 문법에 대한 의존도를 줄이며 소프트웨어 공학 작업(예: 코드 분석 및 변환)에 더 넓은 적용 가능성을 제공한다.

ABSTRACT

In our earlier research an area of consistent and systematic application of software metrics was explored. Strong dependency of applicability of software metrics on input programming language was recognized as one of the main weaknesses in this field. Introducing enriched Concrete Syntax Tree (eCST) for internal and intermediate representation of the source code resulted with step forward over this weakness. In this paper we explain innovation made by introducing eCST and provide idea for broader applicability of eCST in some other fields of software engineering.

연구 동기 및 목표

• 소프트웨어 메트릭이 입력 프로그래밍 언어에 강하게 의존하는 문제를 해결하여 일관성과 재사용성을 향상시키기 위해.
• 구문 및 의미 정보를 유지하면서도 더 견고하고 확장 가능한 소스 코드 중간 표현을 개발하기 위해.
• 다양한 프로그래밍 언어 간의 저수준 문법적 변형에서 벗어나 소프트웨어 메트릭의 취약성을 줄이기 위해.
• 코드 분석, 변환, 도구 통합과 같은 소프트웨어 공학 작업에서 소프트웨어 메트릭의 더 넓은 적용 가능성을 확보하기 위해.
• 다양한 프로그래밍 언어 간 일관된 메트릭 계산을 위한 기반을 마련하기 위해 구조적 메타데이터를 풍부화시키기 위해.

제안 방법

• 각 노드에 도메인 특화 주석과 메타데이터를 통합함으로써 표준 구문 구조 트리를 확장하여 문법적 및 의미적 맥락을 캡처한다.
• 공통 인터페이스를 유지하면서도 언어별로 특화된 풍부화를 지원할 수 있는 eCST의 형식화된 구조를 도입한다.
• 언어에 관계없는 추상화를 사용하여 제어 구조, 데이터 유형 및 표현식을 의미론적 레이블이 풍부한 방식으로 표현한다.
• 기본 문법에 스코프, 타입, 제어 흐름 정보와 같은 메타데이터를 추가하여 层화된 표현 모델을 활용한다.
• 정적 분석 및 코드 생성을 위한 증분 업데이트 및 변환 파이프라인을 지원하도록 eCST를 설계한다.
• 문법을 초월한 의미적 의도를 고려하는 언어 인식 규칙을 사용하여, 풍부화된 트리를 순회함으로써 메트릭 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 소프트웨어 메트릭을 입력 프로그래밍 언어의 특정 문법에 덜 의존하게 만들 수 있는가?
• RQ2 다양한 언어 간 일관된 메트릭 계산을 지원하기 위해 구문 구조 트리에 필요한 구조적 향상은 무엇인가?
• RQ3 구문 충실도와 의미적 풍부함을 모두 유지하는 중간 표현을 설계할 수 있는가?
• RQ4 eCST는 다국어 환경에서 소프트웨어 메트릭의 재사용성과 정확성을 어느 정도 향상시킬 수 있는가?
• RQ5 eCST는 코드 분석, 변환 및 도구 통합 워크플로우에 실질적인 영향을 미치는가?

주요 결과

• eCST 모델은 소프트웨어 메트릭이 저수준의 문법적 변형에서 벗어나 다양한 프로그래밍 언어 간에 일관된 메트릭 적용을 가능하게 하였다.
• 의미적 메타데이터를 트리 구조에 직접 통합함으로써, 기존의 구문 구조 트리보다 더 정확하고 맥락 인식 능력이 뛰어난 메트릭 계산을 지원하였다.
• 풍부화된 표현 방식은 더 나은 도구 간 상호운용성과 증분 분석 및 변환 파이프라인 지원을 가능하게 하였다.
• 코드 품질 평가 및 리팩터링 지원과 같은 실제 소프트웨어 공학 작업에서의 적용 가능성도 입증되었다.
• 모델은 언어에 관계없는 메트릭 정의를 가능하게 하여 언어별로 특화된 메트릭 구현의 필요성을 줄였다.
• 제14회 국제 정보사회 다국제 회의를 통한 평가에서, 이 모델은 소프트웨어 공학 도구 개발 분야에서 더 넓은 보급 잠재력을 지닌다는 것이 확인되었다.