[논문 리뷰] Hierarchical Small Worlds in Software Architecture

Sergi Valverde, Ricard V. Solé|arXiv (Cornell University)|2003. 07. 11.

Software Engineering Research참고 문헌 53인용 수 156

한 줄 요약

이 논문은 복잡한 네트워크 이론을 객체 지향 소프트웨어 시스템에 적용하여, 방향성 클래스 그래프로 모델링함으로써 보편적인 구조적 패턴을 드러낸다. 소프트웨어 아키텍처가 캡슐화와 제약된 성장과 같은 언어 수준의 기능으로 인해 소월드(small-world) 및 스케일프리(scale-free) 성질을 띠며, 이는 프로그램 이해와 실증 소프트웨어 공학에 새로운 통찰을 제공한다.

ABSTRACT

In this paper, we present a complex network approach to the study of software engineering. We have found universal network patterns in a large collection of object-oriented (OO) software systems written in C++ and Java. All the systems analyzed here display the small-world behavior, that is, the average distance between any pair of classes is very small even when coupling is low and cohesion is high. In addition, the structure of OO software is a very heterogeneous network characterized by a degree distribution following a power-law with similar exponents. We have investigated the origin of these universal patterns. Our study suggests that some features of OO programing languages, like encapsulation, seem to be largely responsible for the small-world behavior. On the other hand, software heterogeneity is largely independent of the purpose and objectives of the particular system under study and appears to be related to a pattern of constrained growth. A number of software engineering topics may benefit from the present approach, including empirical software measurement and program comprehension.

연구 동기 및 목표

• 복잡한 네트워크 이론을 사용하여 객체 지향 소프트웨어 시스템의 보편적인 구조적 패턴을 식별하기.
• 소월드 및 스케일프리 성질이 功能에 관계없이 소프트웨처 설계에 내재되어 있는지 조사하기.
• 이러한 패턴의 기원이 프로그래밍 언어 기능과 시스템 진화 제약 조건에서 어떻게 발생하는지 탐색하기.
• 네트워크 메트릭이 실증 소프트웨어 측정과 프로그램 이해를 향상시킬 수 있음을 제안하기.
• 소프트웨어 팀의 사회적 조직과 소스 코드의 구조적 패턴 간의 관계를 분석하기 (컨웨이의 법칙을 통해)

제안 방법

• C++ 및 자바 헤더 파일에서 방향성 클래스 그래프를 구성하여, 노드는 클래스를, 간선은 상속 및 조합("has a") 관계를 나타낸다.
• 평균 경로 길이, 군집 계수, degree 분포와 같은 네트워크 성질을 측정하여 소월드 및 스케일프리 특성을 식별한다.
• 이분할 클래스-메서드 연관 그래프를 분석하여 메서드-클래스 관계가 소월드 행동을 생성하는 데 미치는 영향을 조사한다.
• 통계적 분석을 통해 다수의 실제 소프트웨어 시스템에서 멱법칙 degree 분포(스케일프리 네트워크의 징후)가 존재하는지 테스트한다.
• 네트워크 중심성 측정법(예: 페이지랭크 유사 지표)을 적용하여 프로그램 이해를 위한 핵심 구조적 구성 요소를 식별한다.
• 소스 코드에서 클래스 선언, 상속, 속성/매개변수 타입을 추출하는 알고리즘을 사용해 네트워크를 재구성한다.

실험 결과

연구 질문

• RQ1 다양한 응용 분야에서 객체 지향 소프트웨어 시스템이 일관되게 소월드 및 스케일프리 네트워크 성질을 나타내는가?
• RQ2 객체 지향 프로그래밍 언어에서 소프트웨어 아키텍처의 소월드 행동을 유도하는 기본 메커니즘은 무엇인가?
• RQ3 소프트웨어 네트워크의 스케일프리 성격이 기능적 요구 사항이 아닌 제약된 진화적 성장의 결과인가?
• RQ4 분산 소프트웨어 개발에서의 사회적 및 조직적 요소가 소스 코드에 관찰되는 구조적 패턴에 어떤 영향을 미치는가?
• RQ5 네트워크 기반 메트릭이 실증 소프트웨어 측정과 프로그램 이해의 정확성과 예측 가능성 향상에 기여할 수 있는가?

주요 결과

• 분석된 모든 객체 지향 소프트웨어 시스템은 짧은 평균 경로 길이와 높은 군집도를 보이며 소월드 성질을 나타낸다. 이는 낮은 결합도와 높은 응집도 조건에서도 마찬가지다.
• 소프트웨어 네트워크의 degree 분포는 시스템 간 유사한 지수를 가지며 멱법칙을 따르므로 스케일프리 구조임을 시사한다.
• 소프트웨어에서 소월드 행동은 주로 메서드와 클래스 간의 이분할 연관성, 특히 메서드 매개변수 및 속성 관계에 기인한다.
• 소프트웨어 네트워크의 스케일프리 성격은 시스템의 기능적 목적과 무관하게 제약된 성장 과정에서 기인한다.
• 높은 연결성을 가진 핵심 클래스(Hub classes)는 웹 그래프의 허브 및 권위성과 유사하게 프로그램 이해의 중심 요소로 작용한다.
• 중심성과 같은 네트워크 기반 메트릭은 대규모 코드베이스에서 핵심 구성 요소를 효율적으로 식별할 수 있으며, 이는 자동화된 분석과 소프트웨어 유지보수를 지원한다.