운영 계약이란 무엇입니까?

컴퓨터 프로그래밍 및 컴퓨터 과학의 영역에서 작업 계약은 특정 기능이 프로그램 내에서 다른 요소를 어떻게 변경 하는지를 지정하거나 문서화하는 방법입니다. API (Abstract Programming Interface) 또는 인터페이스 제어 문서와 달리 운영 계약은 컴퓨터 응용 프로그램 또는 시스템을 만드는 개발 및 모델링 단계에서 도움이됩니다. 가장 기본적인 수준에서 계약은 작업의 네 가지 기능, 특히 작업 이름, 디자인의 다른 영역에서 작업에 대한 참조, 작업을 수행하기 전에 입력 또는 상태에 대한 요구 사항 및 상태를 정의합니다. 작업이 수행 된 후 시스템 또는 변수. 계약은 작업이 내부적으로 어떻게 작동하는지에 대한 특정 사항을 정의하지 않으며 대신 프로그램 상태가 사용에 의해 어떻게 영향을 받는지 처리합니다.

일반적으로 작업 계약은 프로그램 모델 내의 모든 작업에 대해 작성되지는 않습니다. 대신, 특히 복잡하거나 추적하기 어려운 작업을 위해 예약되어 있습니다. UML (Unified Modeling Language)과 같은 여러 컴퓨터 모델링 언어는 작업 계약을 지원하며 작업이 수행 된 후 프로그램 상태가 어떻게 변경 될 수 있는지 시각화 할 수있는 방법을 제공합니다.

오퍼레이션 계약을 작성하는 데 필요한 처음 두 가지 정의는 오퍼레이션 이름이며, 상호 참조가 될 수 있습니다. 상호 참조는 정의중인 조작을 사용하거나 조작이 처리에 사용할 다른 조작 또는 프로그램 모델 영역의 목록입니다. 이는 전체 설계가 상호 작용하는 방식을 확인하는 데 도움이되며 모델의 한 영역 변경이 다른 영역에 어떤 영향을 미치는지 확인하는 데 특히 유용합니다.

다음으로 작업 계약은 작업을 실행하는 데 필요한 사전 조건을 정의합니다. 여기에는 특정 변수를 적절한 값으로로드해야하거나 프로그램의 특정 부분이 특정 상태에 있어야 할 수 있습니다. 작업이 실행될 때 사전 조건이 충족되지 않으면 작업이 수행되지 않거나 완전히 실패 할 수 있습니다. 계약은 추상 도구로 사용되므로 전제 조건은 일반적으로 상당히 일반적이며 특정 변수보다 프로그램 상태와 관련이 있습니다.

운영 계약의 마지막 부분은 모든 사후 조건을 정의합니다. 사후 조건은 작업 실행으로 인해 변경된 프로그램 모델 내의 항목 목록입니다. 이것은 제어를 별도의 모듈로 이동시키는 것과 같이 데이터 구조에 대한 변경 또는 프로그램 상태에 대한 수정을 지정할 수 있습니다. 잘 정의 된 운영 계약을 사용하여 실제 구현이 시작되기 전에 프로그램을 효과적으로 모델링하고 수정할 수 있습니다.