Postcondition
-
Pre, Postcondition대학/자료구조 2022. 10. 15. 12:11
자료구조와 크게 상관없는 이야기 같지만... 오늘 할 얘기는 함수 작성 시 가져야할 코딩 습관에 대한 이야기이다. 소프트웨어 개발의 단계를 세 단계로 요약하면 다음과 같이 흘러간다. Step 1 1. 요구 스펙 파악 2. 설계 3. 코드로 구현 Step 2 4. 만든 프로그램 분석 5. 테스팅 및 디버깅 6. 유지보수 Step 3 7. 필요가 없어질 시 삭제 개발 단계에서 기능의 구현은 외부 라이브러리를 가져다 쓰거나, 함수의 형태로 분할하여 만들게 되는데, 기능의 구현체는 하나의 공통점을 갖는다. 바로, 어떻게 구현되었는지는 몰라도 사용할 수는 있다는 점이다. 여기서 다음의 개념이 등장한다. Precondition Postcondition Pre, Postcondition을 하나의 주석문 쌍으로 작성하..