구조적 프로그래밍

작성자

익명

작성일

2026.07.15

조회수

버전

구조적 프로그래밍 제어 구조 소프트웨어 설계 하향식 설계 스파게티 코드 SESE 원칙 절차적 프로그래밍 중급

구조적 프로그래밍 (Structured Programming)

구조적 프로그래밍은 프로그램의 논리적 흐름을 명확하게 하기 위해 무분별한 분기문을 배제하고, 정해진 제어 구조(순차, 선택, 반복)만을 사용하여 프로그램을 작성하는 소프트웨어 설계 패러다임이다.

1. 개요

구조적 프로그래밍은 1960년대 후반, 소프트웨어의 규모가 커짐에 따라 코드의 복잡도가 기하급수적으로 증가하는 '소프트웨어 위기(Software Crisis)'를 해결하기 위해 등장했다. 당시의 프로그래밍은 GOTO 문을 이용해 프로그램의 실행 흐름을 임의의 위치로 점프시키는 방식이 흔했으며, 이는 코드의 흐름을 추적하기 어렵게 만들어 마치 엉킨 스파게티 면처럼 복잡한 스파게티 코드(Spaghetti Code) 문제를 야기했다. 구조적 프로그래밍의 핵심 목적은 프로그램의 가독성을 높이고, 논리적 오류를 줄이며, 유지보수를 용이하게 만드는 데 있다.

역사적 타임라인

1950년대 ~ 1960년대 초: 어셈블리어 및 초기 고수준 언어의 보급. GOTO 문을 통한 자유로운 분기 제어가 일반적이었음.
1966년: 코라드 뵘(Corrado Böhm)과 하인츠 쿠르츠(Heinz Kurth)가 모든 계산 가능한 함수가 세 가지 기본 제어 구조로 표현될 수 있음을 이론적으로 증명.
1968년: 에츠허르 데이크스트라(Edsger Dijkstra)가 "Go To Statement Considered Harmful"이라는 서신을 통해 GOTO 문의 위험성을 경고하며 구조적 프로그래밍의 필요성을 역설.
1970년대: C 언어, Pascal 언어 등 구조적 프로그래밍 원칙을 내장한 언어들이 등장하며 표준 설계 방식으로 자리 잡음.

2. 핵심 원칙과 제어 구조

구조적 프로그래밍의 핵심은 '구조적 정리(Böhm-Jacopini theorem)'에 기반한다. 이 정리는 모든 프로그램의 제어 흐름을 다음의 세 가지 기본 구조의 조합으로 표현할 수 있음을 수학적으로 증명한다.

제어 구조	정의	대응하는 프로그래밍 키워드 (예시)
순차 구조 (Sequence)	명령문들이 작성된 순서대로 하나씩 실행되는 가장 기본적인 흐름	`statement1; statement2;`
선택 구조 (Selection)	주어진 조건식의 참/거짓 여부에 따라 서로 다른 경로를 선택하여 실행하는 흐름	`if`, `else`, `switch`, `case`
반복 구조 (Iteration)	특정 조건이 만족될 때까지 동일한 명령문 집합을 반복해서 실행하는 흐름	`for`, `while`, `do-while`

3. 주요 특징 및 설계 기법

단일 진입점과 단일 탈출점 (SESE)

구조적 프로그래밍에서는 모든 모듈이나 제어 블록이 단일 진입점(Single Entry)과 단일 탈출점(Single Exit)을 가져야 한다는 원칙을 준수한다. 이는 프로그램의 특정 구간에 들어오는 경로와 나가는 경로가 하나뿐임을 보장하여, 실행 흐름을 예측 가능하게 하고 디버깅 시 상태 추적을 단순화한다.

[SESE 원칙 위반 사례] 아래 코드는 루프 중간에 break나 return을 사용하여 탈출점이 여러 개인 경우로, 엄격한 SESE 원칙을 위반한 사례이다.

