[논문 리뷰] A Generative Model of Software Dependency Graphs to Better Understand Software Evolution

Vincenzo Musco, Martin Monperrus외 1명|arXiv (Cornell University)|2014. 10. 29.

Complex Network Analysis Techniques참고 문헌 37인용 수 7

한 줄 요약

이 논문은 선호적 연결과 노드 복제를 조합하여 실제 자바 소프트웨어 시스템을 모방하는 합성 소프트웨어 종속성 그래프를 생성하는 생성 모델인 GD-GNC를 제안한다. GD-GNC가 실제 소프트웨어 시스템과 유사한 차수 분포, 스펙트럼 성질 및 구조적 메트릭을 생성함으로써 소프트웨어 진화가 기존 클래스를 재사용하고 재사용 가능한 컴포넌트로 리팩터링하는 방식으로 이뤄진다는 것을 시사한다.

ABSTRACT

Software systems are composed of many interacting elements. A natural way to abstract over software systems is to model them as graphs. In this paper we consider software dependency graphs of object-oriented software and we study one topological property: the degree distribution. Based on the analysis of ten software systems written in Java, we show that there exists completely different systems that have the same degree distribution. Then, we propose a generative model of software dependency graphs which synthesizes graphs whose degree distribution is close to the empirical ones observed in real software systems. This model gives us novel insights on the potential fundamental rules of software evolution.

연구 동기 및 목표

• 다양한 자바 애플리케이션에서 소프트웨어 종속성 그래프의 공통된 구조적 패턴을 규명하는 것.
• 실제 소프트웨어 종속성 그래프의 경험적 구조적 성질을 재현하는 생성 모델을 개발하는 것.
• 다양한 그래프 메트릭과 통계적 검정을 사용하여 실세계 데이터와의 모델 검증을 수행하는 것.
• 합성 그래프 생성을 통해 소프트웨어 개발의 잠재적 진화 규칙을 밝혀내는 것.
• 버전 시리즈와 그래프 모티프를 포함한 향후 소프트웨어 진화 연구의 기초를 마련하는 것.

제안 방법

• 선호적 연결과 노드 복제를 기반으로 한 GD-GNC라는 생성 모델을 제안하며, GNC(Geometric Preferential Attachment) 모델을 영감으로 삼는다.
• 누적 차수 분포(CDF)를 사용하여 합성 그래프와 실제 그래프 간의 비교를 수행하며, 특히 진입 차수와 진출 차수 분포에 중점을 둔다.
• 합성 그래프와 실제 소프트웨어 종속성 그래프 간의 적합도를 평가하기 위해 통계적 검정을 활용한다.
• 지름, 전이성, 모듈성, 평균 최단 경로 길이, 스펙트럼 성질 등의 그래프 메트릭을 평가한다.
• 다양한 구조적 및 토폴로지 측정 기준을 사용하여 GD-GNC를 Baxter & Frean의 모델 및 기타 생성 모델과 비교한다.
• 총 23,178개의 노드와 108,404개의 에지로 구성된 50개의 실제 자바 소프트웨어 시스템을 대상으로 모델을 검증한다.

실험 결과

연구 질문

• RQ1 RQ1: 다양한 자바 애플리케이션의 소프트웨어 종속성 그래프에서 공통적인 구조적 패턴, 특히 차수 분포에서 나타나는가?
• RQ2 RQ2: GD-GNC는 기존 생성 모델 대비 실제 소프트웨어 종속성 그래프의 구조적 성질을 얼마나 잘 재현하는가?
• RQ3 RQ3: 생성 모델의 행동을 통해 소프트웨어 개발의 잠재적 진화 규칙은 무엇인가?
• RQ4 RQ4: 생성 모델은 차수 분포 외의 여러 메트릭에서도 실제 그래프와 유사한 합성 그래프를 생성할 수 있는가?

주요 결과

• 50개의 자바 소프트웨어 시스템 전반에서 대칭적이지 않은 공통된 차수 분포 패tern이 존재하며, 진입 차수와 진출 차수 분포가 뚜렷하게 구분된다.
• 통계적 검정을 통해 GD-GNC가 생성한 합성 그래프의 차수 분포가 실제 소프트웨어 종속성 그래프와 유사함을 확인하였다.
• 지름, 전이성, 모듈성 등 다양한 메트릭에서 Baxter & Frean의 모델보다 실세계 데이터에 더 잘 적합하는 것으로 나타났다.
• GD-GNC가 생성한 그래프의 스펙트럼 성질과 평균 최단 경로 길이는 실제 소프트웨어 그래프와 통계적으로 구별되지 않았다.
• 모델는 소프트웨어 진화가 기존 클래스를 재사용하고 재사용 가능한 컴포넌트로 리팩터링하는 방식으로 이뤄진다는 것을 시사한다.
• 생성 모델는 소프트웨어의 핵심 진화 메커니즘이 단순한 규칙 기반 과정을 통해 재현 가능하다는 강력한 증거를 제공한다.