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

computer 컴퓨터 프로그래밍 및 컴퓨터 과학 영역에서 운영 계약은 특정 기능이 프로그램 내에서 다른 요소를 변경하는 방법을 지정하거나 문서화하는 방법입니다.API (Abstract Programming Interface) 또는 인터페이스 제어 문서와 달리, 컴퓨터 응용 프로그램 또는 시스템을 만드는 개발 및 모델링 단계에서 운영 계약을 사용하는 데 사용됩니다.가장 기본적인 수준에서 계약은 운영의 네 가지 기능, 특히 운영 이름, 설계의 다른 영역에서의 작업에 대한 참조, 작업이 수행되기 전 입력 또는 상태에 대한 요구 사항 및 상태를 정의합니다.작업 후 시스템 또는 변수가 수행되었습니다.계약은 운영 기능이 내부적으로 기능하는 방식에 대한 특정한 내용을 정의하지 않으며 대신 프로그램 상태가 사용에 의해 영향을받는 방식만을 다루는 대신에만 운영 계약은 프로그램 모델 내의 모든 운영에 대해 구축되지 않습니다.대신, 그들은 특히 복잡하거나 추적하기 어려운 운영을 위해 예약되어 있습니다.UML (Unified Modeling Language), UML (Unified Modeling Language), 운영 계약 지원 및 운영이 수행 된 후에 프로그램 상태가 변경 될 수있는 방법을 시각화하는 데 도움이되는 여러 컴퓨터 모델링 언어.작업의 이름은 무엇이든 할 수 있으며 교차 참조입니다.교차 참조는 정의중인 작업을 사용하거나 작업이 처리에 사용되는 프로그램 모델의 다른 작업 또는 영역의 목록입니다.이는 전체 설계가 어떻게 상호 작용하는지 보는 데 도움이되며 모델의 한 영역으로의 변화가 다른 영역에 어떻게 영향을 미치는지 보는 데 특히 유용합니다.여기에는 특정 변수에 적절한 값이로드되어야하거나 프로그램의 특정 부분이 특정 상태에 있어야 할 수도 있습니다.작업이 실행될 때 전제 조건이 충족되지 않으면 작업이 발생하지 않거나 완전히 실패 할 수 있습니다.계약은 추상적 인 도구로 사용되므로 전제 조건은 일반적으로 일반적으로 일반적이며 특정 변수보다 프로그램의 상태를 더 많이 포함합니다.조건은 운영 실행으로 인해 변경된 프로그램 모델 내의 항목 목록입니다.이는 제어를 별도의 모듈로 이동하는 등 데이터 구조에 대한 변경 또는 프로그램 상태로의 수정을 지정할 수 있습니다.잘 정의 된 운영 계약을 사용하여 실제 구현이 시작되기 전에 프로그램을 효과적으로 모델링하고 수정할 수 있습니다.