모듈화 설계: 응집도와 결합도로 유지보수성 높이기

복잡한 시스템을 변경 가능한 단위로 나누는 방법

모듈화는 큰 소프트웨어를 독립적인 부품으로 분해해 설계하고 구현하는 기법이다. 시스템을 읽기 쉽게 만드는 데서 끝나지 않는다. 특정 기능을 바꿀 때 영향이 전체로 퍼지는 일을 줄이는 것이 핵심이다.

이 설계 방식은 복잡한 문제를 다루기 쉬운 단위로 나눠 해결한 뒤 통합하는 분할과 정복에 기반한다. 각 모듈은 내부 구현과 데이터 구조를 감추고, 정해진 인터페이스를 통해서만 다른 모듈과 상호 작용한다. 내부 로직이 바뀌어도 외부 모듈이 함께 바뀌지 않도록 하는 정보 은폐다.

모듈 독립성이 높다는 것은 각 모듈이 자기 기능에 집중하면서 다른 모듈에 대한 의존을 최소화한다는 뜻이다. 이 상태에서는 테스트와 수정이 쉬워지고, 다른 시스템에서 재사용할 여지도 커진다.

관리와 개발을 분리 가능한 구조로 바꾼다

기능별 경계가 명확하면 프로젝트의 진척과 책임 범위를 파악하기 쉽다. 팀이 모듈 단위로 작업을 나눌 수 있어 병렬 개발이 가능하며, 잘 설계한 모듈은 이후 시스템에서도 공통 부품으로 활용할 수 있다.

테스트도 모듈화의 직접적인 수혜를 받는다. 단위 테스트(Unit Test)를 모듈별로 수행하면 버그를 더 이른 시점에 찾아 제거하기 유리하다.

내부 목적이 선명할수록 높은 응집도다

응집도(Cohesion)는 한 모듈 안에 있는 구성 요소들이 얼마나 밀접한 관계를 갖는지 나타낸다. 높을수록 모듈은 하나의 목적을 분명하게 수행하고 독립성도 강해진다.

⤢✕

기능적 응집도(Functional Cohesion)는 모든 구성 요소가 단일 기능을 위해 모인 상태로, 가장 이상적이다. 순차적 응집도(Sequential Cohesion)는 한 요소의 출력이 다음 요소의 입력으로 이어질 때 나타난다. 통신적 응집도(Communicational Cohesion)는 같은 입력과 출력 데이터를 사용하면서 서로 다른 기능을 수행하는 요소들을 묶은 경우다.

절차적 응집도(Procedural Cohesion)는 구성 요소가 특정 수행 순서를 공유하는 상태다. 시간적 응집도(Temporal Cohesion)는 초기화 루틴처럼 특정 시점에 함께 실행해야 하는 기능을 모은 경우를 말한다. 논리적 응집도(Logical Cohesion)는 성격은 유사하지만 밀접하게 관련되지 않은 기능을 논리적으로 묶은 상태이며, 우연적 응집도(Coincidental Cohesion)는 관련 없는 요소가 같은 위치에 있을 뿐인 가장 낮은 단계다.

모듈 사이의 의존을 줄이는 결합도

결합도(Coupling)는 서로 다른 모듈이 얼마나 의존하는지를 보여준다. 결합도가 낮으면 한 모듈의 변경이 다른 모듈에 미치는 영향이 줄어들고, 시스템은 더 유연하며 유지보수하기 쉬워진다.

⤢✕

자료 결합도(Data Coupling)는 필요한 데이터 파라미터만 모듈 사이에 전달하는 가장 바람직한 상태다. 스탬프 결합도(Stamp Coupling)는 객체나 구조체처럼 같은 자료 구조를 전달받지만 그중 일부만 사용하는 경우다.

제어 결합도(Control Coupling)는 한 모듈이 다른 모듈의 내부 로직을 제어하기 위한 신호나 플래그를 전달할 때 발생한다. 외부 결합도(External Coupling)는 여러 모듈이 외부에 선언된 변수, 프로토콜 또는 통신을 공유하는 상태다. 공통 결합도(Common Coupling)는 전역 변수(Global Variable) 같은 공유 데이터 영역을 함께 사용할 때 나타난다. 내용 결합도(Content Coupling)는 다른 모듈의 내부 데이터나 제어 정보를 직접 참조하거나 수정하는 가장 위험한 형태다.

설계부터 구현까지 이어지는 모듈 경계

설계 단계에서는 Module, Component, Service가 서로 다른 수준의 분할 단위로 쓰인다. Module은 기본적인 논리 분할 단위다. Component는 교체 가능한 독립 기능 단위이며 바이너리 수준의 재사용성을 지원한다. Service는 독립적으로 실행 가능한 비즈니스 기능 단위로, 마이크로서비스 아키텍처(MSA)에서 핵심 역할을 한다.

구현 단계에서도 모듈화는 계속된다. Macro는 반복 코드 블록을 이름으로 치환해 컴파일 시점에 확장한다. Inline은 함수 호출 오버헤드를 줄이기 위해 코드 본문을 직접 삽입하는 기법이다. Function/Method는 매개변수와 반환값을 통해 통신하는 가장 일반적인 코드 수준의 모듈화 방식이다.

독립성을 지키는 설계 선택

하나의 모듈이 하나의 책임만 갖도록 하는 단일 책임 원칙(SRP)은 응집도를 유지하는 기준이 된다. 모듈이 처리하는 일이 많아질수록 내부 목적은 흐려지고 결합도도 높아질 가능성이 커진다.

모듈 간 통신은 구체적인 구현 클래스보다 추상화된 인터페이스를 통해 이루어져야 한다. 의존성 주입(DI)을 사용하면 모듈 내부에서 다른 객체를 직접 생성하지 않고 필요한 의존성을 외부에서 받아 결합을 느슨하게 유지할 수 있다.

전역 변수는 여러 모듈 사이에 의도하지 않은 공통 결합을 만든다. 가능한 한 지역 변수와 파라미터를 사용해야 시스템의 동작을 예측하기 쉬워진다. 모듈 경계를 분명히 하고 상호 작용을 줄이는 작업은 단순한 코드 분할이 아니라, 변화에 견디는 소프트웨어 구조를 만드는 일이다.

Sources

• https://en.wikipedia.org/wiki/Modularity_(programming)
• https://www.geeksforgeeks.org/software-engineering-coupling-and-cohesion/
• 소프트웨어 공학 강의 노트 (모듈화 설계 원칙)
• 정보관리기술사 합격 가이드북 (SW 설계 기법 섹션)