시스매

추상화(Abstraction) 핸드북2

9 min read

추상화(Abstraction) 핸드북

핵심 요약: 추상화는 복잡한 시스템의 불필요한 세부사항을 숨기고 본질적 특징만을 드러내는 소프트웨어 공학의 핵심 원리이다. 이를 통해 복잡성 관리, 재사용성 향상, 유지보수성 증대를 달성할 수 있다.

1. 추상화의 정의와 핵심 개념

추상화는 공통된 특성을 추출하여 상위 개념을 만들거나, 복잡한 내부 동작을 캡슐화하여 사용자가 구현 세부사항을 몰라도 기능을 활용할 수 있게 하는 두 가지 주요 의미를 갖는다12.

1.1 첫 번째 의미: 일반화(Generalization)

개별 요소들의 공통된 특징을 추출하여 상위 추상 개념을 만드는 과정이다. 예를 들어, Dog 클래스와 Cat 클래스의 공통 특징을 뽑아내 Animal 클래스를 만드는 것이다13. 이는 계층 구조와 밀접한 관련이 있으며, 현실 세계의 일반 명사와 개념들도 이미 추상화된 결과물이다.

1.2 두 번째 의미: 캡슐화(Encapsulation)

내부 구현을 숨기고 사용자에게는 인터페이스만 제공하는 과정이다. 라이브러리, 클래스, API 등을 통해 “바퀴를 다시 발명할 필요가 없는” 환경을 만든다45. 사용자는 입력과 출력 형식만 알면 복잡한 내부 동작을 이해하지 않고도 기능을 활용할 수 있다.

2. 추상화의 주요 유형

2.1 데이터 추상화(Data Abstraction)

데이터의 표현 방식과 구현을 분리하여 **추상 데이터 타입(ADT)**으로 인터페이스만 노출한다67.

  • 기본적 데이터 추상화: 컴퓨터 내부 데이터 타입을 변수명과 실수 범위로 추상화8
  • 구조적 데이터 추상화: 연관 데이터를 배열, 레코드 형태로 묶어 구조형 생성8
  • 단위 데이터 추상화: 데이터 정의, 인터페이스, 값을 하나로 캡슐화한 ADT8

2.2 제어 추상화(Control Abstraction)

프로그램 흐름 제어 로직을 숨기고 상위 구조만 노출하는 기법이다910.

  • 기본적 제어 추상화: 기계 명령어를 조합해 배정문, 분기문 등 단순 추상 구문 생성8
  • 구조적 제어 추상화: 제어 구조를 조합해 더 복잡한 제어 패턴 구현8
  • 단위 제어 추상화: 프로그램 전체의 제어 흐름을 추상화8

2.3 절차 추상화(Procedural Abstraction)

일련의 연산을 함수/메서드로 캡슐화하여 복잡한 작업을 단순한 호출로 수행 가능하게 한다1112. 이는 모듈화, 재사용성, 유지보수성을 크게 향상시킨다1314.

3. 추상화 수준(Abstraction Levels)

추상화는 계층적 구조를 형성하며, 각 수준은 상위(고수준) → 하위(저수준) 의존 관계를 갖는다1516.

3.1 컴퓨터 시스템의 추상화 계층

수준영역설명예시
고수준소프트웨어 도메인사용자 관점의 기능과 애플리케이션프로그래밍 언어, 라이브러리, 사용자 인터페이스16
중간수준디지털 도메인논리 설계와 디지털 회로CPU 아키텍처, 논리 게이트, 명령어 집합1718
저수준아날로그 도메인하드웨어 물리 구현트랜지스터, 전기 신호, 물리적 컴포넌트1718

3.2 하드웨어 추상화 계층(HAL)

하드웨어와 운영 체제 사이의 인터페이스 역할을 하며, 소프트웨어가 하드웨어 세부사항을 몰라도 동작할 수 있게 한다1920. 이를 통해 이식성과 유지보수성이 크게 향상된다21.

4. 추상화의 실제 적용

4.1 일상생활에서의 추상화

현대 생활의 대부분의 기기들은 추상화되어 있다. 스마트폰, 노트북, 전등 스위치, 자동차 등은 모두 작동 원리를 이해하지 않고도 사용법만 알면 활용 가능한 추상화의 결과물이다22.

4.2 소프트웨어 아키텍처에서의 응용

  • 레이어드 아키텍처: 각 층별 책임을 분리하여 변경 시 영향 최소화23
  • API와 인터페이스: 복잡한 서비스를 단순한 호출로 사용 가능24
  • 추상 데이터 타입: Stack, Queue, List 등 논리적 구조와 물리적 구현 분리625

5. 추상화의 한계와 고려사항

5.1 누수하는 추상화(Leaky Abstraction)

모든 중요한 추상화는 어느 정도 누수한다는 조엘 스폴스키의 법칙에 따라, 추상화가 완전히 하위 복잡성을 숨기지 못하는 경우가 발생한다2627. 이는 성능 이슈나 예상치 못한 동작을 야기할 수 있다2829.

