[논문 리뷰] Model-Based Debugging of Java Programs.

Cristinel Mateis, Markus Stumptner외 2명|arXiv (Cornell University)|2000. 01. 01.

Software Engineering Research인용 수 30

한 줄 요약

이 논문은 코드에서 파생된 기능적 종속성 모델을 사용하여 Java 프로그램의 결함을 효율적으로 국소화하는 모델 기반 디버깅 접근법을 제안한다. 도메인 독립적 진단 엔진을 활용함으로써 사용자 상호작용을 줄이고 기존의 슬라이싱 기법보다 결함 국소화 정확도에서 뛰어나다.

ABSTRACT

Model-based reasoning is a central concept in current research into intelligent diagnostic systems. It is based on the assumption that sources of incorrect behavior in technical devices can be located and identified via the existence of a model describing the basic properties of components of a certain application domain. When actual data concerning the misbehavior of a system composed from such components is available, a domain-independent diagnosis engine can be used to infer which parts of the system contribute to the observed behavior. This paper describes the application of the model-based approach to the debugging of Java programs written in a subset of Java. We show how a simple dependency model can be derived from a program, demonstrate the use of the model for debugging and reducing the required user interactions, give a comparison of the functional dependency model with program slicing, and finally discuss some current research issues.

연구 동기 및 목표

• 모델 기반 추론을 적용하여 Java 프로그램에서 비효율적이고 상호작용이 많은 디버깅 문제를 해결하고자 한다.
• 자동화된 결함 국소화를 통해 디버깅 과정에서 필요한 사용자 상호작용 수를 줄이고자 한다.
• 기존의 프로그램 슬라이싱 기법과 비교하여 기능적 종속성 모델의 효과성을 평가하고자 한다.
• 모델 기반 진단을 도메인 독립적인 방식으로 소프트웨어 시스템에 적용할 수 있는 가능성을 탐색하고자 한다.

제안 방법

• 컴ponent 상호작용과 행동을 표현하기 위해 Java 프로그램의 일부에서 기능적 종속성 모델을 구축한다.
• 관측된 프로그램의 비정상 동작과 종속성 모델을 기반으로 오작동 원인을 추론하기 위해 도메인 독립적 진단 엔진을 사용한다.
• 기대되는 컴포넌트 동작와의 이탈을 분석하여 잘못된 동작의 원인을 추적하고 고립한다.
• 프로그램 슬라이싱 기법과 비교하여 종속성 모델의 진단 정밀도와 사용자 상호작용 오버헤드를 평가한다.
• 대표적인 Java 프로그램을 대상으로 접근법을 검증하여 결함 국소화 정확도와 확장성을 평가한다.

실험 결과

연구 질문

• RQ1 Java 코드에서 파생된 기능적 종속성 모델은 프로그램 슬라이싱과 비교해 얼마나 효과적으로 결함을 국소화할 수 있는가?
• RQ2 모델 기반 디버깅은 디버깅 과정에서 필요한 사용자 상호작용 수를 얼마나 줄이는가?
• RQ3 모델 기반 진단을 소프트웨어 시스템에 적용할 때의 한계와 확장성 도전 과제는 무엇인가?
• RQ4 모델 기반 접근법은 Java 프로그램에서 복잡하거나 상호의존적인 컴포넌트 동작을 어떻게 다루는가?

주요 결과

• 기능적 종속성 모델은 전통적인 디버깅 방법보다 사용자 상호작용 수를 줄이며 정확한 결함 국소화를 가능하게 한다.
• 형식화된 시스템 모델에 기반하기 때문에 모델 기반 디버깅은 프로그램 슬라이싱보다 결함 컴포넌트를 더 잘 식별한다.
• 진단 엔진은 기대 동작과 관측 동작 간의 일관성 없는 점을 분석하여 오작동의 근본 원인을 성공적으로 식별한다.
• 이 접근법은 하드웨어 진단 시스템의 원칙을 소프트웨어에 확장하여 도메인 독립적 디버깅의 가능성을 입증한다.