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

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

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

운영 계약을 생성하는 데 필요한 첫 두 정의는 작업 이름이며, 이는 무엇이든 및 상호 참조가 될 수 있습니다. 교차 참조는 정의중인 작업을 사용하거나 작업이 처리에 사용되는 프로그램 모델의 다른 작업 또는 영역의 목록입니다. 이것은 전체 설계가 어떻게 상호 작용하는지 보는 데 도움이되며 모델의 한 영역에 대한 변화가 다른 영역에 어떻게 영향을 미치는지 보는 데 특히 유용합니다.

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

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