void findValue(int arr[], int size, int target) {
    for (int i = 0; i < size; i++) {
        if (arr[i] == target) {
            printf("Found!");
            return; // 탈출점 1: 루프 중간에서 함수 즉시 종료 (SESE 위반)
        }
    }
    printf("Not Found"); // 탈출점 2: 루프 정상 종료 후 종료
}

하향식 설계 (Top-down Design)와 모듈화

하향식 설계는 복잡한 문제를 해결하기 위해 전체 시스템을 먼저 정의하고, 이를 점진적으로 더 작은 단위의 하위 문제로 분할하는 기법이다. 이 과정에서 분할된 단위는 모듈(Module) 또는 함수(Function)로 구현되어 독립적인 기능을 수행한다.

[하향식 설계 단계별 흐름]

graph TD
    A[최상위 문제: Main System] --> B1[하위 모듈 A: 입력 처리]
    A --> B2[하위 모듈 B: 데이터 연산]
    A --> B3[하위 모듈 C: 결과 출력]
    B2 --> C1[세부 기능 B-1: 정렬]
    B2 --> C2[세부 기능 B-2: 필터링]
    C1 --> D1[기초 구현: 알고리즘 적용]
    C2 --> D2[기초 구현: 조건 검사]

그림: 하향식 설계의 계층적 분할 구조

4. GOTO 문과 구조적 프로그래밍

과거의 비구조적 프로그래밍에서는 GOTO 문을 사용하여 프로그램의 어느 지점으로든 즉시 이동할 수 있었다. 하지만 이는 프로그램의 상태를 예측 불가능하게 만들고, 논리적 흐름을 파괴하는 주범이 되었다. 에츠허르 데이크스트라는 GOTO 문이 프로그램의 정적 구조(코드의 모습)와 동적 실행 과정(실제 동작) 사이의 간극을 넓혀 인간의 인지 능력을 초과하게 만든다고 비판했다.

코드 비교 예제

비구조적 코드 (GOTO 사용)

int i = 0;
start:
    if (i >= 10) goto end;
    printf("%d\n", i);
    i++;
    goto start;
end:
    printf("Done");

구조적 코드 (반복문 사용으로 리팩토링)

for (int i = 0; i < 10; i++) {
    printf("%d\n", i);
}
printf("Done");

위의 리팩토링된 코드는 for 루프라는 명확한 제어 구조를 사용하여, 반복의 시작과 끝, 종료 조건을 한눈에 파악할 수 있게 한다.

5. 장점 및 한계

장점

가독성 향상: 표준화된 제어 구조를 사용하여 다른 개발자가 코드를 이해하기 쉽다.
유지보수 용이: 모듈화된 구조 덕분에 특정 기능의 수정이 전체 시스템에 미치는 영향을 최소화할 수 있다.
디버깅 효율성: 실행 흐름이 선형적이고 예측 가능하므로 오류 발생 지점을 찾기가 훨씬 수월하다.
검증 가능성: 수학적 귀납법 등을 통해 프로그램의 정당성을 증명하기 용이하다.

한계

복잡한 상태 관리: 프로그램 규모가 극도로 커질 경우, 전역 변수나 복잡한 매개변수 전달로 인해 상태 관리가 어려워질 수 있다.
예외 처리의 제약: 엄격한 SESE 원칙을 고수할 경우, 깊은 루프 내부에서 치명적인 오류가 발생했을 때 즉시 탈출하기 위해 불필요한 플래그 변수를 많이 사용해야 하는 번거로움이 있다. 이러한 제약을 극복하기 위해 현대 언어에서는 try-catch-finally 블록이나 break, continue, return 문을 도입하였다. 이는 사실상 '제한된 형태의 GOTO' 역할을 수행하며, 프로그램의 구조적 정체성을 유지하면서도 예외 상황에 효율적으로 대응할 수 있게 한다.

6. 현대 프로그래밍으로의 계승

구조적 프로그래밍은 현대의 거의 모든 프로그래밍 언어에 기본 원리로 내장되어 있다. 이는 이후 절차적 프로그래밍(Procedural Programming)으로 발전하였으며, 데이터와 함수를 하나로 묶는 객체 지향 프로그래밍(OOP)의 기초가 되었다.