소프트웨어 생태계의 Breaking Changes: 체계적 문헌 고찰

현대 소프트웨어 시스템은 재사용 가능한 라이브러리의 의존성 네트워크 (dependency networks)에 의존하며, 여기서 발생하는 Breaking Changes (파괴적 변경)는 전파되어 하위 소비자 (downstream consumers)의 실패를 야기합니다. 생태계 전반에 걸쳐 연구가 증가하고 있음에도 불구하고, 아직 포괄적인 종합 연구는 존재하지 않습니다. 본 연구에서는 Maven/Java, npm/JavaScript, Python, Web APIs, 그리고 Linux 배포판(Linux distributions) 등 5개 생태계에 걸쳐 97개의 주요 연구를 대상으로 체계적 문헌 고찰 (systematic literature review)을 수행하여 4가지 연구 질문에 답합니다. 종합 결과는 네 가지로 나타납니다. 첫째, 성격 (Nature), 탐지 가능성 (Detectability), 범위 (Scope), 가시성 (Visibility)에 따른 4차원 분류 체계 (taxonomy)를 제시합니다. 둘째, 5가지 원인 범주와 5가지 영향 차원을 도출하였으며, 유지보수 및 설계 개선이 새로운 기능 개발보다 Breaking Changes에서 더 큰 비중을 차지함을 확인했습니다. 셋째, 구문적 파괴 (syntactic breaks)에 대해서는 높은 정확도를 보이지만 행동적 파괴 (behavioral breaks)에 대해서는 커버리지가 제한적인 43가지 탐지 접근 방식 (detection approaches)을 분석했습니다. 넷째, 행위자의 역할에 따라 분류된 Breaking Changes의 소통, 방지 및 복구를 위한 66가지 전략을 정리했습니다. 이러한 발견을 바탕으로, 본 연구는 세 가지 미결 과제 (open challenges)와 세 가지 연구 기회 (research opportunities)를 식별합니다. 미결 과제는 대규모 환경에서의 행동적 파괴 탐지, 신뢰 메커니즘으로서의 유의적 버전 관리 (semantic versioning)의 실패, 그리고 정보 비대칭 상황에서의 전이 의존성 (transitive dependency) 전파입니다. 연구 기회는 LLM (Large Language Model)을 활용한 행동 계약 추론 (behavioral contract inference), 생태계 수준의 의존성 그래프 지능 (dependency graph intelligence), 그리고 ML (Machine Learning) 및 데이터 과학을 위한 도메인 특화 도구 개발입니다.