Contract Reg의 디자인은 무엇입니까?

contract reg에 의한 설계;프로그램의 모든 부분에 대해 잘 정의 된 인터페이스 매개 변수 또는 계약에 의존하는 소프트웨어를 개발하는 데 사용되는 방법입니다.Contract Reg에 의한 설계에도 불구하고;문서화 또는 모델링을 통해 구현되는 개념 개발 스타일로 볼 수 있으며, 실제로 프로그램 내에서 계약의 암시 적 코딩이 필요한 일부 프로그래밍 언어 내에서 기본 또는 타사 메커니즘을 참조하는 데 더 널리 사용됩니다.Contract Reg의 설계 사용 목표;프로그램이 개발되고 결국에는 훨씬 더 사소한 오류를 제거하는 훨씬 더 완전한 방식으로 코딩 될 것이며, 지원 언어에 의한 계약 시행은 잔여 오류를 쉽게 찾아 캡처 할 수 있습니다.기능 및 클래스를 위해 계약을 사용하는 프로그램은 계약의 명확한 정의로 인해 다른 프로그램에서 개별 클래스를 쉽게 재사용 할 수있는보다 모듈 식 설계를 가질 수 있습니다.프로그래밍 철학은 실제 비즈니스 계약의 아이디어입니다.이 모델에서 객체 지향 프로그램의 각 방법과 클래스는 다른 방법이나 객체와 상호 작용하는 계약을 정의합니다.각 클래스는 또한 클래스 불변이라고하는 계약을 가질 수 있으며 외부 계약이 기능 능력을 손상시키지 않도록 내부적으로 따라야합니다.그리고 시체 후.계약 및 reg에 의한이 두 부분;모델은 메소드가 호출되기 전에 프로그램의 상태를 정의하고 메소드가 실행 된 후 프로그램의 상태를 정의합니다.계약의 다른 부분은 구현에 따라 다를 수 있지만 다른 모듈에 대한 상호 참조, 동기화 조건 및 실행 순서 요구 사항이 포함될 수 있습니다. 각 클래스 및 방법에 대한 계약을 개발함으로써 프로그램의 다른 부분의 상호 작용은쉽게 매핑하고 예측됩니다.어설 션 또는 기타 메커니즘의 사용을 통한 계약의 시행은 계약 위반이있는 경우 프로그램이 실행을 시도하지 않도록 보장합니다. 해당 주에서 생산 된 출력은 어쨌든 기술적으로 무효화되기 때문입니다.모국어 기능으로 구현 될 때 Contract Reg의 설계;예상치 못한 오류에 대한 기회가 거의 없으면 최종 제품이 예상대로 작동하도록하는 데 도움이 될 수 있습니다. contract reg에 의해 설계를 사용하는 합병증;철학에는 코딩이 시작되기 전에 더 긴 설계 시간과 시스템의 세분화 된 개발이 포함되며, 이는 때로는 큰 프로젝트에서 어려울 수 있습니다.보다 실용적으로, 계약을 기본적으로 지원하는 프로그래밍 언어로 사용되는 계약 검증 메커니즘은 프로그램 실행 속도를 늦출 수 있습니다.Contract Reg에 의한 설계에 대한 이해가 잘되지 않습니다.방법론은 계약을 사용하여 기본 오류 확인을 수행하는 프로그램으로 이어질 수 있으며, 잠재적으로 릴리스 후 갑작스런 충돌이 발생하기 쉬운 응용 프로그램으로 이어질 수 있습니다.