[논문 리뷰] An Approach for Computing Dynamic Slice of Concurrent Aspect-Oriented Programs

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

Software Engineering Research참고 문헌 27인용 수 7

한 줄 요약

이 논문은 비동기적 객체지향 프로그램에서 비동기적 관점 지향 프로그램의 종속성 관계를 모델링하기 위해 동시적 관점 지향 시스템 종속성 그래프(CASDG)를 사용하는 동적 슬라이싱 알고리즘을 제안한다. 이 방법은 실행 시점에 실행된 노드를 표시하고 해제하는 방식으로 NMDS 알고리즘을 확장하여, 증명된 효과를 바탕으로 동시적, 관점 지향적 시스템에서 정확한 슬라이스 계산을 가능하게 한다. 이는 실행 중에 관련 프로그램 컴포onent를 식별하는 데 유용하다.

ABSTRACT

We propose a dynamic slicing algorithm to compute the slice of concurrent aspect-oriented programs. We use a dependence based intermediate program representation called Concurrent Aspect-oriented System Dependence Graph (CASDG) to represent a concurrent aspect-oriented program. The CASDG of an aspect-oriented program consists of a system dependence graph (SDG) for the non-aspect code, a group of dependence graphs for aspect code and some additional dependence edges used to connect the system dependence graph for the non-aspect code to dependence graph for aspect code. The proposed dynamic slicing al-gorithm is an extended version of NMDS algorithm for concurrent object-oriented programs, which is based on marking and unmarking of the executed nodes in CASDG appropriately during run-time.

연구 동기 및 목표

• 비동기적 관점 지향 프로그램에서의 동적 슬라이싱 문제를 해결하기 위해, 횡단 관심사와 스레드 수준의 병렬 처리로 인해 종속성 추적을 복잡하게 만드는 환경을 다루는 것.
• 객체지향 및 관점 지향적 요소를 동시에 고려한 동시 실행 환경에서 확장 가능하고 정밀한 슬라이싱 기법을 개발하는 것.
• 기존의 동적 슬라이싱 알고리즘을 확장하여, 관점과 동시 실행 스레드로 인해 발생하는 복잡성을 처리할 수 있도록 하는 것.
• 동시적 관점 지향 시스템 종속성 그래프(CASDG)를 사용하여 프로그램 종속성의 형식적이고 실행 가능한 표현을 제공하는 것.
• 실행 시점에 특정 변수나 조건에 영향을 주는 데에만 관련된 프로그램 컴포넌트를 고립시켜 효과적인 디버깅과 분석을 지원하는 것.

제안 방법

• 비동기적 관점 지향 시스템 종속성 그래프(CASDG)를 구성하여, 비관점 코드에 대한 시스템 종속성 그래프(SDG)와 별도의 관점 코드 종속성 그래프를 통합한다.
• CASDG 내에서 비관점 코드와 관점 코드 간의 횡단 관계를 모델링하기 위해 추가 종속성 간선을 도입한다.
• 실제 실행 트레이스에 기반하여 CASDG 내에서 노드를 실행 시점에 표시하고 해제하는 방식으로 NMDS 알고리즘을 확장한다.
• 스레드 간 및 관점 통합을 고려한 데이터 및 제어 종속성을 추적하여, 동시 실행 환경에서 정확한 슬라이스 계산을 보장한다.
• 프로그램 실행 중에 실행된 노드와 그 종속성을 분석함으로써 CASDG 내에서 동적 슬라이싱을 지원한다.
• 특정 실행 지점에서 목표 변수나 조건에 영향을 주는 문장만 정확히 식별할 수 있도록 프레임워크를 제공한다.

실험 결과

연구 질문

• RQ1 객체지향적 요소와 관점 지향적 기능을 결합한 동시적 관점 지향 프로그램에서 동적 슬라이싱을 효과적으로 계산하는 방법은 무엇인가?
• RQ2 비관점 코드, 관점 코드, 동시 스레드 간 종속성을 모델링하기 위해 필요한 형식적 프로그램 표현은 무엇인가?
• RQ3 기존의 동적 슬라이싱 알고리즘은 어떻게 관점 통합과 스레드 수준의 병렬 처리로 인해 발생하는 복잡성을 처리할 수 있도록 적응시킬 수 있는가?
• RQ4 여러 스레드와 횡단 관심사가 동시에 존재할 경우, 슬라이스 계산의 정확성과 정밀도를 보장하기 위한 메커니즘은 무엇인가?
• RQ5 제안된 CASDG 기반 접근법은 동시적 관점 지향 시스템에서 동적 슬라이싱의 정확성과 확장성에 얼마나 기여하는가?

주요 결과

• 제안된 CASDG 기반 동적 슬라이싱 알고리즘은 동시 프로그램에서 비관점 코드와 관점 코드 간의 데이터 및 제어 종속성을 성공적으로 포착한다.
• 비관점 코드와 관점 코드 간의 종속성을 추가 종속성 간선을 통해 통합함으로써 횡단 관심사의 정확한 모델링이 가능해진다.
• NMDS 알고리즘에 실행 시점 표시 및 해제 메커니즘을 통합함으로써 동시 실행 환경에서 정밀한 슬라이스 계산이 보장된다.
• 기존의 슬라이싱 기법 대비 동시적 및 관점 지향적 환경에서 관련 프로그램 컴포넌트를 더 정밀하게 식별할 수 있음을 입증했다.
• 특정 실행 지점에서 특정 변수나 조건에 영향을 주는 문장만 고립시켜 효과적인 디버깅을 지원한다.
• 이론적 분석과 이전의 관련 연구를 통해 검증된 바와 같이, 이 프레임워크는 형식적으로 탄탄하며 실제 동시적 관점 지향 시스템에 적용 가능하다.