O que são contratos de operação?

No campo da programação de computadores e da ciência da computação, os contratos de operação são uma maneira de especificar ou documentar como uma função específica mudará diferentes elementos dentro de um programa. Ao contrário de uma interface de programação abstrata (API) ou um documento de controle de interface, os contratos de operação são usados ​​para ajudar durante a fase de desenvolvimento e modelagem da criação de um aplicativo ou sistema de computador. No nível mais básico, o contrato define quatro recursos da operação, especificamente o nome da operação, qualquer referência à operação em outras áreas do projeto, quaisquer requisitos para entrada ou estado antes da execução da operação e o estado do sistema ou variáveis ​​após a operação ter sido executada. O contrato não define nada específico sobre como a operação funciona internamente e, em vez disso, lida apenas com a forma como o estado de um programa é afetado por seu uso. InsTead, eles são reservados para operações particularmente complexas ou difíceis de rastrear. Várias linguagens de modelagem de computadores, como a Linguagem de Modelagem Unificada (UML), suporta contratos de operação e têm maneiras de ajudar a visualizar como o estado de um programa pode mudar assim que a operação for realizada.

As duas primeiras definições necessárias para criar contratos de operação são o nome da operação, que pode ser qualquer coisa e qualquer referência cruzada. Uma referência cruzada é uma lista de outras operações ou áreas de um modelo de programa que usa a operação que está sendo definida ou que a operação usará em seu processamento. Isso ajuda a ver como um design geral interage e é especialmente útil para ver como as mudanças em uma área do modelo afetarão outras áreas.

Contratos de operação em seguida Defina as pré -condições necessárias para executar a operação. Isso pode envolver exigir certas variáveis ​​paraser carregado com valores apropriados, ou pode exigir que certas partes do programa estejam em um estado específico. Se as pré -condições não forem atendidas quando a operação for executada, a operação não ocorrerá ou poderá falhar completamente. O contrato é usado como uma ferramenta abstrata; portanto, as pré -condições geralmente são bastante gerais e mais envolvem o estado do programa do que as variáveis ​​específicas.

A parte final dos contratos de operação define quaisquer pós-condições. Pós-condicionas são uma lista de itens dentro do modelo de programa que foram alterados devido à execução da operação. Isso pode especificar alterações em uma estrutura de dados ou modificações no estado do programa, como a mudança de controle para um módulo separado. Através do uso de contratos de operação bem definidos, os programas podem ser modelados e modificados de maneira eficaz antes do início da implementação real.

OUTRAS LÍNGUAS

Este artigo foi útil? Obrigado pelo feedback Obrigado pelo feedback

Como podemos ajudar? Como podemos ajudar?