Recent Posts

[소프트웨어/프로그래밍] 테스트

프로그램이 의도된 대로 동작하는지 검증 및 확인하는 것을 테스트(test)라고 한다. 테스트는 프로그램이 요구사항에 맞게 동작하는지, 동작 도중 에러가 발생하지 않는지 등 프로그램의 정상적인 실행 흐름과 동작을 확인하는 과정을 포함한다. 테스트의 목적에는 여러가지가 있겠지만 가장 ...

[프로그래밍] 계약에 의한 설계와 서브타이핑

계약에 의한 설계(Design by Contract, DbC)(계약 프로그래밍, 계약에 의한 프로그래밍)는 컴포넌트 간 계약(contract)을 기반으로 하는 소프트웨어 설계 기법이다. 계약이란 소프트웨어를 구성하는 컴포넌트 중 클라이언트 컴포넌트와 서버 컴포넌트 간의 상호작용에 ...