5.2 추상화 설계 원칙

  • 적절한 수준 유지: 너무 높으면 구현 불가, 너무 낮으면 복잡도 증가1
  • 단일 책임 원칙: 레벨 간 혼합 지양, 기능별 적절한 책임 분리4
  • 정보 은닉: private 접근 제한자 등을 통한 내부 구현 보호3031

6. 추상화의 장점과 효과

6.1 핵심 이점

  • 복잡성 관리: 전체 시스템을 이해 가능한 단위로 분해722
  • 재사용성 향상: 동일한 인터페이스로 다양한 구현체 교체 가능1232
  • 유지보수성 증대: 내부 변경이 외부에 미치는 영향 최소화514
  • 모듈화 강화: 독립적 구성요소로 협업과 테스트 용이1332

6.2 개발 생산성 향상

추상화는 **“배우는 시간은 절약하지 않지만 작업하는 시간은 절약한다”**는 특성을 가지며27, 복잡한 시스템을 더 빠르게 구축할 수 있게 해준다.

결론

추상화는 컴퓨터 과학의 가장 중요한 개념으로, 현대 소프트웨어 개발의 토대가 된다25. 적절한 추상화 설계는 복잡성을 통제하고, 개발 효율성을 극대화하며, 시스템의 유연성과 확장성을 보장한다. 다만, 완벽한 추상화는 존재하지 않으므로 누수 가능성을 고려하고 적절한 수준의 세부사항 노출을 통해 실용적인 균형을 찾는 것이 중요하다.

⁂

Footnotes

  1. https://en.wikipedia.org/wiki/Abstraction_(computer_science) ↩ ↩2 ↩3

  2. https://www.numberanalytics.com/blog/mastering-abstraction-software-engineering ↩

  3. https://dl.acm.org/doi/10.1145/320544.320546 ↩

  4. https://stackoverflow.com/questions/24626/abstraction-vs-information-hiding-vs-encapsulation ↩ ↩2

  5. https://dev.to/singhaayush/encapsulation-and-abstraction-in-object-oriented-programming-oop-4mo3 ↩ ↩2

  6. https://en.wikipedia.org/wiki/Abstract_data_type ↩ ↩2

  7. https://www.geeksforgeeks.org/dsa/abstract-data-types/ ↩ ↩2

  8. https://dad-rock.tistory.com/198 ↩ ↩2 ↩3 ↩4 ↩5 ↩6

  9. https://www.geeksforgeeks.org/java/control-abstraction-in-java-with-examples/ ↩

  10. https://devlogs.tistory.com/entry/프로그래밍언어론-컨트롤-추상화 ↩

  11. http://flowgorithm.altervista.org/HTML ENG/procedural-abstraction.html ↩

  12. https://runestone.academy/ns/books/published/mobilecsp/Unit3-Creating-Graphics-Images/Paint-Pot-Refactoring-and-Procedural-Abstraction.html ↩ ↩2

  13. https://abounaja.com/blog/procedural-abstraction-in-ip ↩ ↩2

  14. https://studyrocket.co.uk/revision/a-level-computer-science-aqa/theory-of-computation/procedural-abstraction ↩ ↩2

  15. https://en.wikipedia.org/wiki/Abstraction_layer ↩

  16. https://www.geeksforgeeks.org/computer-organization-architecture/computer-system-level-hierarchy/ ↩ ↩2

  17. https://bjc.berkeley.edu/bjc-r/cur/teaching-guide/U6/lab-pages/1-computer-abstraction-hierarchy.html?topic=nyc_bjc%2F6-teaching-guide.topic\&course=bjc4nyc_teacher.html\&novideo\&noassignment ↩ ↩2

  18. https://bjc.edc.org/bjc-r/cur/programming/6-computers/1-abstraction/01-abstraction.html?topic=nyc_bjc%2F6-how-computers-work.topic\&course=bjc4nyc.html ↩ ↩2

  19. https://en.wikipedia.org/wiki/Hardware_abstraction ↩

  20. https://www.embeddedrelated.com/showarticle/1596.php ↩

  21. https://www.lenovo.com/ca/en/glossary/hardware-abstraction-layer/ ↩

  22. https://www.tuple.nl/en/knowledge-base/abstraction ↩ ↩2

  23. https://www.abstractionlayeredarchitecture.com ↩

  24. https://www.coursera.org/articles/abstraction-layers ↩

  25. https://www.cs.yale.edu/homes/aspnes/pinewiki/AbstractDataTypes.html ↩ ↩2

  26. https://en.wikipedia.org/wiki/Leaky_abstraction ↩

  27. https://embeddedartistry.com/fieldmanual-terms/leaky-abstraction/ ↩ ↩2

  28. https://www.linkedin.com/pulse/leaky-abstractions-navigating-complexity-software-jeremiah-rotich-hmyhc ↩

  29. https://alexkondov.com/leaky-abstractions/ ↩

  30. https://www.baeldung.com/java-information-hiding-vs-encapsulation ↩

  31. https://www.cs.cornell.edu/courses/cs2112/2020fa/lectures/encapsulation/ ↩

  32. https://www.albert.io/blog/procedural-abstraction-ap-computer-science-principles-review/ ↩ ↩2

그래프 뷰

백링크