[논문 리뷰] A Novel Approach for Computing Dynamic Slices of Aspect-Oriented Programs

Abhishek Ray, Siba Mishra외 1명|arXiv (Cornell University)|2014. 03. 01.

Software Testing and Debugging Techniques참고 문헌 20인용 수 4

한 줄 요약

이 논문은 프로그램 의존성을 모델링하기 위해 Aspect System Dependence Graph (AOSG)를 사용하는 새로운 동적 슬라이싱 알고리즘을 제안한다. 런타임 중 간선 마킹 및 해제 기법을 도입하여 EMDS 알고리즘을 확장함으로써, 정확한 동적 슬라이스를 효율적으로 계산하는 방법을 제시한다. 이는 복잡한 애스펙트 지향 시스템의 디버깅 및 분석을 향상시키며, 실험적 평가를 통해 효과가 입증되었다.

ABSTRACT

We propose a dynamic slicing algorithm to compute the slices of aspect-oriented programs. We use a dependence based intermediate program representation called Aspect System Dependence Graph (AOSG) to represent aspect-oriented programs. Then, we propose the dynamic slicing algorithm for AOPs, which is an extended version of EMDS algorithm for object-oriented programs. Our algorithm is based on marking and unmarking of the edges of AOSG appropriately during runtime.

연구 동기 및 목표

• 애스펙트 지향 프로그램(AOPs)에서 전통적인 슬라이싱 기법이 크로스 커팅 콰런츠로 인해 실패하는 바탕으로 정확한 동적 슬라이스를 계산하는 데 도전하는 것.
• 인터타입 선언 및 애스펙트 간 의존성과 같은 애스펙트 전용 구조를 충분히 모델링하지 못하는 기존 동적 슬라이싱 알고리즘의 한계를 극복하는 것.
• 의존성 기반 중간 표현을 활용하여 AOPs에 특화된 확장 가능하고 정밀한 동적 슬라이싱 기법을 개발하는 것.
• 특정 실행 지점에서 특정 변수에 영향을 주는 최소한의 프로그램 요소를 식별하여 AOPs의 효과적인 디버깅 및 테스팅을 가능하게 하는 것.

제안 방법

• 저자는 애스펙트 지향 프로그램의 제어, 데이터, 그리고 애스펙트 전용 의존성을 모두 캡처하는 의존성 기반 중간 표현인 Aspect System Dependence Graph (AOSG)를 도입한다.
• 이 방법은 AOSG 간선에 대해 마킹 및 해제 메커니즘을 적응시켜 EMDS(효율적 다중 방향 슬라이싱) 알고리즘의 기능을 애스펙트 지향 구조를 처리할 수 있도록 확장한다.
• 런타임 중, 목표 변수의 계산에 기여하는 AOSG의 간선을 데이터 및 제어 의존성 기반으로 마킹한다.
• 불필요한 의존성, 특히 애스펙트에 의해 유도된 의존성을 제거하기 위해 해제 기법을 적용하여 최종 슬라이스에 포함되는 요소가 유의미한 것들만 포함되도록 보장한다.
• 인터타입 선언과 애스펙트 간 호출을 AOSG 구조에 통합함으로써, 기본 클래스와 애스펙트 코드를 동일한 방식으로 처리한다.
• 이 방법은 임의의 실행 지점에서 어떤 변수에 대해서도 동적 슬라이싱을 지원하여 타겟팅된 디버깅 및 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 애스펙트가 도입하는 복잡한 의존성 구조를 효과적으로 다룰 수 있도록 동적 슬라이싱을 어떻게 적응시킬 수 있는가?
• RQ2 정밀한 슬라이싱을 위해 객체 지향적 및 애스펙트 지향적 의존성을 정확히 모델링할 수 있는 중간 표현은 무엇인가?
• RQ3 EMDS 알고리즘은 효율성과 정확성을 유지하면서 애스펙트 지향 프로그램을 지원하도록 확장될 수 있는가?
• RQ4 기존 슬라이싱 기법과 비교할 때, 제안된 방법은 AOPs에서 정밀도와 성능 측면에서 어떻게 다른가?
• RQ5 인터타입 선언 및 애스펙트 간 호출과 같은 애스펙트 전용 구조는 동적 슬라이스 정밀도에 어떤 영향을 미치는가?

주요 결과

• 제안된 알고리즘은 AOSG 표현을 통해 모든 관련 의존성을 모델링함으로써 애스펙트 지향 프로그램에 대해 정밀한 동적 슬라이스를 성공적으로 계산한다.
• EMDS를 AOSG에 확장함으로써 크로스 커팅 콰런츠가 존재하는 상황에서도 런타임 중 목표 변수에 영향을 주는 프로그램 요소를 정확히 식별할 수 있다.
• 인터애스펙트 및 인터타입 의존성을 명시적으로 모델링함으로써 기존 슬라이싱 기법보다 정밀도가 향상됨을 입증하였다.
• 실행 중 AOSG 간선의 효율적 마킹 및 해제 덕분에 성능 오버헤드가 합리적인 수준을 유지한다.
• 실험적 평가를 통해 관련 코드 경로를 효과적으로 격리함으로써 AOPs의 효과적인 디버깅 및 테스팅을 지원하는 것으로 확인되었다.
• 이 기법은 다양한 애스펙트 지향 프레임워크에 일반화 가능하며, 임의의 실행 지점에서 동적 분석을 지원한다.