[Clean Architecture] 구조적 프로그래밍

안녕하세요?

너구리입니다.

 

클린아키텍처 구조적 프로그래밍에 대해 공부해보겠습니다.

 

# 구조적 프로그래밍 생성 배경

프로그래밍을 수학적으로 증명해 보려는 과정에서 생겨났다.

증명 과정(순차 구문-열거법, 분기-열거법, 반복-귀납법)을 통해

유클리드 계층 구조를 만들려고 했다.

 

이 과정에서 goto문이 모듈 분해를 재귀적으로 분해하는 과정에 방해가 되는점을 파악

goto문에 대한 해로움을 담은 글을 잡지에 실었다.

 

# 구조적 프로그래밍이란

고수준의 모듈을 기능적으로 저수준의 모듈로, 저수준의 모듈은 저수준의 함수로 분해하는데

이 과정을 반복하면 기능단위로 분해할 수 있고,

이 기능으로 구조적 프로그래밍의 제한된 제어 기능을 이용하여 표현할 수 있다.

이때 분해된 기능은 증명 가능해야 한다.

 

# 테스트

테스트는 버그가 있다는 것을 보여주지만 버그가 없다는 것을 보여주는 것은 아니다.

그렇다면 어떻게 신뢰성을 높일 수 있을까?

 

그건 바로 버그가 있다라는 테스트가 기능적으로 분해된 컴포넌트마다 계속 거짓이라고 부합할 만큼 증명을 한다면

버그가 없다라는 테스트가 참이라고 판단될 수 있다.

 

# 결론

구조적 프로그래밍이 현재까지 가치가 있는 이유는 반증 가능한 단위를 만들어 낼 수 있는 능력때문이다.

또 기능적 분해를 아키텍처 관점에서 최고의 실천법 중 하나로 여기기 때문이다.

 

아키텍트는 컴포넌트, 모듈, 서비스가 쉽게 반증 되도록 만들기 위해 노력해야한다.

이런 관점에서 구조적 프로그래밍을 활용할 수 있다.