During the maintenance period, a modified program needs to be retested to determine whether the change has been made correctly and to find out whether the change causes any adverse effects on the program behavior. The key issue in retesting is the extent of the retesting tasks. To save time and efforts, retesting should be done on only those parts that might be affected by the modification. {\em Change impact analysis} is the activity which identifies the parts to be retested.
Object-oriented paradigm introduces several concepts such as encapsulation, inheritance, polymorphism, and dynamic binding. Such features result in more complex dependencies between classes and attributes, which makes identification of the affected components by a change much more difficult.
In this thesis we propose an approach for change impact analysis of an object-oriented software. We take a method as the test unit and consider various levels of changes such as data member change, method change, class change and class inheritance relationship change. We illustrate the member dependency graph(MDG) as a graph-based impact model and describe the cases where MDG needs to be modified due to the effects of object-oriented concepts to changes. Then, we describe the approach which constructs a firewall according to each level of changes using these cases.
유지 보수 단계동안 수정이 발생할 때, 프로그램은 수정된 부분과 수정에 의해 영향 받은 부분이 제대로 동작하는지를 확인하기 위하여 재테스팅되어야 한다. 이 때, 시간과 노력을 줄이기 위하여 수정에 의해 영향 받은 부분만을 테스팅하는 것이 중요하다. 수정 영향 분석은 재테스팅이 필요한 부분을 찾는 작업이다. 객체 지향 소프트웨어는 정보 은닉, 상속성, 다형성, 동적 결합과 같은 개념을 가지고 있는데, 이러한 특성들은 클래스와 클래스 멤버들 간에 복잡한 의존 관계를 형성하기 때문에 수정 영향 분석을 어렵게 한다.
이 논문에서는 객체 지향 소프트웨어에 적절한 수정 영향 분석 방법을 제안하였다. 이 방법은 메소드를 테스팅의 기본 단위로 가정하고 데이타 멤버, 메소드, 클래스, 클래스 간의 상속 관계에서 발생할 수 있는 수정을 고려한다. 클래스 멤버들 간의 의존 관계를 표현하기 위하여 멤버 의존 그래프를 제안하였다. 클래스 상속 구조에서 발생할 수 있는 수정의 유형을 구분하고 각 유형에 따라 재테스팅이 필요한 메소드들을 찾는 방법을 제안하였다. 기존의 소프트웨어와는 달리 객체 지향 소프트웨어에서는 함축적인 의존 관계가 발생할 수 있기 때문에 이러한 의존 관계가 발생하는 경우를 고려하였다. 이 방법은 메소드 레벨의 수정 영향 분석을 수행하기 때문에 비교적 적은 부분에 대해 재테스팅을 수행한다. 또한, 이 방법은 동적 결합, 다형성과 같은 특성을 고려하므로 객체 지향 소프트웨어에 적합하다.
